Misplaced Pages

Jonathan Bowen: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 13:35, 11 January 2010 editJpbowen (talk | contribs)Extended confirmed users, Pending changes reviewers82,304 editsm Tidying← Previous edit Revision as of 19:43, 13 January 2010 edit undoDamiens.rf (talk | contribs)Extended confirmed users23,536 edits →Career: remove POV and unsourced.Next edit →
Line 18: Line 18:


==Career== ==Career==
Bowen has previously worked at ], the ] and the ]. His main contribution has been in the promulgation of ] in general and the ] in particular. He has been Chair of the ] since the early 1990s.<ref>.</ref> In 2002, Bowen was elected Chair of the ] FACS Specialist Group on ].<ref>.</ref> Since 2005, Bowen has been an Associate Editor-in-Chief of the journal '']''.<ref>.</ref> From 2008–09, he was an Associate at ], working on a large industrial project using the ]. Bowen has previously worked at ], the ] and the ]. His worked with ] in general and the ] in particular. He has been Chair of the ] since the early 1990s.<ref>.</ref> In 2002, Bowen was elected Chair of the ] FACS Specialist Group on ].<ref>.</ref> Since 2005, Bowen has been an Associate Editor-in-Chief of the journal '']''.<ref>.</ref> From 2008–09, he was an Associate at ], working on a large industrial project using the ].


His other major interest is the area of online museums. In 1994, Bowen founded the ] (VLmp), an online museums directory that was soon adopted by the ] (ICOM).<ref>, ].</ref> In the same year he also started the ], one of the earliest ]s.<ref>, .</ref> In 2002, he founded ] to help museums, especially online.<ref>.</ref> His other major interest is the area of online museums. In 1994, Bowen founded the ] (VLmp), an online museums directory that was soon adopted by the ] (ICOM).<ref>, ].</ref> In the same year he also started the ].<ref>, .</ref> In 2002, he founded ] to help museums, especially online.<ref>.</ref>


== Selected books == == Selected books ==

Revision as of 19:43, 13 January 2010

Jonathan P. Bowen
Born1956
Oxford, England
NationalityBritish
Alma materUniversity of Oxford
Scientific career
FieldsComputer science, Information Technology
InstitutionsMuseophile Limited, London South Bank University, University of Westminster

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 Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster. Formerly he was a Visiting Professor at King's College London and a visiting academic at University College London.

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 an MA 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 worked with formal methods in general and the Z notation in particular. He has been Chair of the Z User Group since the early 1990s. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. Since 2005, Bowen has been an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering. From 2008–09, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.

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). In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited to help museums, especially online.

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.
  • Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
  • Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.

Notes

  1. Centre for Applied Formal Methods, London South Bank University.
  2. CREST members, Kings College London.
  3. Jonathan Bowen home page, University College London.
  4. Z User Group.
  5. FACS Committee and Contact Details.
  6. Innovations in Systems and Software Engineering.
  7. Virtual Library museums pages, International Council of Museums.
  8. The Virtual Museum of Computing, Museums Wiki.
  9. Museophile Limited.

References

External links


Template:Persondata

Categories: