Le prix Charles Babbage, attribué en 1994, a marqué une reconnaissance précoce de l'influence de Jonathan Bowen sur l'ingénierie logicielle. Né en 1956 à Oxford, au Royaume-Uni, il a mené une carrière à cheval entre le monde académique et l'industrie, se consacrant aux méthodes formelles et à l'intersection de l'informatique et du patrimoine culturel, contribuant ainsi à la compréhension fondamentale de la vérification des systèmes et de l'informatique des musées numériques.
Méthodes formelles et vérification de logiciels
La vie académique et professionnelle de Bowen est centrée sur les méthodes formelles, avec un accent particulier sur la notation Z. Ses recherches répondent au besoin de systèmes démontrablement corrects en ingénierie logicielle, un domaine qu'il a fait progresser à travers de nombreuses publications, notamment Towards Verified Systems et Applications of Formal Methods. Entre 2000 et 2006, il a dirigé le Centre for Applied Formal Methods à l'Université London South Bank. Son travail dans ce domaine s'étend aux comités de lecture de revues académiques telles que Innovations in Systems and Software Engineering et ACM Computing Surveys, où il s'est intéressé à l'application pratique de techniques mathématiques rigoureuses à la conception de logiciels.
Culture numérique et muséologie
Au-delà de l'ingénierie, Bowen nourrit un intérêt marqué pour l'application des technologies de l'information aux musées. En 1994, il a créé les pages des musées de la Bibliothèque virtuelle, qui sont devenues un répertoire Internet précoce adopté par le Conseil international des musées. Cette trajectoire s'est poursuivie avec le développement du Musée virtuel de l'informatique. En 2002, il a fondé Museophile Limited pour soutenir les initiatives numériques au sein des institutions culturelles. Sa production académique récente, comprenant Museums and Digital Culture et The Arts and Computational Culture, examine la transition des collections traditionnelles vers les environnements numériques.
Rôles industriels et affiliations professionnelles
La carrière de Bowen fait le pont entre la recherche universitaire et la mise en œuvre commerciale. Son expérience industrielle comprend des postes chez Marconi Instruments Limited, Oxford Instruments, Silicon Graphics et Altran Praxis, où il a travaillé sur les applications industrielles de la notation Z. Son parcours académique comprend des rôles d'enseignement et de recherche à l'Université London South Bank, au King's College de Londres, à l'Université de Reading, ainsi que divers postes de professeur invité à l'University College de Londres et au Pratt Institute. Il est membre (Fellow) de la British Computer Society et de la Royal Society of Arts, et possède le statut de membre de guilde (liveryman).
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Naissance : 1956, Oxford - Citoyenneté : Royaume-Uni - Domaine : Informatique - Intérêt principal : Notation Z - Récompense : Prix Charles Babbage (1994) - Œuvre notable : The Turing Guide - Parcours académique : University College, Oxford
Questions fréquentes
### Quelle est la contribution de Jonathan Bowen aux études muséales ?
Il a développé les pages des musées de la Bibliothèque virtuelle et fondé Museophile Limited afin de faciliter l'intégration des technologies de l'information dans les environnements muséaux.
### Quelle reconnaissance professionnelle a-t-il reçue ?
Il a reçu le prix Charles Babbage en 1994 et est membre de la British Computer Society ainsi que de la Royal Society of Arts.
