Jonathan P. Bowen
FBCS
Sir Maurice Wilkes served as the first President of BCS in 1957
BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...
FRSA
The Royal Society for the Encouragement of Arts, Manufactures and Commerce (RSA), also known as the Royal Society of Arts, is a London-based organisation committed to finding practical solutions to social challenges. The RSA acronym is used m ...
(born 1956) is a British
computer scientist and an Emeritus Professor at
London South Bank University
London South Bank University (LSBU) is a public university in Elephant and Castle, London. It is based in the London Borough of Southwark, near the South Bank of the River Thames, from which it takes its name. Founded in 1892 as the Borough ...
, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at
Birmingham City University
, mottoeng = "Do what you are doing; attend to your business"
, established = 1992—gained university status1971—City of Birmingham Polytechnic1843—Birmingham College of Art
, type = Public
, affiliation = ...
, Visiting Professor at the
Pratt Institute (New York City),
University of Westminster
The University of Westminster is a public university, public university based in London, United Kingdom. Founded in 1838 as the Royal Polytechnic Institution, it was the first Polytechnic (United Kingdom), polytechnic to open in London. The Polyte ...
and
King's College London, and a visiting academic at
University College London
, mottoeng = Let all come who by merit deserve the most reward
, established =
, type = Public research university
, endowment = £143 million (2020)
, budget = ...
.
Education
Bowen was born in
Oxford
Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...
, the son of
Humphry Bowen
__NOTOC__
Humphry John Moule Bowen (22 June 1929 – 9 August 2001) 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 ...
,
and was educated at the
Dragon School
("Reach for the Sun")
, established = 1877
, closed =
, type = Preparatory day and boarding school and Pre-Prep school
, religion = Church of England
, president =
, head_label = Head
, head = Emma Goldsm ...
,
Bryanston School
Bryanston School is a public school (English independent day and boarding school for pupils aged 13–18) located next to the village of Bryanston, and near the town of Blandford Forum, in Dorset in South West England. It was founded in 1928. ...
, prior to his matriculation at
University College, Oxford
University College (in full The College of the Great Hall of the University of Oxford, colloquially referred to as "Univ") is a constituent college of the University of Oxford in England. It has a claim to being the oldest college of the unive ...
(
Oxford University
Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to th ...
) where he received the
MA degree
A Master of Arts ( la, Magister Artium or ''Artium Magister''; abbreviated MA, M.A., AM, or A.M.) is the holder of a master's degree awarded by universities in many countries. The degree is usually contrasted with that of Master of Science. Tho ...
in
Engineering Science
Engineering physics, or engineering science, refers to the study of the combined disciplines of physics, mathematics, chemistry, biology, and engineering, particularly computer, nuclear, electrical, electronic, aerospace, materials or mechanical en ...
.
Career
Bowen later worked at
Imperial College, London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a c ...
, the Oxford University Computing Laboratory (now the
Oxford University Department of Computer Science
The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...
), the
University of Reading
The University of Reading is a public university in Reading, Berkshire, England. It was founded in 1892 as University College, Reading, a University of Oxford extension college. The institution received the power to grant its own degrees in 192 ...
, and
London South Bank University
London South Bank University (LSBU) is a public university in Elephant and Castle, London. It is based in the London Borough of Southwark, near the South Bank of the River Thames, from which it takes its name. Founded in 1892 as the Borough ...
. His early work was on
formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
in general, and later the
Z notation
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.
History
In 1974, Jean-Raymond Abria ...
in particular. He was Chair of the
Z User Group
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 du ...
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
''Innovations in Systems and Software Engineering: A NASA Journal'' 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 on ...
''. He is also an
associate editor
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies.
The highest-ranking editor of a publication may also be titled editor, managing ...
on the
editorial board
The editorial board is a group of experts, usually at a publication, who dictate the tone and direction the publication's editorial policy will take.
Mass media
At a newspaper, the editorial board usually consists of the editorial page editor, ...
for the ''
ACM Computing Surveys'' journal, covering
software engineering
Software engineering is a systematic engineering approach to software development.
A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...
and
formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
. From 2008–9, he was an Associate at
Praxis High Integrity Systems, working on a large industrial project using the
Z notation
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.
History
In 1974, Jean-Raymond Abria ...
.
Bowen's other major interest is the area of
online museums. In 1994, he founded the
Virtual Library museums pages
The Virtual Library museums pages (VLmp) formed an early leading directory of online museums around the world.
History
The VLmp online directory resource was founded by Jonathan Bowen in 1994, originally at the Oxford University Computing Labo ...
(VLmp), an online museums directory that was soon adopted by the
International Council of Museums
The International Council of Museums (ICOM) is a non-governmental organisation dedicated to museums, maintaining formal relations with UNESCO and having a consultative status with the United Nations Economic and Social Council. Founded in 1946, I ...
(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. He has also worked in industry at
Oxford Instruments
Oxford Instruments plc is a United Kingdom manufacturing and research company that designs and manufactures tools and systems for industry and research. The company is headquartered in Abingdon, Oxfordshire, England, with sites in the United Ki ...
,
Marconi Instruments,
Logica
Logica plc was a multinational IT and management consultancy company headquartered in London and later Reading, United Kingdom.
Founded in 1969, the company had offices in London and in a number of major cities across England, Wales and Scot ...
,
Silicon Graphics
Silicon Graphics, Inc. (stylized as SiliconGraphics before 1999, later rebranded SGI, historically known as Silicon Graphics Computer Systems or SGCS) was an American high-performance computing manufacturer, producing computer hardware and sof ...
, and
Altran Praxis
Altran UK (formerly known as Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype and Altran Technologies) is a division of parent company Altran. Altran Praxis was a British software house that specialised in ...
.
Bowen was elected a
Fellow
A fellow is a concept whose exact meaning depends on context.
In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements.
Within the context of higher education ...
of the
(RSA) in 2002 and of the
British Computer Society (BCS) in 2004. He is a
Liveryman of the
Worshipful Company of Information Technologists
The Worshipful Company of Information Technologists, also known as the Information Technologists' Company, is one of the livery companies of the City of London. The company was granted livery status by the Court of Aldermen on 7 January 1992, ...
and a
Freeman
Freeman, free men, or variant, may refer to:
* a member of the Third Estate in medieval society (commoners), see estates of the realm
* Freeman, an apprentice who has been granted freedom of the company, was a rank within Livery companies
* Free ...
of the
City of London
The City of London is a city, ceremonial county and local government district that contains the historic centre and constitutes, alongside Canary Wharf, the primary central business district (CBD) of London. It constituted most of London f ...
.
Selected books
Jonathan Bowen has written and edited a number of books, including:
* Bowen, J.P., editor, ''Towards Verified Systems''.
Elsevier
Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as '' The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', ...
Science, Real-Time Safety Critical Systems series, volume 2, 1994. .
*
Hinchey, M.G. and Bowen, J.P., editors, ''Applications of Formal Methods''.
Prentice Hall International Series in Computer Science, 1995. .
* Bowen, J.P., ''Formal Specification and Documentation using Z: A Case Study Approach''. International Thomson Computer Press,
International Thomson Publishing
International Thomson Organization (ITO) was a holding company for interests in publishing, travel, and natural resources, that existed from 1978 to 1989. It was formed as a reorganisation of the Thomson Organization, which had been founded by Roy ...
, 1996. .
* Bowen, J.P. and Hinchey, M.G., editors, ''High-Integrity System Specification and Design''.
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Originally founded in 1842 ...
, London, FACIT series, 1999. .
* Hinchey, M.G. and Bowen, J.P., editors, ''Industrial-Strength Formal Methods in Practice''. Springer-Verlag, London, FACIT series, 1999. .
* Hierons, R., Bowen, J.P., and
Harman, M., editors, ''Formal Methods and Testing''. Springer-Verlag,
LNCS
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973.
Overview
The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...
, Volume 4949, 2008. .
*
Börger, E.,
Butler, M., Bowen, J.P., and Boca, P., editors, ''Abstract State Machines, B and Z''. Springer-Verlag, LNCS, Volume 5238, 2008. .
* Boca, P.P., Bowen, J.P., and
Siddiqi, J.I., editors, ''Formal Methods: State of the Art and New Directions''. Springer, 2010. , e-, .
* Bowen, J.P., Keene, S., and Ng, K., editors, ''Electronic Visualisation in Arts and Culture''. Springer Series on Cultural Computing, Springer, 2013. .
*
Copeland, J., Bowen, J.P., Sprevak, M.,
Wilson, R., et al., ''
The Turing Guide
''The Turing Guide'', written by Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, and others and published in 2017, is a book about the work and life of the British mathematician, philosopher, and early computer scientist, Alan Turi ...
''.
Oxford University Press
Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest university press in the world, and its printing history dates back to the 1480s. Having been officially granted the legal right to print books ...
, 2017. (hardcover), (paperback).
* Hinchey, M.G., Bowen, J.P.,
Olderog, E.-R., editors, ''Provably Correct Systems''. Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. , .
*
Giannini, T. and Bowen, J.P., editors, ''
Museums and Digital Culture: New Perspectives and Research''. Springer Series on Cultural Computing, Springer, 2019. , e-, .
Notes
References
* Bowen, Jonathan Peter. ''Who's Who in the World'',
Marquis Who's Who
Marquis Who's Who ( or ) is an American publisher of a number of directories containing short biographies. The books usually are entitled ''Who's Who in...'' followed by some subject, such as ''Who's Who in America'', ''Who's Who of American Wome ...
, 18th edition, 2001.
H-museum information*
International Center for Scientific Research information
External links
Personal websiteLSBU official home pageLSBU personal home pagean
on
Archive.org
The Internet Archive is an American digital library with the stated mission of "universal access to all knowledge". It provides free public access to collections of digitized materials, including websites, software applications/games, music, ...
SWU home page*
*
Jonathan P. Bowenon
Microsoft Academic
*
{{DEFAULTSORT:Bowen, Jonathan
1956 births
Living people
People from Oxford
People educated at The Dragon School
People educated at Bryanston School
Alumni of University College, Oxford
Computer science writers
English computer scientists
English non-fiction writers
English book editors
Formal methods people
Members of the Department of Computer Science, University of Oxford
Academics of Imperial College London
Academics of the University of Reading
Academics of London South Bank University
Academics of University College London
Academics of King's College London
Academics of the University of Westminster
Academics of Birmingham City University
Silicon Graphics people
British software engineers
Software engineering researchers
Academic journal editors
Fellows of the British Computer Society
English male non-fiction writers