Please note I receive a large amount of email and cannot respond to most unsolicited mail; in particular, I consider the sending of e-junk unethical and consign it to the e-bin immediately so please do not bother sending it.

Chairman, Museophile Limited (2002 onwards)

Visiting Professor, Department of Computer Science, King's College London (2007-2009)

Also:

• Visiting Professor, University of Westminster (2010-)
• Associate, Praxis High Integrity Systems, Bath (2008-2009)
• Teaching (software testing), Brunel University (2008)
• Visiting academic, Department of Computer Science, University College London (2006-2007)
• Leader of the Centre for Applied Formal Methods (CAFM).
• Treasurer (formerly Chair) of the BCS Formal Aspects of Computing Science (FACS) Specialist Group.
  (Co-organizer of evening seminars, BCS London Office, UK.)
• Chair of the Z User Group (ZUG).
• Director of the Museophile Limited.
• Associate Editor-in-Chief, Innovations in Systems and Software Engineering, a NASA journal, published by Springer-Verlag. See print edition and electronic edition.
• External Examiner in Computer Science at the University of Essex.
• Maintainer of the Virtual Library museum pages (VLmp).
• (Virtual) Director of the Virtual Museum of Computing (VMoC).
• Member of the Virtual Library.
• Member of the Centre for e-Security.
• Society and club membership.
• Ex Deputy Head of Research in SCISM.
• Ex-leader of the RUCS Formal Methods and Software Engineering Group.
• Ex-member of the RUCS MultiMedia Group.

Previously Lecturer at the Department of Computer Science, The University of Reading and Senior Research Officer at the Oxford University Computing Laboratory, undertaking research on the EPSRC-funded Provably Correct Hardware/Software Co-design project with Sir Tony Hoare, FRS. Former manager of ESPRIT ProCoS-WG Working Group and member of the PRG Hardware Compilation Group.

Address

Telephone

Email

You may add me to your address book through Plaxo.

Research interests

• Formal methods;
• Provably correct systems;
• Hardware compilation;
• Safety-critical systems;
• Hardware/software co-design;
• Logic programming;
• Software testing;
• The Z notation;
• History of computing;
• Online museums;
• Web accessibility.

Research Fellows:

• Dr Paul Boca (BCS-FACS, 2005-)
• Dr Ann Borda (JISC, 2004-)
• Dr Silvia Filippini-Fantoni (Université Paris I - Sorbonne, France, 2005 & 2006-)
• Mike Houghton (2001-)
• Eleanor Lisney (2007-)
• Alison Hsiang-Yi Liu (2009)
• Dr Sarah McDaid (2009-)

  Previous:

• Dr Han-Myung Chang (On sabbatical from Nanzan University, Japan, 2004-2005)
• Dr Murdoch James Gabbay (Visiting Research Fellow, KCL, 2005-2006)
• Michelle Hammond (2007-2008)
• Dr Teresa Numerico (Leverhulme Fellow, University of Salerno, Italy, 2004-2005)
• Dr Sergiy Vilkomir (Research Fellow, now at East Carolina University, USA)

Research students:

• Haider Bilal (with Dr Sue Black)

  Previous:

• Dr Hemangee Kapoor (PhD, 2004; co-supervisor)
• Dr Kalpesh Kapoor (PhD, 2004)
• Dr Zhu Huibiao (PhD, 2005)
• Dr François Siewe (PhD 2005; with Prof. Hussein Zedan, DMU)
• Dr Phan Cong Vinh PhD, 2006)
• Dr Etienne Khayat (with Dr Ali Abdallah)
• Arwa Fahed (with Dr Ali Abdallah)
• Michelle Hammond (with Prof. Terry Fogarty)
• Gasso Mwaluseke
• Dr Ali Nasrat Haidar (with Prof. Nimal Nissanke)
• Dr Sarah McDaid (with Prof. Abdullah Hashim and Dr Xristine Faulkner, PhD, 2009)

Publications

• OUCL Technical Monographs and Technical Reports
• OUCL archive service
• RUCS archive service
• LSBU Museophile archive service
• REDO project (1989-1992)
• safemos project (1989-1993)
• Schloß Dagstuhl workshops
• World ranking in computer science citations by ResearchIndex.
• EPSRC projects. See also GR/J15186/01. Networks:
  • ASTReNet (Analysis, Slicing and Transformation, 2004-2007) member
  • FORTEST (Formal Methods and Testing, 2001-2005)
  • VSR-net (Verified Software Repository, 2005-2008)
• Member of the CoLogNET European Network on Computational Logic in the area of formal methods.

Programme committee membership

1. ICECCS 2008: 13th IEEE International Conference on Engineering of Complex Computer Systems, Belfast, Nothern Ireland, 31 March - 4 April 2008.
2. MBT 2008: 4th Workshop on Model-Based Testing, Budapest, Hungary, 30 March 2008. (With ETAPS 2008.)
3. TASE 2008: 2nd IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, 17-19 June 2008.
4. EVA London 2008: Electronic and Visual Arts, British Computer Society, London, UK, 22-25 July 2008. Co-chair.
5. QSIC 2008: 8th International Conference on Quality Software, Oxford, UK, 12-13 August 2008.
6. ABZ 2008: BCS-FACS ASM/B/Z Conference, London, UK, 15-18 September 2008. Z Programme Chair.
7. ICTAC 2008: International Colloquium on Theoretical Aspects of Computing, 2008.

1. ZUM'89, Z User Meeting, University of Oxford, 1989.
2. ZUM'90, Z User Meeting, University of Oxford, 1990.
3. ZUM'91, Z User Meeting, University of York, 1991.
4. Chair of ZUM'92, Z User Meeting, London, 1992.
5. Member of IEEE SESS'93 programme committee, Software Engineering Standards Symposium.
6. Conference chair of ZUM'94.
7. Conference chair of ZUM'95.
8. Member of WIFT'95 programme committee and tools session co-chair.
9. Member of ISESS'95 programme committee.
10. Member of ICECCS'95 programme committee (formal methods session co-chair), and ICECCS'96 programme committee.
11. Member of CSL'95 programme committee.
12. Member of Z and its Future Putting into Practice, Methods and Tools for Information System Design conference programme committee (Nantes, France, 10-12 October 1995).
13. Member of ICSM'95 (International Conference on Software Maintenance) programme committee (Nice, France, October 1995).
14. Member of FORTE'95 programme committee (Montreal, Quebec, Canada, 17-20 October 1995).
15. Member of MI'96 Methods Integration Workshop programme committee (Leeds Metropolitan University, UK, 1-2 April 1996).
16. Hononary Chair of MW'97, Museums and the Web, Los Angeles, California, USA, 16-19 March 1997. (Also invited speaker and workshop presenter.)
17. Conference chair of ZUM'97, 10th International Conference of Z Users, University of Reading, UK, 3-4 April 1997.
18. Member of ICFEM'97 programme committee, 1st IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan, 12-14 November 1997.
19. Invoicing'98 programme committee, International Workshop on Specification Techniques, and Formal Methods, Nantes, France, 26-27 March 1998.
20. MW'98, 2nd Museums and the Web Conference, Toronto, Canada, 21-26 April 1998.
21. B'98, 2nd B Conference, Montpellier, France, 22-24 April 1998.
22. ZUM'98, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998.
23. FM-Trends 98, International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, 7-9 October 1998. See Advisory Board.
24. ICFEM'98, 2nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, 9-11 December 1998.
25. MW'99, 3rd Museums and the Web Conference, New Orleans, USA, 11-14 March 1999.
26. IFM'99: Integrated Formal Methods, Workshop on Combining State-based and Behavioural Formalisms, York, UK, 28-29 June 1999.
27. Publicity / Z User Group Meeting / ProCoS Workshop chair, FM'99 World Congress on Formal Methods, The World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, 20-24 September 1999.
28. ISFST-99: International Symposium on Future Software Technology, Nanjing, China, 27-29 October 1999. See programme committee.
29. ITiCSE Working Group on Support for Teaching and Learning Formal Methods. Advisory Board Member. ITiCSE 2000: Conference on Innovation and Technology in Computer Science Education, Helsinki, Finland, 10-14 July 2000. See Working Documents and Contributions.
30. ZB2000: 1st International Conference of B and Z Users, York, UK, 29 August - 2 September 2000.
31. ICFEM 2000: 3rd IEEE International Conference on Formal Engineering Methods, York, UK, 4-7 September 2000.
32. Special Issue on "Dependable Computing": Theoretical Computer Science, September 2000.
33. APAQS 2000: 1st Asia-Pacific Conference on Quality Software, Hong Kong, 30-31 October 2000.
34. IFM2000: Integrated Formal Methods Workshop, Schloss Dagstuhl, Germany, 1-3 November 2000.
35. Special session on Formal Methods for Engineering Special-Purpose Parallel Systems in conjunction with ICECS2K: IEEE International Conference on Electronics, Circuits & Systems, Kaslik, Lebanon, 17-20 December 2000.
36. PVS01: Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001.
37. ICECCS 2001: International Conference on Engineering of Complex Computer Systems, Skövde, Sweden, 11-13 June 2001.
38. IEEE 1st International Workshop on Safety-Critical Electronic Components and Systems, Austin, Texas, USA, 29-31 August 2001.
39. COMPSAC 2001: 25th IEEE Annual International Computer Software and Applications Conference, Chicago, Illinois, USA, 8-12 October 2001.
40. APAQS 2001: 2nd Asia-Pacific Conference on Quality Software, Hong Kong, 10-11 December 2001.
41. ZB2002: 2nd International Conference of B and Z Users, Grenoble, France, 23-25 January 2002.
42. IFM2002: Integrated Formal Methods International Conference, Turku, Finland, 13-18 May 2002.
43. COMPSAC 2002: 26th IEEE Annual International Computer Software and Applications Conference, Oxford, England, 26-29 August 2002.
44. ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai, China, 21-25 October 2002.
45. ICECCS 2002: 8th IEEE International Conference on Engineering of Complex Computer Systems, Greenbelt, Maryland, USA, 2-4 December 2002.
46. SEW-27: 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 4-6 December 2002.
47. MSE2002: IEEE 4th International Symposium on Multimedia Software Engineering, Newport Beach, California, USA, 11-13 December 2002.
48. BCS-FACS FASec: Formal Aspects of Security, Royal Holloway, University of London, UK, 18-20 December 2002.
49. ZB2003: 3rd International Conference of B and Z Users, Turku, Finland, 4-6 June 2003.
50. FMICS2003: 8th International Workshop on Formal Methods for Industrial Critical Systems, Trondheim, Norway, 5-7 June 2003.
51. UK-Softest 2003: UK Testing Research II Workshop, York, UK, 4-5 September 2003.
52. FM 2003: 12th International Formal Methods Europe Symposium, Pisa, Italy, 8-14 September 2003.
53. ICFEM 2003: 5th International Conference on Formal Engineering Methods, National University of Singapore, 5-7 November 2003.
54. SEW-28: 28th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 3-4 December 2003.
55. MSE 2003: IEEE Multimedia Software Engineering Conference, Taichung, Taiwan, ROC, 10-12 December 2003. Also here.
56. TFM 2003: Teaching Formal Methods: Practice and Experience Workshop, Oxford Brookes University, UK, 12 December 2003.
57. MBT 2004: International Workshop on Model Based Testing, Barcelona, Spain, 27-28 March 2004. (With ETAPS 2004.)
58. IFM 2004: 4th International Conference on Integrated Formal Methods, Canterbury, Kent, UK, 5-7 April 2004.
59. ICTAC 2004: 1st International Colloquium on Theoretical Aspects of Computing, Guiyang, China, 20-24 September 2004.
60. SEFM 2004: 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, 26-30 September 2004.
61. WQATWBA: 1st IEEE Workshop on Quality Assurance and Testing of Web-Based Applications, with IEEE COMPSAC'04 conference, Hong Kong, 28-30 September 2004.
62. ICFEM 2004: 6th International Conference on Formal Engineering Methods, Seattle, USA, 8-12 November 2004.
63. PVS04: Program Verification and Semantics: Further Work, BCS CCS/FACS seminar, Science Museum, London, UK, 2 December 2004.
64. MSE 2004: 6th IEEE International Symposium on Multimedia Software Engineering, Miami, Florida, USA, 13-15 December 2004.
65. BCS-FACS Xmas 2004: The Verified Software Repository, BCS-FACS meeting, BCS offices, London, UK, 21 December 2004.
66. SEW-29: 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 6-7 April 2005.
67. ZB2005: 4th International Conference of B and Z Users, University of Surrey, Guildford, UK, 13-15 April 2005.
68. GC6 FM05 Workshop co-chair: Grand Challenge 6 Workshop on Dependable Systems Evolution, Newcastle-upon-Tyne, UK, 18 July 2005. At FM05 Formal Methods Conference, 18-22 July 2005.
69. EVA 2005 London: Electronic Imaging & the Visual Arts Conference, London, 25-29 July 2005.
70. SEFM 2005: International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 7-9 September 2005.
71. ISoLA 2005: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Loyola College Graduate Center, Columbia, Maryland, USA, 23-24 September 2005.
72. ICTAC05: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, 17-21 October 2005.
73. ICFEM 2005: 7th International Conference on Formal Engineering Methods, Manchester, UK, 1-4 November 2005.
74. IFM 2005: International Workshop on Integrated Formal Methods, Eindhoven, The Netherlands, 30 November - 2 December 2005.
75. ISM 2005: IEEE International Symposium on Multimedia, Irvine, California, USA, 12-14 December 2005.
76. UTP: International Symposium Unifying Theories of Programming, Walworth Castle, Darlington, UK, 5-7 February 2006.
77. SE 2006: 3rd IASTED International Conference on Software Engineering, part of 24th IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 14-16 February 2006.
78. MBT 2006: 2nd Workshop on Model Based Testing, Vienna, Austria, 25-26 March 2006. Satellite workshop of ETAPS 2006.
79. ZUM 2006: 16th International Z User Meeting, Columbia, Maryland, USA, 25 April 2006. (Conference chair.) Part of the 2nd Systems and Software Week, 24-28 April 2006.
80. EVA London 2006: Electronic and Visual Arts, University College London, UK, 24-28 July 2006. (Co-chair.)
81. ICECCS 2006: 11th IEEE International Conference on Engineering of Complex Computer Systems, Stanford University, California, USA, 14-18 August 2006.
82. TAIC PART 2006: Testing Academia & Industrial Conference: Practice And Research Techniques, Cumberland Lodge, Windsor, UK, 29-31 August 2006.
83. ICSOFT 2006: 1st International Conference on Software and Data Technologies, Setúbal, Portugal, 11-14 September 2006.
84. SEFM 2006: International Conference on Software Engineering and Formal Methods, Pune, India, 11-15 September 2006.
85. ICFEM 2006: 8th International Conference on Formal Engineering Methods, Macau, 30 October - 3 November 2006.
86. ICTAC 2006: International Colloquium on Theoretical Aspects of Computing, Tunisia, 20-24 November 2006.
87. TFM 2006: Teaching Formal Methods BCS-FACS Christmas Meeting, London, UK, 15 December 2006.
88. SEW-31: 31st Annual Software Engineering Workshop, Loyola College, Baltimore, Maryland, USA, 6-8 March 2007.
89. MBT 2007: 3rd Workshop on Model-Based Testing, Braga, Portugal, 31 March - 1 April 2007. Satellite workshop of ETAPS 2007.
90. TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, 6-8 June 2007.
91. IFM 2007: International Workshop on Integrated Formal Methods, Oxford, UK, 2-5 July 2007.
92. ICECCS 2007: 12th IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand, 10-14 July 2007.
93. EVA London 2007: Electronic and Visual Arts, London College of Communications, University of the Arts London, UK, 9-13 July 2007. Programme chair.
94. SEFM 2007: International Conference on Software Engineering and Formal Methods, London, UK, 10-14 September 2007. Conference Chair. See also Call for Papers.
95. TAIC PART 2007: Testing Academia & Industrial Conference: Practice And Research Techniques, Cumberland Lodge, Windsor, UK, 12-14 September 2007.
96. ICTAC 2007: International Colloquium on Theoretical Aspects of Computing, Macau, 26-28 September 2007.

• Member of the Event Advisory Board for Heritage365 conferences, 2007
• Member of the Advisory Board for the H-Museum list for museum professionals.
• Ex-member of the IEEE SESC Safety Study Group.
• Corresponding member of the ANSI X3J21 Technical Committee on FDTs (Formal Description Techniques). (Now NCITS and FSLs, Formal Specification Languages.)
• Member of the International B Conference Steering Committee (APCB).
• Former member of the Oxford University Academic Computing Services Committee.
• Workshop organizer at the MDA 7th Annual Conference Information - the Hidden Resource, Edinburgh, Scotland, 6-10 November 1995.
• Invited speaker at ENCRESS'97, 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems, Athens, Greece, 29-30 May 1997.

Society and club membership

• Chair of the Z User Group.
• Freedom of The Worshipful Company of Information Technologists (WCIT), the 100th Livery Company in the City of London, 2001.
• Chair of the British Computer Society (BCS) FACS Specialist Group on Formal Aspects of Computing Science, 2002.
• Fellow of the Royal Society for the encouragement of the Arts, Manufactures and Commerce (RSA), 2002.
• Fellow of the British Computer Society, 2004.
• Member of the ACM, 1994.
• Member of the IEEE, 2004; affiliated to the IEEE Computer Society.
• Member of the BCS Computer Conservation Society (CCS).
• Member of Formal Methods Europe (FME).
• Member of the European FP5 CoLogNET Network of Excellence in Computational Logic.
• Associate member of Leander Club.

• Former individual member of the ESPRIT CompuLog NET.
• Former member of the Safety-Critical Systems Club (SCSC).
• Former member of EUROMICRO.

Other activities

• Winner of the 1994 IEE Charles Babbage Premium award for Safety-Critical Systems, Formal Methods and Standards.
• Co-editor of special issue on Z for the Information and Software Technology journal, May 1995.
• Co-editor of special issue on Engineering Complex Systems for The Computer Journal, 38(4), 1995.
• Guest editor of two special issues on Museums and the Internet for Museum International, nos 204 & 205, 1999-2000. Published in English, French, Spanish, Russian and Arabic.

See Expertise Record from COS.

Personal

Education, employment and affiliations:

• Dragon School, Oxford (1964-1969)
• Bryanston School, Blandford Forum, Dorset (1969-1973)
• Oxford Instruments (1974)
• University College, Oxford, reading Engineering Science (1974-1977)
• Marconi Instruments (now IFR), ATE (Automatic Test Equipment) section, St. Albans (1977-1979)
• Logica, London (1979)
• Research Assistant, Imperial College, London (1979-1985)
• Visitor, Silicon Graphics, Mountain View, California, USA (1984 & 1985)
• Research Officer / Senior Research Officer, Oxford University Computing Laboratory (1985-1995)
• Temporary Member of Common Room, Wolfson College, Oxford (1986-1989)
• Lecturer, Department of Computer Science, The University of Reading (1995-2000)
• Visiting Research Fellow, UNU/IIST, Macau (1999)
• Professor, Faculty of BCIM, London South Bank University (2000 onwards, Visiting Professor from 2006)
• Visiting academic, Department of Computer Science, University College London (2006-2007)

See also:

• Business card (www.jpbowen.com)
• Entry in Wikipedia
• Museums and rowing including the River and Rowing Museum at Henley-on-Thames
• The Virtual Museum of Computing
• Early programming using Babbage's Difference Engine
• Children's stories, poems, pictures and sounds
• Publishers
• Drawings
• Humpry Bowen, father (1929-2001) and Edmund Bowen, grandfather (1889-1981)
• John Arthur Williams, grandfather (1895-1996): 100 years old on 25th February 1995
• University College barge, Henley Royal Regatta, 3rd July 1996
• The Oxcentrics jazz band
• User Profile on LinkedIn
• My Persistent URL (PURL)
• Yahoo profile
• Internet Trash site (alternative)
• WebSpawner site
• Message board hosted by HostedScripts.com
• Profile on Ecademy
• Jonathan Bowen links from Searchmole
• Business Networking Page on Ryze
• People Link entry from PLINK
• Jonathan Bowen Professor Jonathan Bowen entries under DEVLIB.org Programming Resources
• Countries visited from World66

My birthday is 14th March.

Jonathan Bowen

(last updated 8 October 2009)