Jonathan Bowen

Last updated

Jonathan P. Bowen
FBCS FRSA
Jonathan Bowen photograph.jpg
Born1956 (age 67–68)
Oxford, England
Alma mater University College, Oxford
Known for Formal methods, Z notation, Virtual Library museums pages, Virtual Museum of Computing
AwardsIEE Charles Babbage Premium (1994) [1]
Scientific career
Fields Computer science, Information Technology, Museum informatics
Institutions Museophile Limited, Southwest University, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London
Website www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. [2] Prof. Bowen is also the Chairman of Museophile Limited and an adjunct professor at Southwest University in Chongqing, China. [3] He has been a Professor of Computer Science at Birmingham City University, [4] Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London, [5] and a visiting academic at University College London. [6]

Contents

Early life and education

Bowen was born in Oxford, the son of Humphry Bowen, [7] and was educated at the Dragon School, Bryanston School, prior to his matriculation at University College, Oxford (Oxford University) where he received the MA degree in Engineering Science. [7]

Career

Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science), the University of Reading, and London South Bank University. His main research was on formal methods in general and the Z notation in particular. [8] He was Chair of the Z User Group from the early 2000s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. [9] From 2005, Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering . [10] He was also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods. [11] From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation. [12]

Bowen's other major interest is the area of online museums. [13] [14] In 1994, he founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM). [15] [16] Shortly after, he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited [17] to help museums, especially online, for example with discussion forums. [18] He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis. [19]

Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004. [19] He was a Liveryman of the Worshipful Company of Information Technologists and is a Freeman of the City of London. [20]

Selected books

Jonathan Bowen has written and edited a number of books, including: [21]

Related Research Articles

<span class="mw-page-title-main">Z notation</span> Formal specification language used for describing and modelling computing systems

The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare, also known as C. A. R. Hoare, is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.

<span class="mw-page-title-main">Cliff Jones (computer scientist)</span> British computer scientist (born 1944)

Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.

The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.

<span class="mw-page-title-main">BCS-FACS</span> Specialist Group of the BCS

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

James Charles Paul Woodcock is a British computer scientist.

<span class="mw-page-title-main">He Jifeng</span> Chinese computer scientist

He Jifeng is a Chinese computer scientist.

Jawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer. He is professor emeritus of software engineering at Sheffield Hallam University, England. He is the president of NCUP National Council of University Professors in the UK.

<span class="mw-page-title-main">EVA Conferences</span>

The Electronic Visualisation and the Arts conferences are a series of international interdisciplinary conferences mainly in Europe, but also elsewhere in the world, for people interested in the application of information technology to the cultural and especially the visual arts field, including art galleries and museums.

Michael Gerard Hinchey is an Irish computer scientist and former Director of the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland. He now serves as Head of Department of the Department of Computer Science & Information Systems at University of Limerick.

<span class="mw-page-title-main">Martin Henson (computer scientist)</span> English computer scientist

Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is dean for international affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was head of the department of computer science from 2000 to 2006.

<span class="mw-page-title-main">Andy Lomas</span> British artist

Andy Lomas is a British artist with a mathematical background, formerly a television and film CG supervisor and more recently a contemporary digital artist, with a special interest in morphogenesis using mathematical morphology.

Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He heads the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He authored a number of scientific books and served as editor-in-chief of the journal Acta Informatica and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.

<span class="mw-page-title-main">Sergiy Vilkomir</span> Ukrainian-born computer scientist (1956–2020)

Sergiy A. Vilkomir was a Ukrainian-born computer scientist.

<span class="mw-page-title-main">Hussein Zedan</span>

Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

<i>Museums and Digital Culture</i> 2019 book

Museums and Digital Culture (2019) is an interdisciplinary book about developments in digital culture with respect to museums. It is edited by Tula Giannini and Jonathan P. Bowen, who are also the authors of 12 chapters. The book is part of the Springer Series on Cultural Computing, edited by Ernest Edmonds. The book was launched at the EVA London 2019 Conference.

Prof. Tula Giannini is an American academic with subject expertise in musicology, digital culture, and digital heritage.

Tim Denvir is a British software engineer, specialising in formal methods.

References

  1. ↑ "Charles Babbage Premium Award winners". Software Engineering Journal . 10 (1): 2. 1995. doi:10.1049/sej.1995.0001.
  2. ↑ "Centre for Applied Formal Methods". Archived from the original on 12 January 2008. Retrieved 1 December 2012.
  3. ↑ "Jonathan Bowen". China: RISE, Southwest University. 6 March 2024. Retrieved 4 June 2024.
  4. ↑ "Jonathan Bowen". Birmingham City University . 2015. Archived from the original on 6 November 2015. Retrieved 2 September 2016.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
  5. ↑ "CREST members". Archived from the original on 22 October 2007. Retrieved 1 December 2012.
  6. ↑ "Jonathan Bowen home page". Archived from the original on 21 August 2007. Retrieved 1 December 2012.
  7. 1 2 Spokes Symonds, Ann (1997). "Families: The Bowens". The Changing Faces of North Oxford: Book One. Robert Boyd Publications. pp. 81–83. ISBN   978-1-899536-25-2.
  8. ↑ "Jonathan Bowen". cirs-tm.org. International Center for Scientific Research. 3 August 2004. Archived from the original on 3 August 2004.
  9. ↑ "Committee and Contact Details". BCS-FACS . UK: BCS . Retrieved 1 December 2012.
  10. ↑ "Editorial Board". Innovations in Systems and Software Engineering . Springer. Archived from the original on 6 August 2013. Retrieved 1 December 2012.
  11. ↑ "Editorial board". ACM Computing Surveys . Association for Computing Machinery. Archived from the original on 19 October 2019. Retrieved 19 December 2016.
  12. ↑ High-integrity system specification and design. J. P. Bowen, Michael G. Hinchey. London: Springer. 1999. ISBN   3-540-76226-4. OCLC   40267699.{{cite book}}: CS1 maint: others (link)
  13. ↑ "Member of H-MUSEUM Advisory Board: Prof. Jonathan Bowen". h-museum.net. 23 October 2003. Archived from the original on 23 October 2003.
  14. ↑ "Speaker Biography: Jonathan Bowen". www.archimuse.com. Archives & Museum Informatics: Museums and the Web 2010 (MW2010). 2010. Retrieved 19 February 2023.
  15. ↑ "Virtual Library museums pages". International Council of Museums. Archived from the original on 12 December 2012. Retrieved 1 December 2012.
  16. ↑ "Film on the Web Conference 2005". nmpft.org.uk. The National Museum of Photography, Film & Television. 2005. Archived from the original on 26 September 2006.
  17. ↑ "Museophile Limited". UK. Archived from the original on 17 May 2014. Retrieved 1 December 2012.
  18. ↑ Pratty, Jon (26 September 2003). "Information about our newsfeed". Archived from the original on 4 April 2004. Retrieved 1 December 2012.
  19. 1 2 "Speaker Biography: Jonathan Bowen". www.bcs.org. British Computer Society, Berkshire. 2019. Retrieved 19 February 2023.
  20. ↑ "Jonathan Bowen". istcolloq.gsfc.nasa.gov. Information Science and Technology Colloquium Series. 2004. Retrieved 19 February 2023.
  21. ↑ "Books By Jonathan Bowen". Amazon.com . Retrieved 20 February 2020.
  22. ↑ Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement .
  23. ↑ Johnson, Chris (1996). "Book Review – Formal Specification and Documentation using Z: A Case Study Approach". The Computer Journal . 39 (7): 643. doi:10.1093/comjnl/39.7.643-a.
  24. ↑ Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist .
  25. ↑ Koslow, Jennifer (4 September 2019). "Book Review – Museums and digital culture: new perspectives and research". Museum Management and Curatorship . 34 (5): 537–539. doi:10.1080/09647775.2019.1661098. S2CID   203059899.
  26. ↑ "The Arts and Computational Culture, 2024". DBLP . Retrieved 20 July 2024.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.