Photo: Jpbowen, CC BY-SA 4.0, via Wikimedia Commons²⁴

Jonathan Bowen

British computer scientist (born 1956)

Jonathan P. Bowen (born March 14, 1956) is a British computer scientist and an Emeritus Professor at London South Bank University. His main contribution has been in formal methods, especially the Z notation.²

From Wikipedia’s article on Jonathan Bowen (this version), CC BY-SA 4.0.

Born Mar 14, 1956.¹

About

In addition, he has worked in the area of museum informatics, including the creation of the Virtual Library museums pages, an early web directory. His contributions also include works on the history of computing, especially Alan Turing.

From Wikipedia’s article on Jonathan Bowen, shared under CC BY-SA 4.0.²

Companies

Museophile LimitedBoard member Jan 30, 2002 to now²³
Museophile LimitedChair Jan 30, 2002 to now²³

Early life and education

Date not recordedUniversity College, Oxford³
Date not recordedDragon School³
Date not recordedBryanston School³

Background and education

Jonathan Bowen was born in 1956 in Oxford, England. He is the son of Humphry Bowen, a chemist and botanist. Bowen attended the Dragon School and Bryanston School before matriculating at University College, Oxford. He earned a Master of Arts degree in Engineering Science from Oxford University.

Academic career

Following his graduation, Bowen initially worked in the software industry before transitioning into academia. He has held academic positions at several institutions, including:

Imperial College London;

Oxford University Computing Laboratory (now the Department of Computer Science);

University of Reading; and

London South Bank University (where he is an Emeritus Professor).

At London South Bank University, he served as head of the Centre for Applied Formal Methods from 2000 to 2006. Bowen has also been an adjunct professor at Southwest University in Chongqing, China, since 2017. Additionally, he has held visiting positions at the Pratt Institute in New York City, the University of Westminster, King's College London, and University College London.

From Wikipedia’s article on Jonathan Bowen (this version), CC BY-SA 4.0.

Career

Occupation: researcher, university teacher, engineer, computer scientist, writer.¹⁰

Since 2017Adjunct professor, Southwest University^{4 7}
2013 to 2015Worked at Birmingham City University^{4 6}
Since 2002Director, Museophile Limited⁴
Since 2002Director⁸
Since 2002Chair, Museophile Limited⁹
1979Worked at Logica^{4 5}
Date not recordedWorked at University of Reading⁴
Date not recordedWorked at Marconi Instruments Limited⁴
Date not recordedWorked at University College London⁴
Date not recordedWorked at University of Oxford⁴
Date not recordedWorked at Imperial College London⁴
Date not recordedWorked at King's College London⁴

More of their career (4)

Date not recordedWorked at London South Bank University⁴
Date not recordedWorked at Silicon Graphics⁴
Date not recordedWorked at Oxford Instruments⁴
Date not recordedWorked at Altran Praxis⁴

Known for: Formal Specification and Documentation Using Z, Applications of Formal Methods, Museums and Digital Culture, Provably Correct Systems, Towards Verified Systems, Digital Technologies and the Museum Experience, The Turing Guide, The Arts and Computational Culture.^{11 12}

Personal life

BornMar 14, 1956, Oxford^{13 14}
CitizenshipUnited Kingdom¹⁵
Children2¹⁶

Awards

1994Charles Babbage Premium^{17 19}
Date not recordedFellow of the British Computer Society^{17 18}
Date not recordedFellow of the Royal Society of Arts^{17 18}
Date not recordedliveryman^{17 18}

Sources

The numbers on this page point here. Each one links to the record it came from.

1
WikidataJonathan Bowen on Wikidata
2
WikipediaJonathan Bowen on Wikipedia
3
WikidataJonathan Bowen: education, on Wikidata
4
WikidataJonathan Bowen: Worked at University of Reading, on Wikidata
5
WikidataWorked at Logica, as reported by ORCID Public Data File 2023
6
WikidataWorked at Birmingham City University, as reported by ORCID Public Data File 2023
7
WikidataAdjunct professor, Southwest University, as reported by ORCID Public Data File 2023
8
WikidataJonathan Bowen: Director, on Wikidata
9
WikidataJonathan Bowen: Chair, Museophile Limited, on Wikidata
10
WikidataJonathan Bowen: occupation, on Wikidata
11
WikidataJonathan Bowen: notable work, on Wikidata
12
Wikidatanotable work, as reported by Amazon.com
13
WikidataJonathan Bowen: place of birth, on Wikidata
14
Wikidataplace of birth, as reported by Prabook
15
WikidataJonathan Bowen: citizenship, on Wikidata
16
WikidataJonathan Bowen: number of children, on Wikidata
17
WikidataJonathan Bowen: award, on Wikidata
18
Wikidataaward, as reported
19
Wikidataaward, as reported
20
WikidataJonathan Bowen: Official website, on Wikidata
21
WikidataJonathan Bowen: X, on Wikidata
22
WikidataJonathan Bowen: LinkedIn, on Wikidata
23
WikidataMuseophile Limited, Board member
24
Wikimedia CommonsJonathan Bowen photo by Jpbowen, CC BY-SA 4.0