Jonathan P. Bowen FBCS FRSA (nacido en 1956) es un informático británico .
Jonathan P. Bowen FBCS FRSA | |
---|---|
Nació | 1956 (64 a 65 años de edad) Oxford , Inglaterra |
Nacionalidad | británico |
Ciudadanía | Reino Unido |
alma mater | Colegio universitario , oxford |
Conocido por | Métodos formales , notación Z , páginas de museos de la Biblioteca Virtual , Museo Virtual de Computación |
Premios | IEE Charles Babbage Premium (1994) [1] |
Carrera científica | |
Campos | Ciencias de la computación , Tecnología de la información, Informática de museos |
Instituciones | Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, Londres |
Influencias | David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing |
Influenciado | Mike Hinchey , Kevin Lano , Sergiy Vilkomir |
Sitio web | www.jpbowen.com |
Descripción general
Jonathan Bowen es presidente de Museophile Limited y profesor emérito de la London South Bank University , donde dirigió el Centro de Métodos Formales Aplicados. [2] Ha sido profesor de Ciencias de la Computación en la Birmingham City University , [3] Profesor invitado en el Pratt Institute (Nueva York), University of Westminster y King's College London , [4] y académico invitado en University College London. . [5]
Educación
Bowen nació en Oxford , hijo de Humphry Bowen , [6] y fue educado 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 .
Carrera profesional
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 London South Bank . Su trabajo inicial fue sobre métodos formales en general, y más tarde sobre la notación Z en particular. Fue presidente del Z User Group desde principios de la década de 1990 hasta 2011. En 2002, Bowen fue elegido presidente del grupo de especialistas FACS de la British Computer Society sobre aspectos formales de la informática . [7] Desde 2005, Bowen ha sido editor adjunto en jefe de la revista Innovations in Systems and Software Engineering . [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] A partir de 2008-9, que era un asociado en Praxis Sistemas de Alta Integridad , 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 fundó el Museo Virtual de 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 miembro de la Worshipful Company of Information Technologists y Freeman de la ciudad de Londres .
Libros seleccionados
Jonathan Bowen ha escrito y editado varios libros, entre ellos: [13]
- Bowen, JP, editor, Towards Verified Systems . Elsevier Science, serie de 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 . Serie internacional de Prentice Hall en Ciencias de la Computación, 1995. ISBN 0-13-366949-1 . [14]
- 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 . [15]
- 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 .
- Borger, E. , Butler, M. , Bowen, JP, y Boca, P., editores, Abstract Estado 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 . Serie Springer sobre informática cultural, Springer, 2013. ISBN 978-1-4471-5406-8 .
- Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. y col., The Turing Guide . Prensa de la Universidad de Oxford , 2017. ISBN 978-0198747826 (tapa dura), ISBN 978-0198747833 (rústica). [dieciséis]
- Hinchey, MG, Bowen, JP, Olderog, E.-R. , editores, Provably Correct Systems . Springer International Publishing, serie de monografías de la NASA en ingeniería de sistemas y software, 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 . Serie Springer sobre 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 . [17]
Notas
- ^ "Ganadores del premio Charles Babbage Premium Award". Revista de Ingeniería de Software . 10 (1): 2. 1995. doi : 10.1049 / sej.1995.0001 .
- ^ "Centro de Métodos Formales Aplicados" . Archivado desde el original el 12 de enero de 2008 . Consultado el 1 de diciembre de 2012 .
- ^ "Jonathan Bowen" . Universidad de la ciudad de Birmingham . 2015. Archivado desde el original el 6 de noviembre de 2015 . Consultado el 2 de septiembre de 2016 .CS1 maint: bot: estado de URL original desconocido ( enlace )
- ^ "Miembros de CREST" . Archivado desde el original el 22 de octubre de 2007 . Consultado el 1 de diciembre de 2012 .
- ^ "Página de inicio de Jonathan Bowen" . Archivado desde el original el 21 de agosto de 2007 . Consultado el 1 de diciembre de 2012 .
- ^ Habla Symonds, Ann (1997). "Familias: Los Bowen". Las caras cambiantes del norte de Oxford: libro uno . Publicaciones de Robert Boyd. págs. 81–83. ISBN 978-1-899536-25-2.
- ^ "Comité y datos de contacto" . BCS-FACS . Reino Unido: BCS . Consultado el 1 de diciembre de 2012 .
- ^ "Comité Editorial" . Innovaciones en Ingeniería de Sistemas y Software . Springer . Archivado desde el original el 6 de agosto de 2013 . Consultado el 1 de diciembre de 2012 .
- ^ "Comité editorial" . Encuestas de computación ACM . Asociación de Maquinaria Informática . Archivado desde el original el 19 de octubre de 2019 . Consultado el 19 de diciembre de 2016 .
- ^ "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 .
- ^ "Museophile Limited" . REINO UNIDO. Archivado desde el original el 17 de mayo de 2014 . Consultado el 1 de diciembre de 2012 .
- ^ Pratty, Jon (26 de septiembre de 2003). "Información sobre nuestro suministro de noticias" . Archivado desde el original el 4 de abril de 2004 . Consultado el 1 de diciembre de 2012 .
- ^ "Libros de Jonathan Bowen" . Amazon.com . Consultado el 20 de febrero de 2020 .
- ^ Fenton, Norman (13 de septiembre de 1996). "Carga crítica de ser correcto". Suplemento de educación superior Times .
- ^ Johnson, Chris (1996). "Revisión del 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 .
- ^ Robinson, Andrew (4 de enero de 2017). "La Guía de Turing: ¿Últimas palabras sobre un enigmático descifrador de códigos?" . Nuevo científico .
- ^ Koslow, Jennifer (4 de septiembre de 2019). "Reseña de libros - Museos y cultura digital: nuevas perspectivas e investigaciones". Gestión y curaduría de museos . 34 (5): 537–539. doi : 10.1080 / 09647775.2019.1661098 . S2CID 203059899 .
Referencias
- Bowen, Jonathan Peter. Quién es quién en el mundo , Marquis Quién es quién , 18a edición, 2001.
- Información del museo H
- Información sobre conferencias sobre museos e Internet
- "Información de la conferencia Film on the Web" . Archivado desde el original el 26 de septiembre de 2006 . Consultado el 5 de junio de 2006 .CS1 maint: bot: estado de URL original desconocido ( enlace )
- Información del Centro Internacional de Investigaciones Científicas
enlaces externos
- Sitio web personal
- Página de inicio oficial de LSBU
- Página de inicio personal de LSBU y publicaciones en Archive.org
- Página de inicio de SWU
- Jonathan P. Bowen en DBLP Bibliografía servidor
- Publicaciones de Jonathan Bowen indexadas por Google Scholar
- Jonathan P. Bowen sobre Microsoft Academic
- Jonathan Bowen en el Proyecto de genealogía matemática