Jonathan Bowen

Jonathan P. Bowen (nacido el 14 de marzo de 1956) es un científico informático británico y profesor emérito de la London South Bank University . Su principal contribución ha sido en métodos formales , especialmente la notación Z. [ ^{2 ] Además} , ha trabajado en el área de la informática museística , ^{[ 3 ]} incluyendo la creación de las páginas de museos de la Biblioteca Virtual , un directorio web pionero. Sus contribuciones también incluyen trabajos sobre la historia de la informática , especialmente sobre Alan Turing . ^{[ 4 ]}

Bowen nació en Oxford , hijo de Humphry Bowen , ^{[ 5 ]} y se educó en la Dragon School , Bryanston School , antes de su ingreso en el University College, Oxford ( Universidad de Oxford ) donde recibió el título de Máster en Ciencias de la Ingeniería . ^{[ 5 ]}

Después de trabajar inicialmente en la industria del software, más tarde se unió al Imperial College, 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 London South Bank . ^{[ 6 ]} Su investigación principal fue sobre métodos formales en general y la notación Z en particular. ^{[ 7 ]} Fue presidente del Grupo de Usuarios de Z desde principios de la década de 2000 hasta 2011. En 2002, Bowen fue elegido presidente del Grupo Especializado en Aspectos Formales de la Ciencia de la Computación de la Sociedad Británica de Computación FACS . ^{[ 8 ]} Desde 2005, Bowen fue editor jefe asociado de la revista Innovations in Systems and Software Engineering . ^{[ 9 ]} También fue editor asociado en el consejo editorial de la revista ACM Computing Surveys , que cubre ingeniería de software y métodos formales . ^{[ 10 ]} De 2008 a 2009, fue asociado en Praxis High Integrity Systems , trabajando en un gran proyecto industrial utilizando la notación Z. ^{[ 11 ]}

Otro de los principales intereses de Bowen es el área de los museos en línea . ^{[ 12 ] [ 13 ]} En 1994, fundó Virtual Library museums pages (VLmp), un directorio de museos en línea que pronto fue adoptado por el Consejo Internacional de Museos (ICOM). ^{[ 14 ] [ 15 ]} Poco después, también creó el Museo Virtual de la Computación . En 2002, fundó Museophile Limited ^{[ 16 ]} para ayudar a los museos, especialmente en línea, por ejemplo, con foros de discusión. ^{[ 17 ]}

De 2000 a 2006, Bowen dirigió el Centro de Métodos Formales Aplicados como Profesor de Informática en la Universidad London South Bank. ^{[ 18 ]} Desde 2002, Bowen también ha sido presidente de Museophile Limited y desde 2017 ha sido profesor adjunto en la Universidad del Suroeste en Chongqing , China. ^{[ 19 ]} Ha sido profesor de Informática en la Universidad de Birmingham City , ^{[ 20 ]} Profesor visitante en el Instituto Pratt (Nueva York), la Universidad de Westminster y el King's College de Londres , ^{[ 21 ]} y académico visitante en el University College de Londres . ^{[ 22 ]}

Bowen también ha trabajado en la industria en Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics y Altran Praxis . ^{[ 6 ]}

En 1994, Bowen recibió el Premio Charles Babbage del IEE al mejor artículo en el Software Engineering Journal . ^{[ 1 ]} 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. ^{[ 6 ]} Fue miembro de la Worshipful Company of Information Technologists y es ciudadano honorario de la ciudad de Londres . ^{[ 23 ]}

Jonathan Bowen ha escrito y editado varios libros, entre ellos: ^{[ 24 ]}

• Bowen, JP, editor, Hacia sistemas verificados . Elsevier Science, serie Sistemas críticos de seguridad en tiempo real, 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. ^{[ 25 ]}
• Bowen, JP, Especificación y documentación formales mediante Z: Un estudio de caso . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9. ^{[ 2 ]}
• 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 rigor 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-6ISBN electrónico 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, J.P., Sprevak, M., Wilson, R. , et al., La guía de Turing . Oxford University Press , 2017. ISBN 978-0198747826(tapa dura), ISBN 978-0198747833(edición de bolsillo). ^{[ 4 ]}
• 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-9ISBN electrónico 978-3-319-97457-6, doi : 10.1007/978-3-319-97457-6 . ^{[ 3 ]}
• 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-3ISBN electrónico 978-3-031-53865-0, doi : 10.1007/978-3-031-53865-0 ^{[ 26 ]}

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