Jonathan Bowen

[Photograph]
Telephone
+44 (0)118 931 6544
Fax
+44 (0)118 975 1994
Email
J.P.Bowen@reading.ac.uk
Room
137
Address
University of Reading
Department of Computer Science
Whiteknights, PO Box 225
Reading
Berkshire RG6 6AY
UK

Research

Leader of the Formal Methods and Software Engineering Group.
Chair of the Z User Group.
Coordinator of the ProCoS Group.

Formal Methods

Particular interests include the application of formal methods (especially the Z notation), hardware compilation, safety-critical systems and logic programming (especially for rapid-prototyping).

On-line Museums

The use of the World Wide Web by museums is rapidly expanding. Jonathan Bowen maintains the Virtual Library museum pages (VLmp), a directory of on-line museums around the world, also mirrored locally, and the (New) also Virtual Museum of Computing.

I am a member of the RUCS MultiMedia Group.

Publications

Also available sorted by type.

Academic Responsibilities

Lecturer in the Department of Computer Science at The University of Reading.
Member of the Departmental Research Committee.
Part II examinations representative.
Web coordinator. (See WWW discussion group.)
Member of the Committee for Engineering and Information Sciences.

Lecture courses

Supervisor of:
  1. Behjat Al-Yousuf with John Ogden.
  2. Mark Green with Ali Abdallah.

See 3rd year student projects and tutees.

Professional Qualifications and Membership

MA Oxon; Member of ACM; Member of IEEE Computer Society; Chairman of the Z User Group (ZUG).

MCSCC (Member of the Computer Science Coffee Club). :-)

Personal home page including further professional information such as committee memberships, etc.

NOTE: This home page is not current.