Wikipedia

Jonathan Bowen

Informático británico

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

Jonathan Bowen
Información personal
Nacimiento 14 de marzo de 1956 Ver y modificar los datos en Wikidata (68 años)
Oxford (Reino Unido) Ver y modificar los datos en Wikidata
Nacionalidad Británica
Lengua materna Inglés Ver y modificar los datos en Wikidata
Familia
Padre Humphry Bowen Ver y modificar los datos en Wikidata
Hijos 2 Ver y modificar los datos en Wikidata
Educación
Educado en
Información profesional
Ocupación Informático teórico, ingeniero, escritor y profesor universitario Ver y modificar los datos en Wikidata
Á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 Ver y modificar los datos en Wikidata
Cargos ocupados Director (desde 2002) Ver y modificar los datos en Wikidata
Empleador
Sitio web www.jpbowen.com Ver y modificar los datos en Wikidata
Distinciones
  • Fellow of the British Computer Society
  • Liveryman
  • Miembro de la Royal Society of Arts Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

Biografía editar

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.

Educación editar

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.

Carrera editar

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.

Libros seleccionados editar

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. Salmer-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. Salmer-Verlag, Londres, FACIT serie, 1999.  ISBN 1-85233-640-4.
  • Hierons, R., Bowen, J.P., y Harman, M., editores, Testaje y Métodos Formales. Salmer-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. Salmer-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. Salmer, 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 salmer en Informática Cultural, Salmer, 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 (hardcover),  ISBN 978-0198747833 (paperback).[10]​
  • Hinchey, M.G., Bowen, J.P., Olderog, E.-R., editores, Provably Sistemas Correctos. Salmer 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 salmer en Informática Cultural, Salmer, 2019.  ISBN 978-3-319-97456-9, e- ISBN 978-3-319-97457-6, doi 10.1007/978-3-319-97457-6.[11]​

Referencias editar

  1. ↑ «Centre for Applied Formal Methods». Archivado desde el original el 12 de enero de 2008. Consultado el 1 de diciembre de 2012. 
  2. ↑ «Jonathan Bowen». Birmingham City University. 2015. Archivado desde el original el 6 de noviembre de 2015. Consultado el 2 de septiembre de 2016. 
  3. ↑ «CREST members». Archivado desde el original el 22 de octubre de 2007. Consultado el 1 de diciembre de 2012. 
  4. ↑ Spokes Symonds, Ann (1997). «Families: The Bowens». The Changing Faces of North Oxford: Book One. Robert Boyd Publications. pp. 81–83. ISBN 978-1-899536-25-2. 
  5. ↑ «Committee and Contact Details». BCS-FACS. UK: BCS. Consultado el 1 de diciembre de 2012. 
  6. ↑ «Editorial Board». Innovations in Systems and Software Engineering. Springer. Archivado desde el original el 6 de agosto de 2013. Consultado el 1 de diciembre de 2012. 
  7. ↑ «Editorial board». ACM Computing Surveys. Association for Computing Machinery. Archivado desde el original el 19 de octubre de 2019. Consultado el 19 de diciembre de 2016. 
  8. ↑ Fenton, Norman (13 de septiembre de 1996). «Critical burden of being correct». Times Higher Education Supplement. 
  9. ↑ Johnson, Chris (1996). «Book Review – Formal Specification and Documentation using Z: A Case Study Approach». The Computer Journal 39 (7): 643. doi:10.1093/comjnl/39.7.643-a. 
  10. ↑ Robinson, Andrew (4 de enero de 2017). «The Turing Guide: Last words on an enigmatic codebreaker?». New Scientist. 
  11. ↑ Koslow, Jennifer (4 de septiembre de 2019). «Book Review – Museums and digital culture: new perspectives and research». Museum Management and Curatorship 34 (5): 537-539. doi:10.1080/09647775.2019.1661098. 

Enlaces externos editar

Obtenido de «https://es.wikipedia.org/w/index.php?title=Jonathan_Bowen&oldid=158446275»