Jonathan Bowen
Encyclopedia
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
.
, 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
.
, and the University of Reading
. His early work was on formal methods
in general, and later the Z notation
in particular. He was Chair of the Z User Group
from the early 1990s until 2011. 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
.
Bowen's other major interest is the area of online museums. 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). In the same year he also started the Virtual Museum of Computing
. In 2002, he founded Museophile Limited to help museums, especially online, for example with discussion forums.
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.
FBCS
FBCS is an abbreviation for Fellow of the British Computer Society . This is the most senior professional grade in the BCS. It is available to applicants with a minimum of five years of Information Technology experience in a senior IT position or who have an established eminent or authoritative...
FRSA (born 1956) is a British
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University
London South Bank University
London South Bank University is a university in south London. With over 25,000 students and 1,700 staff, it is based in the London Borough of Southwark, near the South Bank of the River Thames, from which it takes its name...
where he has headed the Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster
University of Westminster
The University of Westminster is a public research university located in London, United Kingdom. Its origins go back to the foundation of the Royal Polytechnic Institution in 1838, and it was awarded university status in 1992.The university's headquarters and original campus are based on Regent...
. Formerly he was a Visiting Professor at King's College London
King's College London
King's College London is a public research university located in London, United Kingdom and a constituent college of the federal University of London. King's has a claim to being the third oldest university in England, having been founded by King George IV and the Duke of Wellington in 1829, and...
and a visiting academic at University College London
University College London
University College London is a public research university located in London, United Kingdom and the oldest and largest constituent college of the federal University of London...
.
Education
Bowen was born in OxfordOxford
The city of Oxford is the county town of Oxfordshire, England. The city, made prominent by its medieval university, has a population of just under 165,000, with 153,900 living within the district boundary. It lies about 50 miles north-west of London. The rivers Cherwell and Thames run through...
, the son of Humphry Bowen
Humphry Bowen
Humphry John Moule Bowen was a British botanist and chemist.Bowen was born in Oxford, son of the chemist Edmund Bowen. He attended the Dragon School, gaining a scholarship to Rugby School and then a demyship to Magdalen College, Oxford...
, and was educated at the Dragon School
Dragon School
The Dragon School is a British coeducational, preparatory school in the city of Oxford, founded in 1877 as the Oxford Preparatory School, or OPS. It is primarily known as a boarding school, although it also takes day pupils...
, Bryanston School
Bryanston School
Bryanston School is a co-educational independent school for both day and boarding pupils in Blandford, north Dorset, England, near the village of Bryanston. It was founded in 1928...
, prior to his matriculation at University College Oxford (Oxford University) where he received the MA degree
Master of Arts (postgraduate)
A Master of Arts from the Latin Magister Artium, is a type of Master's degree awarded by universities in many countries. The M.A. is usually contrasted with the M.S. or M.Sc. degrees...
in Engineering Science
Department of Engineering Science, University of Oxford
The Department of Engineering Science is the focus of study of engineering science at Oxford University, England. It is located on the triangular plot formed by Banbury Road to the west, Parks Road to the east and Keble Road to the south. The main building is the tall 1960s Thom Building that...
.
Career
Bowen later worked at Imperial College, London, the Oxford University Computing LaboratoryOxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
, and the University of Reading
University of Reading
The University of Reading is a university in the English town of Reading, Berkshire. The University was established in 1892 as University College, Reading and received its Royal Charter in 1926. It is based on several campuses in, and around, the town of Reading.The University has a long tradition...
. His early work was on formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
in general, and later the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, 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.-History:...
in particular. He was Chair of the Z User Group
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems...
from the early 1990s until 2011. In 2002, Bowen was elected Chair of the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
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
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media in association with NASA...
. From 2008–09, he was an Associate at Praxis High Integrity Systems
Praxis High Integrity Systems
Altran Praxis is a British software house that specialises in critical systems...
, working on a large industrial project using the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, 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.-History:...
.
Bowen's other major interest is the area of online museums. In 1994, he founded the Virtual Library museums pages
Virtual Library museums pages
The Virtual Library museums pages form a leading directory of online museums around the world. The resource was founded by Jonathan Bowen in 1994, originally at the Oxford University Computing Laboratory in the United Kingdom. It is supported by the International Council of Museums and Museophile...
(VLmp), an online museums directory that was soon adopted by the International Council of Museums
International Council of Museums
The International Council of Museums is an international organization of museums and museum professionals that is committed to the conservation, continuation and communication to society of the world's natural and cultural heritage, present and future, tangible and intangible.- Overview :Created...
(ICOM). In the same year he also started the Virtual Museum of Computing
Virtual Museum of Computing
The Virtual Museum of Computing is an eclectic collection of links and online resources concerning the history of computers and computer science. It includes links to other related museums, both real and virtual, around the world, as well as having its own virtual galleries of information...
. In 2002, he founded Museophile Limited to help museums, especially online, for example with discussion forums.
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
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
(BCS) in 2004.
Selected books
- Bowen, J.P., editor, Towards Verified Systems. ElsevierElsevierElsevier is a publishing company which publishes medical and scientific literature. It is a part of the Reed Elsevier group. Based in Amsterdam, the company has operations in the United Kingdom, USA and elsewhere....
Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4. - Hinchey, M.G.Michael HincheyMichael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre , University of Limerick, Ireland....
and Bowen, J.P., editors, Applications of Formal Methods. Prentice HallPrentice HallPrentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
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.Mark Harman (computer scientist)Mark Harman is a British computer scientist. Since 2004 he has been a Professor at King's College London, where he leads the Software Engineering Group. He is also Director of the Centre for Research on Evolution Search and Testing , a research laboratory at KCL.Harman studied software engineering...
, editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1. - Börger, E.Egon BörgerEgon Börger is a German-born computer scientist based in Italy.Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris , Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain , University of Münster...
, 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. - Boca, P.P., Bowen, J.P., and Siddiqi, J.I.Jawed SiddiqiJawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer. He is the Professor of Software Engineering at Sheffield Hallam University, England.- Education and academic career :...
, editors, Formal Methods: State of the Art and New Directions. Springer, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, .