Chairman, Museophile Limited
Reading, United Kingdom
- Current
-
- Consultant Commissioner at Commission for Academic Accreditation
- Visiting Professor at University of Westminster
- Treasurer of BCS-FACS at British Computer Society
- Associate at Praxis High Integrity Systems
- Emeritus Professor at London South Bank University
- Visiting Professor at King's College London
- Chairman at Museophile Limited
- Chair at Z User Group
- Past
-
- Freeman at Worshipful Company of Information Technology
- Chair of BCS-FACS at BCS-FACS
- Visiting academic at Brunel University
- Visiting academic at University College London
- Professor of Computing at London South Bank University
- Lecturer at The University of Reading
- Research Officer / Senior Research Officer at University of Oxford
- Software engineer at Silicon Graphics
- Research Assistant at Imperial College, London
- Programmer at Logica
- Education
-
- University of Oxford
- Recommended
-
14 people have recommended Jonathan - Connections
-
500+
connections
- Industry
- Information Technology and Services
- Websites
Jonathan Bowen’s Summary
Jonathan Bowen is Chairman of Museophile Limited, a company supporting museums, especially online. He is also an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods and a visiting academic at University College London (2006-07). He is currently a Visiting Professor at King's College London (2007-2009). He will be a Visiting Professor at the University of Westminster from 2010.
From 1995 to March 2000, Bowen was a lecturer in the Department of Computer Science at Reading University, where he led the Formal Methods and Software Engineering Group. Previously he was a senior researcher at the Oxford University Computing Laboratory Programming Research Group where he worked under the guidance of Sir Tony Hoare, FRS. Between 1979 and 1984 he worked at Imperial College, London as a research assistant, latterly in the interdepartmental Wolfson Microprocessor Laboratory. He has been involved with the field of computing in both industry (including Marconi Instruments, Logica and Silicon Graphics Inc.) and academia since 1977. He holds an MA degree in Engineering Science from Oxford University.
During 2001, Bowen received the Freedom of The Worshipful Company of Information Technologists (WCIT), the 100th Livery Company in the City of London. In 2002, he was elected Fellow of the Royal Society for the encouragement of the Arts, Manufactures and Commerce (FRSA). In 2004 he was invited to be a Fellow of the British Computer Society (FBCS).
For further information, see: http://jpbowen.googlepages.com
Jonathan Bowen’s Specialties:
My interests include formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, the history of computing and online museums.
Jonathan Bowen’s Experience
-
Consultant Commissioner
Commission for Academic Accreditation
(Government Administration industry)
October 2009 — Present (2 months)
Accreditation of computing and engineering degree programmes at universities in the United Arab Emirates.
-
Visiting Professor
University of Westminster
(Educational Institution; Higher Education industry)
August 2009 — Present (4 months)
From January 2010, I am a Visiting Professor at the University of Westminster, working with Dr Sue Black.
-
Treasurer of BCS-FACS
British Computer Society
(Information Technology and Services industry)
June 2008 — Present (1 year 6 months)
Treasurer of the British Computer Society (BCS) Formal Aspects of Computing Science (FACS) Specialist Group. We promote the development and dissemination of formal approaches applicable to the production of computer-based systems. Members receive the FACS newsletter and are eligible for a discount at our workshops and conferences when this is available. In addition, individual members can subscribe to our journal at a substantially reduced rate. The group works with other (national, European and international) organisations active in formal and theoretical areas of computing. For further information, see: www.bcs-facs.org
-
Associate
Praxis High Integrity Systems
(Privately Held; 51-200 employees; Computer Software industry)
January 2008 — Present (1 year 11 months)
Working as a contractor in the test team on a major software project based in Bath using the formal Z notation.
-
Emeritus Professor
London South Bank University
(Educational Institution; Higher Education industry)
January 2007 — Present (2 years 11 months)
Jonathan Bowen is an Emeritus Professor at London South Bank University. His research interests include formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, the history of computing and online museums. In particular, he maintains the Virtual Library formal methods pages under: http://formalmethods.wikia.com/
-
Visiting Professor
King's College London
(Educational Institution; 501-1000 employees; Computer Software industry)
January 2007 — Present (2 years 11 months)
I am a Visiting Professor in the CREST group, 2007-2009.
-
Chairman
Museophile Limited
(Privately Held; 1-10 employees; Information Technology and Services industry)
January 2002 — Present (7 years 11 months)
Museophile supports museums, especially online in areas such as web accessibility, discussion forums and collaborative e-commerce. For further information, see: www.museophile.com
-
Chair
Z User Group
(Computer Software industry)
December 1992 — Present (17 years )
Chair of the Z User Group. The aims of the group are: to further the study, use and development of Z; to organize regular meetings of users and potential users of Z; to publish papers presented at Z User Meetings and other papers of interest to Z users; to establish and maintain contacts with other groups with similar interests. See also the ABZ conference under http://abzconference.org
-
Freeman
Worshipful Company of Information Technology
(Information Technology and Services industry)
2001 — 2009 (8 years )
-
Chair of BCS-FACS
BCS-FACS
(Privately Held; 1-10 employees; Information Technology and Services industry)
February 2002 — June 2008 (6 years 5 months)
Chair of the British Computer Society (BCS) Formal Aspects of Computing Science (FACS) Specialist Group. We promote the development and dissemination of formal approaches applicable to the production of computer-based systems. Members receive the FACS newsletter and are eligible for a discount at our workshops and conferences when this is available. In addition, individual members can subscribe to our journal at a substantially reduced rate. The group works with other (national, European and international) organisations active in formal and theoretical areas of computing. For further information, see: www.bcs-facs.org
-
Visiting academic
Brunel University
(Educational Institution; 1001-5000 employees; Higher Education industry)
January 2008 — April 2008 (4 months)
Teaching undergraduate software testing module.
-
Visiting academic
University College London
(Educational Institution; 1001-5000 employees; Research industry)
October 2006 — October 2007 (1 year 1 month)
During the academic year 2006-07, Jonathan Bowen is a visiting academic in the Department of Computer Science at University College London. He is teaching on the MSc module "Validation and Verification".
-
Professor of Computing
London South Bank University
(Educational Institution; 1001-5000 employees; Higher Education industry)
March 2000 — July 2006 (6 years 5 months)
From 2000 to 2006, Jonathan Bowen is Professor of Computing at London South Bank University where he led the Centre for Applied Formal Methods (CAFM). He was also head of the Systems & Software Engineering research group, including CAFM. His research interests were centred around formal methods and online museums.
-
Lecturer
The University of Reading
(Educational Institution; 1001-5000 employees; Higher Education industry)
October 1995 — March 2000 (4 years 6 months)
Lecturer in the Department of Computer Science. He founded and was leader of the Formal Methods and Software Engineering (FMSE) research group, one of four research groups in the department.
-
Research Officer / Senior Research Officer
University of Oxford
(Educational Institution; 1001-5000 employees; Higher Education industry)
January 1985 — September 1995 (10 years 9 months)
Research Officer, then Senior Research Officer in the Oxford University Computing Laboratory (OUCL). He was a member of the Programming Research Group (PRG) where he worked under the guidance of Sir Tony Hoare, FRS. He worked on a number of research projects including the EPSRC Distributed Computing Software (DCS) project, the EPSRC Software Engineering project, the DTI SAFEMOS project on totally verified systems and an EPSRC project on hardware/software co-design. He was also involved with the European ESPRIT ProCoS (Provably Correct Systems) I and II projects and the associated ProCoS-WG Working Group, which he managed. His main research area was in formal methods, especially using the Z notation. He was involved with many of the Z User Meetings and became Chair of the Z User Group (ZUG).
-
Software engineer
Silicon Graphics
(Public Company; 1001-5000 employees; SGI; Computer Hardware industry)
1983 — 1984 (1 year )
-
Research Assistant
Imperial College, London
(Educational Institution; 1001-5000 employees; Higher Education industry)
September 1979 — December 1984 (5 years 4 months)
Initially in the Chemical Engineering department working on an industrial process simulation package. Latterly in the interdepartmental Wolfson Microprocessor Unit, based in the Department of Computing, set up to help all the departments in the College to exploit microprocessors using state-of-the-art emulation equipment.
-
Programmer
Logica
(Public Company; 10,001 or more employees; Logica PLC; Information Technology and Services industry)
1979 — 1979 (less than a year)
Jonathan Bowen’s Education
-
University of Oxford
MA Oxon , Engineering Science , 1974 — 1977
BA Oxon 1977, MA Oxon 1981.
- Activities and Societies:
- University College, Oxford University Broadcasting Society (Technical Director), University College Players (Treasurer), Orienteering
Additional Information
Jonathan Bowen’s Websites:
Jonathan Bowen’s Interests:
Art, computer science, culture, formal methods, history of computing, Internet, logic programming, museums, photography, rowing, software engineering, walking, World Wide Web
Jonathan Bowen’s Groups:
Fellow of the British Computer Society (FBCS), Fellow of the Royal Society of Arts (FRSA), Freedom of The Worshipful Company of Information Technologists, Member of ACM, Member of IEEE (including the Computer Society), member of the BCS Computer Conservation Society (CCS) Specialist Group, Associate Member of Leander Rowing Club
-
eOffice -
Friends of the British Computer Society -
Royal Society for the encouragement of Arts, Manufactures and Commerce -
The Official IEEE Group -
Museum Education Roundtable -
MuseumLink -
The Official Association for Computing Machinery (ACM) Group -
Museum Computer Network (MCN) -
Semantic Web -
IEEE Computer Society Members -
FPGA - Field Programmable Gate Array -
MuseoTech -
BCS ELITE -
Cultural Engineering Group -
Museophile discussion forum -
User Experience -
BCS Membership Group -
Museum & Art Galleries -
Virtual Museums
-
London South Bank University (LSBU) -
Air Traffic Management -
Design Verification Professionals -
Oxford University Alumni -
Knowledge Transfer Partnerships (KTP) -
Small Museum Professionals -
Formal Methods: Specification, Verification, TCG -
Future Social Media -
Dragon School Oxford -
Museums and the Web -
Software Development with Formal Methods
-
Information Technologists Company -
Univ Old Members -
ICOM Members -
Save Bletchley Park -
Bryanston School Alumni -
LTN Events -
BCS-FACS -
Formal Methods and Testing -
Refinement
Jonathan Bowen’s Honors:
1994 IEE Charles Babbage Premium award, winner of a Highly Commended Award as one of the best papers in "Program: Electronic Library and Information Systems" in 2002, Honorable Mention in the 2003 Museums and the Web "Best of the Web" awards.
Jonathan Bowen’s Contact Settings
Interested In:
- consulting offers
- new ventures
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch
