Der 1994 verliehene Charles Babbage Premium markierte eine frühe Anerkennung des Einflusses von Jonathan Bowen auf das Software-Engineering. Er wurde 1956 im britischen Oxford geboren und baute eine Karriere auf, die sich über Wissenschaft und Industrie erstreckt. Sein Schwerpunkt liegt auf formalen Methoden und der Schnittstelle von Informatik und kulturellem Erbe, womit er zum grundlegenden Verständnis der Systemverifikation und der digitalen Museumsinformatik beitrug.
Formale Methoden und Softwareverifikation
Bowens akademisches und berufliches Leben dreht sich um formale Methoden mit besonderem Schwerpunkt auf der Z-Notation. Seine Forschung widmet sich der Notwendigkeit nachweislich korrekter Systeme im Software-Engineering – einem Bereich, den er durch zahlreiche Publikationen wie Towards Verified Systems und Applications of Formal Methods voranbrachte. Zwischen 2000 und 2006 leitete er das Centre for Applied Formal Methods an der London South Bank University. Seine Arbeit in diesem Gebiet erstreckt sich auf die Redaktionsausschüsse akademischer Fachzeitschriften wie Innovations in Systems and Software Engineering und ACM Computing Surveys, wo er sich auf die praktische Anwendung strenger mathematischer Techniken im Softwareentwurf konzentrierte.
Digitale Kultur und Museologie
Über das Engineering hinaus gilt Bowens großes Interesse der Anwendung von Informationstechnologie in Museen. 1994 erstellte er die Museumsseiten der Virtual Library, die zu einem frühen Internetverzeichnis wurden, das vom Internationalen Museumsrat übernommen wurde. Diese Entwicklung setzte sich mit der Erstellung des Virtual Museum of Computing fort. Im Jahr 2002 gründete er Museophile Limited, um digitale Initiativen in Kultureinrichtungen zu unterstützen. Seine jüngsten akademischen Publikationen, darunter Museums and Digital Culture und The Arts and Computational Culture, untersuchen den Wandel traditioneller Sammlungen in digitale Umgebungen.
Industrielle Rollen und berufliche Mitgliedschaften
Bowens Karriere schlägt eine Brücke zwischen universitärer Forschung und kommerzieller Umsetzung. Seine Branchenerfahrung umfasst Tätigkeiten bei Marconi Instruments Limited, Oxford Instruments, Silicon Graphics und Altran Praxis, wo er sich mit industriellen Anwendungen der Z-Notation befasste. Zu seinem akademischen Portfolio gehören Lehr- und Forschungstätigkeiten an der London South Bank University, dem King's College London, der University of Reading sowie verschiedene Gastpositionen am University College London und am Pratt Institute. Er ist Fellow der British Computer Society sowie der Royal Society of Arts und besitzt den Status eines Liveryman (Gildenmitglieds).
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Steckbrief
- Geboren: 1956, Oxford - Staatsbürgerschaft: Vereinigtes Königreich - Fachgebiet: Informatik - Hauptinteresse: Z-Notation - Auszeichnung: Charles Babbage Premium (1994) - Bekanntes Werk: The Turing Guide - Bildungshintergrund: University College, Oxford
Häufig gestellte Fragen
### Was ist Jonathan Bowens Beitrag zur Museumswissenschaft?
Er entwickelte die Museumsseiten der Virtual Library und gründete Museophile Limited, um die Integration von Informationstechnologie in Museumsumgebungen zu erleichtern.
### Welche beruflichen Ehrungen hat er erhalten?
Er erhielt 1994 den Charles Babbage Premium und ist Fellow der British Computer Society sowie der Royal Society of Arts.
