Jonathan Bowen

Jonathan Bowen
En .
Fonction
Directeur
depuis le
Biographie
Naissance

Oxford
Nationalité
britannique
Formation
University College
Activités
Informaticien, professeur d'université, écrivain, ingénieur, chercheur
Père
Humphry Bowen (en)
Parentèle
E. J. Bowen (grand-père)
George Noel Hill (en) (grand-oncle)
Autres informations
A travaillé pour
Université du Sud-Ouest (depuis )
Birmingham City University ( - )
Museophile Limited (d) (depuis le )
Logica ()
Altran Praxis (en)
Université de Reading
Marconi instruments Limited
Oxford Instruments
Silicon Graphics
Université de South Bank de Londres
Université d'Oxford
Imperial College London
King's College de Londres
University College de Londres
Influencé par
Archives & Museum Informatics (en)
Site web
Distinctions
Membre de la Royal Society of Arts
Fellow of the British Computer Society
Liveryman (en)
Œuvres principales
Le Guide de Turing (d), Museums and Digital Culture (d), Digital Technologies and the Museum Experience (d), Towards Verified Systems (d), Applications of Formal Methods (d)

Jonathan P. Bowen (né le ) est un informaticien britannique et est professeur du calcul à London South Bank University[1] où il dirige le Centre for Applied Formal Methods[2] de l’Institute for Computing Research[3].

Biographie

Bowen fait ses études à la Dragon School d'Oxford, à la Bryanston School et au University College, Oxford University. Il obtient un MA en l'ingénierie de l'université d'Oxford. Il s'intéresse aux méthodes formelles (génie logiciel), aux systèmes sûreté-critiques, à la notation Z, « provably correct systems », décompilation, compilation de matériel, codesign de hardware/software, histoire du calcul et les musées en ligne.

Dans ce dernier domaine, en 1994, Bowen fonde les Virtual Library museums pages[4] (VLmp), un annuaire en ligne de musées soutenu par le Conseil international des musées (ICOM). Par même année il commence également le musée virtuel du calcul, un des musées virtuels les plus tôt. En 2002, il fonde Museophile Limited[5] pour aider des musées, spécialement en ligne.

Depuis les années 1970, Bowen est impliqué du champ du calcul et de la technologie électronique dans l'industrie (Oxford Instruments, Marconi Instruments, Logica et Silicon Graphics) et le milieu universitaire. Entre 1979 et 1984, il travaille à l'Imperial College de Londres comme assistant chercheur, puis dans le laboratoire interdépartemental de microprocesseur de Wolfson. Il est alors un chercheur aîné au Oxford University Computing Laboratory[6] Programming Research Group où il a travaillé sous les conseils de C.A.R. Hoare, Royal Society. De 1995 à 2000, Bowen est maitre de conférences au département de l'informatique, l'université de Reading, où il gère les méthodes et le Formal Methods and Software Engineering Group.

Bowen est chairman du Z User Group[7] pendant de nombreuses d'années. En 2001, Bowen a été lauréat des Freedom of the Worshipful Company of Information Technologists[8], le 100e Livery Company dans la ville de Londres. En 2002, Bowen est élu président du British Computer Society[9] spécialiste groupe FACS[10] sur les aspects formels de la Science de calcul et membre de la Royal Society of Arts[11]. En 2004, il devient Fellow de la British Computer Society[9].

Livres

  • Bowen, J.P., éditeur, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. (ISBN 0-444-89901-4).
  • Hinchey, M.G. et Bowen, J.P., éditeurs, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. (ISBN 0-13-366949-1)[12].
  • Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. (ISBN 1-85032-230-9)[13].
  • Bowen, J.P. et Hinchey, M.G., éditeurs, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. (ISBN 3-540-76226-4).
  • Hinchey, M.G. et Bowen, J.P., éditeurs, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. (ISBN 1-85233-640-4).
  • Hierons, R., Bowen, J.P., et Harman, M., éditeurs, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. (ISBN 978-3-540-78916-1).
  • Börger, E., Butler, M., Bowen, J.P., et Boca, P., éditeurs, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. (ISBN 978-3-540-87602-1).
  • Boca, P.P., Bowen, J.P., et Siddiqi, J.I., éditeurs, Formal Methods: State of the Art and New Directions. Springer, 2010. (ISBN 978-1-84882-735-6), e- (ISBN 978-1-84882-736-3), DOI 10.1007/978-1-84882-736-3.
  • Bowen, J.P., Keene, S., et Ng, K., éditeurs, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. (ISBN 978-1-4471-5406-8).
  • Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. (ISBN 978-0198747826) (hardcover), (ISBN 978-0198747833) (paperback)[14].
  • Hinchey, M.G., Bowen, J.P., Olderog, E.-R., éditeurs, Provably Correct Systems. Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. (ISBN 978-3-319-48627-7), DOI 10.1007/978-3-319-48628-4.
  • Giannini, T. et Bowen, J.P., éditeurs, Museums and Digital Culture: New Perspectives and Research. Springer Series on Cultural Computing, Springer, 2019. (ISBN 978-3-319-97456-9), e- (ISBN 978-3-319-97457-6), DOI 10.1007/978-3-319-97457-6[15].
  • Giannini, T. et Bowen, J.P., éditeurs, The Arts and Computational Culture: Real and Virtual Worlds. Springer Series on Cultural Computing, Springer, 2024. (ISBN 978-3-031-53864-3), e- (ISBN 978-3-031-53865-0), DOI 10.1007/978-3-031-53865-0[16].

Notes et références

  1. ↑ (en) « London South Bank University, UK »
  2. ↑ (en) « Centre for Applied Formal Methods » [archive du ]
  3. ↑ (en) « Welcome to the Institute for Computing Research at London South Bank University »
  4. ↑ (en) « Virtual Library museums pages »
  5. ↑ (en) « Museophile »
  6. ↑ (en) « Department of Computer Science, University of Oxford »
  7. ↑ (en) « Z User Group »
  8. ↑ (en) « Worshipful Company of Information Technologists »
  9. 1 2 (en) « BCS - The Chartered Institute for IT »
  10. ↑ (en) « FACS (Formal Aspects of Computing Science) Group - Specialist Groups - Member groups - Membership - BCS - The Chartered Institute for IT »
  11. ↑ (en) RSA, « Home - RSA »
  12. ↑ (en) Norman Fenton, « Critical burden of being correct », sur Times Higher Education Supplement,
  13. ↑ (en) Chris Johnson, « Book Review – Formal Specification and Documentation using Z: A Case Study Approach », The Computer Journal, (DOI 10.1093/comjnl/39.7.643-a), p. 643
  14. ↑ (en) Andrew Robinson, « The Turing Guide: Last words on an enigmatic codebreaker? », New Scientist,
  15. ↑ (en) Jennifer Koslow, « Book Review – Museums and digital culture: new perspectives and research », Museum Management and Curatorship, (DOI 10.1080/09647775.2019.1661098), p. 537–539
  16. ↑ (en) « The Arts and Computational Culture », DBLP,

Liens externes

  • icône décorative Portail de l’informatique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.