Jonathan P. Bowen FBCS FRSA (nacido en 1956) es un informático británico y profesor emérito de la London South Bank University , donde dirigió el Centro de Métodos Formales Aplicados. [2] El profesor Bowen también es presidente de Museophile Limited y ha sido profesor de Ciencias de la Computación en la Universidad de la ciudad de Birmingham , [3] Profesor invitado en el Instituto Pratt (ciudad de Nueva York), la Universidad de Westminster y el King's College de Londres , [ 4] y académico visitante en el University College London . [5]
Bowen nació en Oxford , hijo de Humphry Bowen , [6] y se educó en Dragon School , Bryanston School , antes de matricularse en University College, Oxford ( Universidad de Oxford ), donde recibió la maestría en Ciencias de la Ingeniería .
Bowen trabajó más tarde en el Imperial College de Londres , el Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ), la Universidad de Reading y la Universidad de South Bank de Londres . Sus primeros trabajos fueron sobre métodos formales en general, y más tarde sobre la notación Z en particular. Fue presidente del Grupo de Usuarios Z desde principios de la década de 1990 hasta 2011. En 2002, Bowen fue elegido presidente del Grupo de Especialistas en Aspectos Formales de la Informática de la Sociedad Británica de Informática FACS . [7] Desde 2005, Bowen ha sido editor en jefe asociado de la revistaInnovaciones en Ingeniería de Sistemas y Software . [8] También es editor asociado en el consejo editorial de la revista ACM Computing Surveys , que cubre ingeniería de software y métodos formales . [9] De 2008 a 2009, fue asociado en Praxis High Integrity Systems , trabajando en un gran proyecto industrial utilizando la notación Z.
El otro gran interés de Bowen es el área de los museos en línea . En 1994, fundó las páginas de museos de la Biblioteca Virtual (VLmp), un directorio de museos en línea que pronto fue adoptado por el Consejo Internacional de Museos (ICOM). [10] En el mismo año también puso en marcha el Museo Virtual de la Computación . En 2002, fundó Museophile Limited [11] para ayudar a los museos, especialmente en línea, por ejemplo, con foros de discusión. [12] También ha trabajado en la industria en Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics y Altran Praxis ..
Bowen fue elegido miembro de la Royal Society para el fomento de las Artes, las Manufacturas y el Comercio (RSA) en 2002 y de la British Computer Society (BCS) en 2004. Es un Liveryman de la Worshipful Company of Information Technologists y Freeman de la ciudad de Londres .