# Jonathan Bowen

> British computer scientist

**Wikidata**: [Q93043](https://www.wikidata.org/wiki/Q93043)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Jonathan_Bowen)  
**Source**: https://4ort.xyz/entity/jonathan-bowen

## Summary
Jonathan Bowen is a British computer scientist known for his work in formal methods, software engineering, and the history of computing. He has held academic positions at Imperial College London, University of Reading, and Birmingham City University, and is the founder of Museophile Limited, a company focused on digital culture and museums.

## Biography
- Born: March 14, 1956, Oxford, United Kingdom
- Nationality: British
- Education: Dragon School, Bryanston School, University College, Oxford
- Known for: Formal methods, software engineering, history of computing, digital culture in museums
- Employer(s): Imperial College London, University of Reading, Birmingham City University, Museophile Limited, University College London, King's College London, London South Bank University, University of Oxford, Altran Praxis
- Field(s): Computer science, informatics, software engineering, information technology, computing, history of computing, virtualization

## Contributions
Jonathan Bowen has made significant contributions to formal methods and software engineering, authoring influential books such as "Applications of Formal Methods" (1995) and "Towards Verified Systems" (1997). He founded Museophile Limited in 2002 to bridge technology and cultural heritage, focusing on digital culture in museums. Bowen has supervised doctoral students including Kalpesh Kapoor, Huibiao Zhu, and Phan Cong Vinh, contributing to the development of future computer scientists. His work spans both academic research and practical applications, including positions at Silicon Graphics, Oxford Instruments, and Marconi Instruments Limited. Bowen's Erdös number is 2, indicating his connection to the broader mathematical research community.

## FAQs
### Q: What is Jonathan Bowen known for?
A: Jonathan Bowen is known for his work in formal methods, software engineering, and the history of computing, as well as founding Museophile Limited to advance digital culture in museums.

### Q: Where did Jonathan Bowen study?
A: Jonathan Bowen studied at Dragon School, Bryanston School, and University College, Oxford.

### Q: What companies has Jonathan Bowen worked for?
A: Jonathan Bowen has worked for Imperial College London, University of Reading, Birmingham City University, Silicon Graphics, Oxford Instruments, Marconi Instruments Limited, and founded Museophile Limited.

## Why They Matter
Jonathan Bowen's work in formal methods has helped establish rigorous approaches to software development, improving system reliability and verification. His contributions to the history of computing preserve important knowledge about the field's evolution. Through Museophile Limited, he has bridged technology and cultural heritage, advancing how museums engage with digital culture. His academic leadership has influenced multiple generations of computer scientists through teaching, supervision, and publications. Bowen's interdisciplinary approach, combining technical expertise with cultural applications, demonstrates the broader impact of computer science beyond traditional computing domains.

## Notable For
- Author of "Applications of Formal Methods" (1995), a foundational text in the field
- Founder of Museophile Limited (2002), pioneering digital culture applications in museums
- Supervised doctoral students who have become prominent computer scientists
- Fellow of the Royal Society of Arts, British Computer Society, and liveryman
- Erdös number of 2, connecting him to the mathematical research community

## Body
### Academic Career
Jonathan Bowen has held positions at multiple UK universities including Imperial College London, University of Reading, and Birmingham City University. His academic work spans computer science, informatics, and software engineering, with a particular focus on formal methods and system verification.

### Publications and Research
Bowen has authored numerous books and papers on formal methods, software engineering, and computing history. His notable works include "Applications of Formal Methods" (1995), "Towards Verified Systems" (1997), and "The Turing Guide" (2017). He has contributed to both theoretical foundations and practical applications of computer science.

### Industry Experience
Beyond academia, Bowen has worked in industry at companies including Silicon Graphics, Oxford Instruments, and Marconi Instruments Limited. He also served as a director at Altran Praxis, a software company in the United Kingdom.

### Digital Culture and Museums
Through Museophile Limited, founded in 2002, Bowen has explored the intersection of technology and cultural heritage. His work in this area includes publications on digital technologies in museums and their impact on visitor experience.

### Professional Recognition
Bowen has received recognition as a Fellow of the Royal Society of Arts, Fellow of the British Computer Society, and liveryman. He maintains active involvement in the computer science community through professional organizations and academic societies.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Jonathan Bowen",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "Imperial College London"},
    {"@type": "Organization", "name": "University of Reading"},
    {"@type": "Organization", "name": "Birmingham City University"}
  ],
  "nationality": {"@type": "Country", "name": "United Kingdom"},
  "birthDate": "1956-03-14",
  "birthPlace": "Oxford, United Kingdom",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Dragon School"},
    {"@type": "EducationalOrganization", "name": "Bryanston School"},
    {"@type": "CollegeOrUniversity", "name": "University College, Oxford"}
  ],
  "knowsAbout": [
    "Computer Science",
    "Informatics",
    "Software Engineering",
    "Information Technology",
    "History of Computing",
    "Virtualization"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Jonathan_Bowen",
    "https://www.wikidata.org/wiki/Q36578"
  ],
  "description": "British computer scientist known for work in formal methods, software engineering, and digital culture in museums"
}

## References

1. [Prabook](https://prabook.com/web/jonathan_peter.bowen/225530)
2. Integrated Authority File
3. Czech National Authority Database
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-8748-6140/employment/268197)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-8748-6140/employment/5955222)
6. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-8748-6140/employment/268224)
7. [Source](https://www.gresham.ac.uk/speakers/professor-jonathan-bowen)
8. Mathematics Genealogy Project
9. International Standard Name Identifier
10. CiNii Research
11. MAK
12. Freebase Data Dumps. 2013
13. [Source](https://global.oup.com/academic/product/the-turing-guide-9780198747833)
14. [Source](https://www.springer.com/gp/book/9783319974569)
15. [Source](https://rowman.com/ISBN/9780759111219)
16. [Source](https://www.elsevier.com/books/towards-verified-systems/bowen/978-0-444-89901-9)
17. [Amazon.com](https://www.amazon.co.uk/Applications-Methods-Prentice-Hall-International-Computer/dp/0133669491)
18. [Amazon.com](https://www.amazon.co.uk/Formal-Specification-Documentation-Using-Approach/dp/1850322309)
19. [Source](https://www.springer.com/gp/book/9783319486277)
20. [Source](https://link.springer.com/book/10.1007/978-3-031-53865-0)
21. Virtual International Authority File
22. ArXiv