Jonathan Bowen

Infobox Scientist


image_width = 100px
name = Jonathan P. Bowen
birth_date = 1956
birth_place = Oxford, England
residence = Oxfordshire
nationality = British
field = Computer science, Information Technology
work_institution = Museophile Limited, London South Bank University, King's College London, University College London, Brunel University
alma_mater = University of Oxford

Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the [http://archive.museophile.org/cafm/ Centre for Applied Formal Methods] [ [http://www.lsbu.ac.uk/bcimicr/members/members_bowen.shtml BCIM faculty page, LSBU] ] , a Visiting Professor at King's College London [ [http://crest.dcs.kcl.ac.uk/members.php?itemid=2 CREST members, KCL] ] and a visiting academic at University College London [ [http://www.cs.ucl.ac.uk/staff/J.Bowen/ UCL home page] ] .

Education

Bowen was born in Oxford, the son of Humphry Bowen, and was educated at the Dragon School, Bryanston School and University College, Oxford. He holds a degree in Engineering Science from Oxford University.

Career

Bowen has previously worked at Imperial College, London, the Oxford University Computing Laboratory and the University of Reading. His main contribution has been in the promulgation of formal methods in general and the Z notation in particular. He has been Chair of the Z User Group since the early 1990s. [ [http://www.zuser.org/ Z User Group] ] In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. [ [http://www.bcs-facs.org/committee.html FACS Committee and Contact Details] ] Since 2005, Bowen has been an Associate Editor-in-Chief of the journal "Innovations in Systems and Software Engineering". [ [http://www.springer.com/uk/home/computer/programming?SGWID=3-40007-70-36204355-detailsPage=journal|editorialBoard Innovations in Systems and Software Engineering] ]

His other major interest is the area of online museums. In 1994, Bowen founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM). [ [http://icom.museum/vlmp/ Virtual Library museums pages] ] In the same year he also started the Virtual Museum of Computing, one of the earliest virtual museums. [ [http://vmoc.museophile.com/ The Virtual Museum of Computing] ] In 2002, he founded Museophile Limited to help museums, especially online. [ [http://my.museophile.net/ About Museophile] ]

Selected books

* Bowen, J.P., editor, "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., editors, "Applications of Formal Methods". Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
* Bowen, J.P., "Formal Specification and Documentation using Z: A Case Study Approach". International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
* Bowen, J.P. and Hinchey, M.G., editors, "High-Integrity System Specification and Design". Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
* Hinchey, M.G. and Bowen, J.P., editors, "Industrial-Strength Formal Methods in Practice". Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.

Notes

References

* BOWEN, JONATHAN PETER. "Who's Who in the World", Marquis Who's Who, 18th edition, 2001.
* [http://www.h-net.org/~museum/bowen.html H-museum information]
* [http://www.archimuse.com/mw2006/bios/au_3817.html Museums and the Web conference information]
* [http://www.nmpft.org.uk/film/webcon05/speakers.asp#Bowen Film on the Web conference information]
* [http://www.cirs-tm.org/researchers/researchers.php?id=31 International Center for Scientific Research information]

External links

* [http://www.jpbowen.com/ Official website]
* [http://myweb.lsbu.ac.uk/~bowenjp/ LSBU home page]
** [http://myweb.lsbu.ac.uk/~bowenjp/mini-biog.html Short biography]
** [http://myweb.lsbu.ac.uk/~bowenjp/publications.html Publications]
* [http://www.cs.ucl.ac.uk/staff/J.Bowen/ UCL home page]
* [http://www.museophile.com/ Museophile Limited]
*

Persondata
NAME= Bowen, Jonathan P.
ALTERNATIVE NAMES=
SHORT DESCRIPTION= British computer scientist, information technologist
DATE OF BIRTH= 1956
PLACE OF BIRTH= Oxford, England
DATE OF DEATH=
PLACE OF DEATH=