Jonathan Bowen - Jonathan Bowen

Jonathan P. Bowen

FBCS FRSA
Jonathan Bowen photograph.jpg
Nascer 1956 (idade 64-65)
Oxford , Inglaterra
Nacionalidade britânico
Cidadania Reino Unido
Alma mater University College , Oxford
Conhecido por Métodos formais , notação Z , páginas de museus da Biblioteca Virtual , Museu Virtual da Computação
Prêmios IEE Charles Babbage Premium (1994)
Carreira científica
Campos Ciência da computação , tecnologia da informação, informática de museus
Instituições Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, Londres
Influências 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
Local na rede Internet www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (nascido em 1956) é um cientista da computação britânico .

Visão geral

Jonathan Bowen é presidente da Museophile Limited e professor emérito da London South Bank University , onde dirigiu o Center for Applied Formal Methods. Ele foi Professor de Ciência da Computação na Birmingham City University , Professor Visitante no Pratt Institute (New York City), University of Westminster e King's College London , e um acadêmico visitante na University College London .

Educação

Bowen nasceu em Oxford , filho de Humphry Bowen , e foi educado na Dragon School , Bryanston School , antes de se matricular na University College, Oxford ( Oxford University ), onde recebeu o diploma de MA em Ciências da Engenharia .

Carreira

Bowen mais tarde trabalhou no Imperial College de Londres , no Oxford University Computing Laboratory (agora Departamento de Ciência da Computação da Oxford University ), na University of Reading e na London South Bank University . Seus primeiros trabalhos foram sobre métodos formais em geral, e mais tarde a notação Z em particular. Ele foi presidente do Grupo de usuários Z do início de 1990 até 2011. Em 2002, Bowen foi eleito presidente do Grupo de Especialistas FACS da British Computer Society em Aspectos Formais de Ciência da Computação . Desde 2005, Bowen é Editor-Chefe Associado da revista Innovations in Systems and Software Engineering . Ele também é editor associado do conselho editorial da revista ACM Computing Surveys , cobrindo engenharia de software e métodos formais . De 2008-9, ele era um associado em sistemas de alta integridade Praxis , trabalhando em um grande projeto industrial usando a notação Z .

Outro grande interesse de Bowen é a área de museus online . Em 1994, fundou as páginas de museus da Biblioteca Virtual (VLmp), um diretório online de museus que logo foi adotado pelo Conselho Internacional de Museus (ICOM). No mesmo ano iniciou também o Museu Virtual da Computação . Em 2002, ele fundou a Museophile Limited para ajudar museus, especialmente online, por exemplo, com fóruns de discussão. Ele também trabalhou na indústria na Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics e Altran Praxis .

Bowen foi eleito membro da Royal Society para o Encorajamento das Artes, Manufaturas e Comércio (RSA) em 2002 e da British Computer Society (BCS) em 2004. Ele é um Liveryman da Worshipful Company of Information Technologists e um Freeman da a cidade de Londres .

Livros selecionados

Jonathan Bowen escreveu e editou vários livros, incluindo:

  • Bowen, JP, editor, Towards Verified Systems . Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN  0-444-89901-4 .
  • Hinchey, MG e Bowen, JP, editores, Applications of Formal Methods . Prentice Hall International Series in Computer Science, 1995. ISBN  0-13-366949-1 .
  • Bowen, JP, Formal Specification and Documentation using Z: A Case Study Approach . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN  1-85032-230-9 .
  • Bowen, JP e Hinchey, MG, editores, High-Integrity System Specification and Design . Springer-Verlag , London, FACIT series, 1999. ISBN  3-540-76226-4 .
  • Hinchey, MG e Bowen, JP, editores, Industrial-Strength Formal Methods in Practice . Springer-Verlag, London, FACIT series, 1999. ISBN  1-85233-640-4 .
  • Hierons, R., Bowen, JP e Harman, M. , editores, Formal Methods and Testing . Springer-Verlag, LNCS , Volume 4949, 2008. ISBN  978-3-540-78916-1 .
  • Borger, E. , Butler, M. , Bowen, JP, e Boca, P., editores, Abstract Estado Machines, B e Z . Springer-Verlag, LNCS, Volume 5238, 2008. ISBN  978-3-540-87602-1 .
  • Boca, PP, Bowen, JP e Siddiqi, JI , editores, Formal Methods: State of the Art and New Directions . 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., e Ng, K., editores, Electronic Visualization in Arts and Culture . Springer Series on Cultural Computing, Springer, 2013. ISBN  978-1-4471-5406-8 .
  • Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , et ai., The Turing Guide . Oxford University Press , 2017. ISBN  978-0198747826 (capa dura), ISBN  978-0198747833 (brochura).
  • Hinchey, MG, Bowen, JP, Olderog, E.-R. , editores, Provably Correct Systems . Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. ISBN  978-3-319-48627-7 , doi : 10.1007 / 978-3-319-48628-4 .
  • Giannini, T. e Bowen, JP, editores, Museus e Cultura Digital: Novas Perspectivas e Pesquisa . 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 .

Notas

Referências

links externos