Jonathan Bowen - Jonathan Bowen

Jonathan P. Bowen

FBCS FRSA
Jonathan Bowen photographie.jpg
Née 1956 (64-65 ans)
Oxford , Angleterre
Nationalité Britanique
Citoyenneté Royaume-Uni
mère nourricière Collège universitaire , Oxford
Connu pour Les méthodes formelles , la notation Z , pages musées Bibliothèque virtuelle , Musée virtuel de l' informatique
Récompenses IEE Charles Babbage Prime (1994)
Carrière scientifique
Des champs Informatique , Technologies de l' information, informatique Musée
Établissements Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, Londres
Influences David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing
Influencé Mike Hinchey , Kevin Lano , Sergiy Vilkomir
Site Internet www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (né en 1956) est un informaticien britannique .

Aperçu

Jonathan Bowen est président de Museophile Limited et professeur émérite à la London South Bank University , où il a dirigé le Center for Applied Formal Methods. Il a été professeur d'informatique à la Birmingham City University , professeur invité au Pratt Institute (New York City), à l' université de Westminster et au King's College de Londres , et professeur invité à l' University College de Londres .

Éducation

Bowen est né à Oxford , fils de Humphry Bowen , et a fait ses études à la Dragon School , Bryanston School , avant de s'inscrire à l' University College d'Oxford ( Oxford University ) où il a obtenu une maîtrise en sciences de l' ingénieur .

Carrière

Bowen a ensuite travaillé à l' Imperial College de Londres , au Laboratoire d'informatique de l'Université d'Oxford (maintenant le Département d'informatique de l'Université d'Oxford ), à l' Université de Reading et à la London South Bank University . Ses premiers travaux portaient sur les méthodes formelles en général, et plus tard sur la notation Z en particulier. Il a été président du groupe d'utilisateurs Z du début des années 1990 jusqu'en 2011. En 2002, Bowen a été élu président du groupe de spécialistes FACS de la British Computer Society sur les aspects formels de l'informatique . Depuis 2005, Bowen est rédacteur en chef associé de la revue Innovations in Systems and Software Engineering . Il est également rédacteur en chef associé au comité de rédaction de la revue ACM Computing Surveys , couvrant l' ingénierie logicielle et les méthodes formelles . De 2008 à 2009, il était associé chez Praxis High Integrity Systems , travaillant sur un grand projet industriel utilisant la notation Z .

L'autre grand intérêt de Bowen est le domaine des musées en ligne . En 1994, il a fondé les pages des musées de la bibliothèque virtuelle (VLmp), un répertoire de musées en ligne qui a rapidement été adopté par le Conseil international des musées (ICOM). La même année, il a également lancé le Musée virtuel de l'informatique . En 2002, il fonde Muséophile Limited pour aider les musées, notamment en ligne, par exemple avec des forums de discussion. Il a également travaillé dans l'industrie chez Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics et Altran Praxis .

Bowen a été élu membre de la Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) en 2002 et de la British Computer Society (BCS) en 2004. Il est Liveryman de la Worshipful Company of Information Technologists et Freeman de la ville de Londres .

Livres sélectionnés

Jonathan Bowen a écrit et édité un certain nombre de livres, notamment :

  • Bowen, JP, rédacteur en chef, Vers des systèmes vérifiés . Elsevier Science, série Systèmes critiques de sécurité en temps réel, volume 2, 1994. ISBN  0-444-89901-4 .
  • Hinchey, MG et Bowen, JP, éditeurs, Applications des méthodes formelles . Prentice Hall International Series in Computer Science, 1995. ISBN  0-13-366949-1 .
  • Bowen, JP, Spécification formelle et documentation à l'aide de Z : une approche d'étude de cas . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN  1-85032-230-9 .
  • Bowen, JP et Hinchey, MG, rédacteurs, Spécification et conception du système à haute intégrité . Springer-Verlag , Londres, série FACIT, 1999. ISBN  3-540-76226-4 .
  • Hinchey, MG et Bowen, JP, rédacteurs, Industrial-Strength Formal Methods in Practice . Springer-Verlag, Londres, série FACIT, 1999. ISBN  1-85233-640-4 .
  • Hierons, R., Bowen, JP 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, JP et Boca, P., éditeurs, Abstract State Machines, B et Z . Springer-Verlag, LNCS, volume 5238, 2008. ISBN  978-3-540-87602-1 .
  • Boca, PP, Bowen, JP, et Siddiqi, JI , é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, JP, Keene, S., et Ng, K., éditeurs, Visualisation électronique dans les arts et la culture . Série Springer sur l'informatique culturelle, Springer, 2013. ISBN  978-1-4471-5406-8 .
  • Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. et al., The Turing Guide . Oxford University Press , 2017. ISBN  978-0198747826 (couverture rigide), ISBN  978-0198747833 (broché).
  • Hinchey, MG, Bowen, JP, 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, JP, éditeurs, Musées et culture numérique : nouvelles perspectives et recherche . 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 .

Remarques

Les références

Liens externes