Jonathan Bowen

Científico informático británico

Jonathan P. Bowen FBCS FRSA (nacido en 1956) es un científico 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 profesor adjunto en la Southwest University de Chongqing , China. ^[3] Ha sido profesor de informática en la Birmingham City University , ^[4] profesor visitante en el Pratt Institute (Nueva York), la University of Westminster y el King's College de Londres , ^[5] y académico visitante en el University College de Londres . ^[6]

Vida temprana y educación

Bowen nació en Oxford , hijo de Humphry Bowen , ^[7] y fue educado en la Dragon School , Bryanston School , antes de matricularse en el University College, Oxford ( Universidad de Oxford ), donde recibió el título de maestría en Ciencias de la Ingeniería . ^[7]

Carrera

Bowen trabajó posteriormente 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 South Bank de Londres . Su principal investigación fue sobre métodos formales en general y la notación Z en particular. ^[8] Fue presidente del Grupo de Usuarios Z desde principios de la década de 2000 hasta 2011. En 2002, Bowen fue elegido presidente del Grupo de Especialistas FACS de la British Computer Society sobre Aspectos Formales de la Ciencia de la Computación . ^[9] Desde 2005, Bowen fue editor jefe asociado de la revista Innovations in Systems and Software Engineering . ^[10] También fue editor asociado del consejo editorial de la revista ACM Computing Surveys , que cubre la ingeniería de software y los métodos formales . ^[11] De 2008 a 2009, fue asociado en Praxis High Integrity Systems , trabajando en un gran proyecto industrial utilizando la notación Z. [ ^12]

El otro gran interés de Bowen es el área de los museos en línea . ^{[13] [14]} 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). ^{[15] [16]} Poco después, también inició el Museo Virtual de Computación . En 2002, fundó Museophile Limited ^[17] para ayudar a los museos, especialmente en línea, por ejemplo con foros de discusión. ^[18] También ha trabajado en la industria en Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics y Altran Praxis . ^[19]

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. ^[19] Fue miembro de la Worshipful Company of Information Technologists y es miembro de la City de Londres . ^[20]

Libros seleccionados

Jonathan Bowen ha escrito y editado varios libros, entre ellos: ^[21]

• Bowen, JP, editor, Towards Verified Systems . Elsevier Science, serie Real-Time Safety Critical Systems, volumen 2, 1994. ISBN  0-444-89901-4 .
• Hinchey, MG y Bowen, JP, editores, Aplicaciones de métodos formales . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 . ^[22] 
• Bowen, JP, Especificación formal y documentación utilizando Z: un enfoque de estudio de caso . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 . ^[23] 
• Bowen, JP y Hinchey, MG, editores, Especificación y diseño de sistemas de alta integridad . Springer-Verlag , Londres, serie FACIT, 1999. ISBN 3-540-76226-4 . 
• Hinchey, MG y Bowen, JP, editores, Métodos formales de resistencia industrial en la práctica . Springer-Verlag, Londres, serie FACIT, 1999. ISBN 1-85233-640-4 . 
• Hierons, R., Bowen, JP y Harman, M. , editores, Métodos formales y pruebas . Springer-Verlag, LNCS , volumen 4949, 2008. ISBN 978-3-540-78916-1 . 
• Börger, E. , Butler, M. , Bowen, JP y Boca, P., editores, Abstract State Machines, B y Z. Springer-Verlag, LNCS, volumen 5238, 2008. ISBN 978-3-540-87602-1 . 
• Boca, PP, Bowen, JP y Siddiqi, JI , editores, Métodos formales: estado del arte y nuevas direcciones . Springer, 2010. ISBN 978-1-84882-735-6 , e- ISBN 978-1-84882-736-3 , doi :10.1007/978-1-84882-736-3.  
• Bowen, JP, Keene, S., y Ng, K., editores, Visualización electrónica en las artes y la cultura . Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8 . 
• Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , et al., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (tapa dura), ISBN 978-0198747833 (libro de bolsillo). ^[24]  
• Hinchey, MG, Bowen, JP, Olderog, E.-R. , editores, Provably Correct Systems . Springer International Publishing, serie NASA Monographs in Systems and Software Engineering, 2017. ISBN 978-3-319-48627-7 , doi :10.1007/978-3-319-48628-4. 
• Giannini, T. y Bowen, JP, editores, Museos y cultura digital: nuevas perspectivas e investigación . Springer Series on Cultural Computing, Springer, 2019. ISBN 978-3-319-97456-9 , e- ISBN 978-3-319-97457-6 , doi :10.1007/978-3-319-97457-6. ^[25]  
• Giannini, T. y Bowen, JP, editores, Las artes y la cultura computacional: mundos reales y virtuales . Springer Series on Cultural Computing, Springer, 2024. ISBN 978-3-031-53864-3 , e- ISBN 978-3-031-53865-0 , doi :10.1007/978-3-031-53865-0 ^[26]  

Referencias

1. "Ganadores del premio Charles Babbage Premium Award". Revista de Ingeniería de Software . 10 (1): 2. 1995. doi :10.1049/sej.1995.0001.
2. "Centre for Applied Formal Methods". Archivado desde el original el 12 de enero de 2008. Consultado el 1 de diciembre de 2012 .
3. "Jonathan Bowen". China: RISE, Southwest University . 6 de marzo de 2024. Consultado el 4 de junio de 2024 .
4. "Jonathan Bowen". Birmingham City University . 2015. Archivado desde el original el 6 de noviembre de 2015. Consultado el 2 de septiembre de 2016 .{{cite web}}: CS1 maint: bot: estado de URL original desconocido ( enlace )
5. "Miembros de CREST". Archivado desde el original el 22 de octubre de 2007. Consultado el 1 de diciembre de 2012 .
6. "Página de inicio de Jonathan Bowen". Archivado desde el original el 21 de agosto de 2007. Consultado el 1 de diciembre de 2012 .
7. Spokes Symonds, Ann (1997). "Familias: los Bowen". Los rostros cambiantes del norte de Oxford: Libro uno . Robert Boyd Publications. págs. 81–83. ISBN 978-1-899536-25-2.
8. "Jonathan Bowen". cirs-tm.org . Centro Internacional de Investigaciones Científicas. 3 de agosto de 2004. Archivado desde el original el 3 de agosto de 2004.
9. "Comité y datos de contacto". BCS-FACS . Reino Unido: BCS . Consultado el 1 de diciembre de 2012 .
10. "Consejo editorial". Innovaciones en sistemas e ingeniería de software . Springer . Archivado desde el original el 6 de agosto de 2013 . Consultado el 1 de diciembre de 2012 .
11. "Consejo editorial". Encuestas de informática de la ACM . Association for Computing Machinery . Archivado desde el original el 19 de octubre de 2019. Consultado el 19 de diciembre de 2016 .
12. Especificación y diseño de sistemas de alta integridad. JP Bowen, Michael G. Hinchey. Londres: Springer. 1999. ISBN 3-540-76226-4.OCLC 40267699  .{{cite book}}: Mantenimiento de CS1: otros ( enlace )
13. "Miembro del Consejo Asesor del H-MUSEUM: Prof. Jonathan Bowen". h-museum.net . 23 de octubre de 2003. Archivado desde el original el 23 de octubre de 2003.
14. "Biografía del orador: Jonathan Bowen". www.archimuse.com . Archivos e informática de museos: museos y la web 2010 (MW2010). 2010 . Consultado el 19 de febrero de 2023 .
15. "Páginas de museos de la Biblioteca Virtual". Consejo Internacional de Museos . Archivado desde el original el 12 de diciembre de 2012. Consultado el 1 de diciembre de 2012 .
16. "Conferencia sobre cine en la Web 2005". nmpft.org.uk . Museo Nacional de Fotografía, Cine y Televisión. 2005. Archivado desde el original el 26 de septiembre de 2006.
17. "Museophile Limited". Reino Unido. Archivado desde el original el 17 de mayo de 2014. Consultado el 1 de diciembre de 2012 .
18. Pratty, Jon (26 de septiembre de 2003). «Información sobre nuestro servicio de noticias». Archivado desde el original el 4 de abril de 2004. Consultado el 1 de diciembre de 2012 .
19. "Biografía del orador: Jonathan Bowen". www.bcs.org . British Computer Society, Berkshire. 2019 . Consultado el 19 de febrero de 2023 .
20. "Jonathan Bowen". istcolloq.gsfc.nasa.gov . Serie de coloquios sobre ciencia y tecnología de la información. 2004 . Consultado el 19 de febrero de 2023 .
21. "Libros de Jonathan Bowen". Amazon.com . Consultado el 20 de febrero de 2020 .
22. Fenton, Norman (13 de septiembre de 1996). "La carga crítica de estar en lo correcto". Suplemento de Educación Superior del Times .
23. Johnson, Chris (1996). "Reseña de libro: Especificación formal y documentación utilizando Z: un enfoque de estudio de caso". The Computer Journal . 39 (7): 643. doi :10.1093/comjnl/39.7.643-a.
24. Robinson, Andrew (4 de enero de 2017). "La Guía de Turing: ¿Últimas palabras sobre un enigmático descifrador de códigos?". New Scientist .
25. Koslow, Jennifer (4 de septiembre de 2019). «Reseña de libro: Museos y cultura digital: nuevas perspectivas e investigación». Gestión y curaduría de museos . 34 (5): 537–539. doi :10.1080/09647775.2019.1661098. S2CID  203059899.
26. "Las artes y la cultura computacional, 2024". DBLP . Consultado el 20 de julio de 2024 .

Enlaces externos

• Sitio web personal
• Jonathan P. Bowen en el servidor de bibliografía DBLP
• Publicaciones de Jonathan Bowen indexadas por Google Scholar
• Jonathan P. Bowen en Microsoft Academic
• Jonathan Bowen en el Proyecto de Genealogía Matemática