Jonathan Bowen , la enciclopedia libre

Jonathan Bowen
Jonathan Bowen en 2006
Información personal
Nacimiento	14 de marzo de 1956 (68 años) Oxford (Reino Unido)
Nacionalidad	Británica
Lengua materna	Inglés
Familia
Padre	Humphry Bowen
Hijos	2
Educación
Educado en	Dragon School University College Bryanston School
Información profesional
Ocupación	Informático teórico, ingeniero, escritor y profesor universitario
Área	Ciencias de la información, ingeniería de software, tecnologías de la información y la comunicación, informática, historia de la computación, virtualización y ciencias de la computación
Cargos ocupados	Director (desde 2002)
Empleador	University College de Londres Escuela Imperial de Londres King's College de Londres London South Bank University Universidad de Oxford Silicon Graphics Oxford Instruments Marconi Instruments Limited Altran Praxis Universidad de Reading CGI Group (1979) Museophile Limited (desde 2002) Universidad Ciudad de Birmingham (2013-2015) Southwest Agricultural University (2017-2020)
Sitio web	www.jpbowen.com
Distinciones	Fellow of the British Computer Society Liveryman Miembro de la Royal Society of Arts
[editar datos en Wikidata]

Jonathan P. Bowen FBCS FRSA (1956) es un informático británico.

Es presidente de Museophile Limited y profesor emérito de la London South Bank University, donde dirigió el Centro de Métodos Formales Aplicados.^[1]​ Ha sido profesor de informática en la Birmingham City University,^[2]​ profesor visitante en el Pratt Institute (Nueva York), la University of Westminster y el King's College London,^[3]​ y académico visitante en el University College London.

Bowen nació en Oxford, hijo de Humphry Bowen,^[4]​ y se educó en la Dragon School, Bryanston School, antes de matricularse en el University College Oxford (Universidad de Oxford), donde obtuvo el título de máster en Ciencias de la Ingeniería.

Posteriormente, Bowen trabajó en el Imperial College de Londres, en el Laboratorio de Informática de la Universidad de Oxford (actual Departamento de Informática de la Universidad de Oxford), en la Universidad de Reading y en la Universidad de London South Bank. Sus primeros trabajos se centraron en los métodos formales en general, y posteriormente en la notación Z en particular. Fue presidente del Grupo de Usuarios de 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^[5]​ de la British Computer Society (FACS). Desde 2005, Bowen es editor jefe asociado de la revista Innovations in Systems and Software Engineering.^[6]​ También es editor asociado del consejo editorial de la revista ACM Computing Surveys, que cubre la ingeniería del software y los métodos formales.^[7]​ Entre 2008 y 2009, fue asociado en Praxis High Integrity Systems, donde trabajó en un gran proyecto industrial que utilizaba la notación Z.

El otro gran interés de Bowen es el ámbito 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). Ese mismo año también puso en marcha el Museo Virtual de Informática. En 2002, fundó Museophile Limited para ayudar a los museos, especialmente en línea, por ejemplo con foros de discusión. 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 for the encouragement of Arts, Manufactures and Commerce (RSA) en 2002 y de la British Computer Society (BCS) en 2004. Es miembro de la Worshipful Company of Information Technologists y Freeman of the City of London.

Jonathan Bowen ha escrito y editado varios libros, entre ellos:

• Bowen, J.P., editor, Hacia Verificó Sistemas. Elsevier Ciencia, Seguridad de Tiempo Real serie de Sistemas Críticos, volumen 2, 1994.
• Hinchey, M.G. Y Bowen, J.P., editores, Aplicaciones de Métodos Formales. Prentice Sala Serie Internacional en Informática, 1995.  ISBN 0-13-366949-1.^[8]​
• Bowen, J.P., Documentación y Especificación Formales que utilizan Z: Una Aproximación de Estudio del Caso. Prensa de Ordenador de Thomson internacional, Thomson Internacional Editorial, 1996. ISBN 1-85032-230-9.^[9]​
• Bowen, J.P. Y Hinchey, M.G., editores, Alto-Especificación de Sistema de la Integridad y Diseño. Springer-Verlag, Londres, FACIT serie, 1999. ISBN 3-540-76226-4.
• Hinchey, M.G. Y Bowen, J.P., editores, Industriales-Fuerza Métodos Formales en Práctica. Springer-Verlag, Londres, FACIT serie, 1999. ISBN 1-85233-640-4.
• Hierons, R., Bowen, J.P., y Harman, M., editores, Testaje y Métodos Formales. Springer-Verlag, LNCS, Volumen 4949, 2008. ISBN 978-3-540-78916-1.
• Börger, E., Butler, M., Bowen, J.P., y Boca, P., editores, Máquinas Estatales Abstractas, B y Z. Springer-Verlag, LNCS, Volumen 5238, 2008. ISBN 978-3-540-87602-1.
• Boca, P.P., Bowen, J.P., y Siddiqi, J.I., editores, Métodos Formales: Estatal del Arte y Direcciones Nuevas. 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., y Ng, K., editores, Visualización Electrónica en Artes y Cultura. Serie de Springer en Informática Cultural, Springer, 2013. ISBN 978-1-4471-5406-8.
• Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., El Turing Guía. Oxford Prensa universitaria, 2017. ISBN 978-0198747826 (de tapa dura), ISBN 978-0198747833 (libro en rústica).^[10]​
• Hinchey, M.G., Bowen, J.P., Olderog, E.-R., editores, Provably Sistemas Correctos. Springer Editorial Internacional, Monografías de NASA en Sistemas e Ingeniería de Software serie, 2017. ISBN 978-3-319-48627-7, doi 10.1007/978-3-319-48628-4.
• Giannini, T. y Bowen, J.P., editores, Museos y Cultura Digital: Búsqueda y Perspectivas Nuevas. Serie de Springer en Informática Cultural, Springer, 2019. ISBN 978-3-319-97456-9, e-ISBN 978-3-319-97457-6, doi 10.1007/978-3-319-97457-6.^[11]​
• Giannini, T. y Bowen, J.P., editores, Las Artes y la Cultura Computacional: Mundos Reales y Virtuales. Serie de Springer en Informática Cultural, Springer, 2024. ISBN 978-3-031-53864-3, e-ISBN 978-3-031-53865-0, doi 10.1007/978-3-031-53865-0.^[12]​

• Sitio web personal
• LSBU Página de casa oficial Archivado el 12 de febrero de 2022 en Wayback Machine.
• SWU Página de casa Archivado el 20 de septiembre de 2020 en Wayback Machine.