Jonathan Bowen
British computer scientist
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. 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.
Early life and education
Bowen was born in Oxford, the son of Humphry Bowen, 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.
Career
After initially working in the software industry, he later joined 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. 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. From 2005, Bowen was an associate editor-in-chief of the journal Innovations in Systems and Software Engineering.
“Jonathan Bowen” enters the record as british computer scientist. Crown Archives preserves that source wording while asking what Jonathan, Bowen and British can confirm, complicate or overturn.
Why this record matters
“Jonathan Bowen” is worth following because a concise public description often conceals a longer documentary argument. Here, Jonathan, Bowen and British provides the most credible route into that argument.
Chronology provides the most reliable spine for this subject; interpretation should follow only after identities and dates are secure. The source revision retrieved here is dated Aug 29, 2026. The linked authority identifier is Q93043. VIAF identifies the subject as 15646992. The Library of Congress control number is n93027547. 3 of 4 selected statements include explicit references; 1 carry qualifiers and 0 use preferred rank. The first chronological checks are 1956, 2011, 2002 and 2005.
A concise life account rarely captures disputed attribution, private networks or the changing language used to describe a career. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “Jonathan Bowen”, its source revision and the description used here.
- Expand the search: follow Jonathan Bowen primary sources, Jonathan Bowen archive and Jonathan research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Jonathan Bowen”?
- Which primary records establish identity, chronology and institutional ties?
- Which claims depend on a single source or contested interpretation?
Search terms from this dossier
This entry incorporates text from “Jonathan Bowen” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.