PROFILPELAJAR.COM

Jonathan Bowen
	Jonathan Bowen
	Jonathan Bowen, 2006.
Född	14 mars 1956 (68 år); Oxford
Medborgare i	Storbritannien
Utbildad vid	Dragon School; University College, Oxford; Bryanston School
Sysselsättning	Datavetare, författare, ingenjör, universitetslärare
Befattning
	Direktör (2002–)
Arbetsgivare	University College London; Marconi Instruments Limited; Oxford Instruments; Altran Praxis; University of Reading; Oxfords universitet; Silicon Graphics; London South Bank University; King's College London; Imperial College London; CGI Group (1979–1979); Museophile Limited (2002–); Birmingham City University (2013–2015); Southwest Agricultural University (2017–2020)
Barn	2
Föräldrar	Humphry Bowen
Utmärkelser
	Fellow of the Royal Society of Arts; Fellow of the British Computer Society; Liveryman
Webbplats	jpbowen.com/
	Redigera Wikidata

Jonathan P. Bowen, född 1956, är en brittisk datavetare och emeritusprofessor vid London South Bank University^(en), där han ledde Center for Applied Formal Methods. Prof. Bowen är också ordförande för Museophile Limited och adjungerad professor vid Southwest University^(en) i Chongqing, Kina. Han har varit professor i datavetenskap vid Birmingham City University^(en), gästprofessor vid Pratt Institute (New York City), University of Westminster och King's College London, och gästakademiker vid University College London.

Uppväxt och utbildning

Bowen föddes i Oxford, son till Humphry Bowen^(en), och utbildades vid Dragon School^(en), Bryanston School^(en), innan han tog studentexamen vid University College, Oxford (Oxford University) där han fick en MA-examen i ingenjörsvetenskap.

Karriär

Bowen arbetade senare vid Imperial College i London, Oxford University Computing Laboratory^(en) (nu Oxford University Department of Computer Science), University of Reading och London South Bank University^(en). Hans huvudsakliga forskning handlade om formella metoder i allmänhet och Z-notationen i synnerhet. Han var ordförande för Z User Group^(en) från början av 2000-talet fram till 2011. 2002 valdes Bowen till ordförande för British Computer Society^(en) FACS Specialist Group on Formal Aspects of Computing Science. Från 2005 var Bowen en associerad chefredaktör för tidskriften Innovations in Systems and Software Engineering^(en). Han var också biträdande redaktör på redaktionen för tidskriften ACM Computing Surveys, som täckte programvaruteknik och formella metoder. Från 2008–9 var han associerad på Praxis High Integrity Systems och arbetade på ett stort industriellt projekt med hjälp av Z-notationen.

Bowens andra stora intresse är området online-museer. 1994 grundade han Virtual Library museums pages^(en) (VLmp), en online-museerkatalog som snart antogs av International Council of Museums (ICOM). Kort därefter startade han också Virtual Museum of Computing^(en). 2002 grundade han Museophile Limited^(en) för att hjälpa museer, särskilt online, till exempel med diskussionsforum. Han har också arbetat inom industrin på Oxford Instruments^(en), Marconi Instruments^(en), Logica, Silicon Graphics, och Altran Praxis^(en).

Bowen valdes 2002 till stipendiat i Royal Society for the stimulering of Arts, Manufactures and Commerce (RSA) och i British Computer Society (BCS) 2004. Han var en Liveryman av Worshipful Company of Information Technologists^(en) och är en Freeman i City of London.

Bibliografi (urval)

Bowen, J.P., redaktör, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
Hinchey, M.G. and Bowen, J.P., redaktörer, Applications of Formal Methods. Prentice Hall^(en) International Series in Computer Science, 1995. ISBN 0-13-366949-1.^[8]
Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing^(en), 1996. ISBN 1-85032-230-9.^[9]
Bowen, J.P. and Hinchey, M.G., redaktörer, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
Hinchey, M.G. and Bowen, J.P., redaktörer, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
Hierons, R., Bowen, J.P., and Harman, M., redaktörer, Formal Methods and Testing. Springer-Verlag, LNCS^(en), Volume 4949, 2008. ISBN 978-3-540-78916-1.
Börger, E., Butler, M., Bowen, J.P., and Boca, P., redaktörer, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
Boca, P.P., Bowen, J.P., and Siddiqi, J.I., redaktörer, 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, J.P., Keene, S., and Ng, K., redaktörer, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide^(en). Oxford University Press, 2017. ISBN 978-0198747826 (hardcover), ISBN 978-0198747833 (paperback).^[10]
Hinchey, M.G., Bowen, J.P., Olderog, E.-R., redaktörer, 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. and Bowen, J.P., redaktörer, Museums and Digital Culture: New Perspectives and Research^(en). 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.^[11]
Giannini, T. and Bowen, J.P., redaktörer, The Arts and Computational Culture: Real and Virtual Worlds. 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^[12]

Referenser

^ MAK, PLWABN-ID: 9811299260305606.^{[källa från Wikidata]}
^ Prabook, Prabook-ID: 225530, läs online.^{[källa från Wikidata]}
^ Tjeckiska nationalbibliotekets databas, NKC-ID: jo2017973403, läst: 18 december 2022.^{[källa från Wikidata]}
^ ORCID Public Data File 2023, 27 september 2023, 10.23640/07243.24204912.V1, läs online läs online, läst: 10 november 2023.^{[källa från Wikidata]}
^ ORCID Public Data File 2023, 27 september 2023, 10.23640/07243.24204912.V1, läs online läs online, läst: 10 november 2023.^{[källa från Wikidata]}
^ ORCID Public Data File 2023, 27 september 2023, 10.23640/07243.24204912.V1, läs online läs online, läst: 10 november 2023.^{[källa från Wikidata]}
^ [a b c] läs online, www.lsbu.ac.uk .^{[källa från Wikidata]}
^ Fenton, Norman (13 September 1996). ”Critical burden of being correct”. Times Higher Education Supplement^(en).
^ Johnson, Chris (1996). ”Book Review – Formal Specification and Documentation using Z: A Case Study Approach”. The Computer Journal^(en) 39 (7): sid. 643. doi:10.1093/comjnl/39.7.643-a.
^ Robinson, Andrew (4 January 2017). ”The Turing Guide: Last words on an enigmatic codebreaker?”. New Scientist. https://www.newscientist.com/article/mg23331072-700-the-turing-guide-last-words-on-an-enigmatic-codebreaker/.
^ Koslow, Jennifer (4 September 2019). ”Book Review – Museums and digital culture: new perspectives and research”. Museum Management and Curatorship^(en) 34 (5): sid. 537–539. doi:10.1080/09647775.2019.1661098.
^ ”The Arts and Computational Culture, 2024”. The Arts and Computational Culture, 2024. DBLP^(en). https://dblp.org/db/books/collections/GB2024.html.