Main website search
Saved Courses

Jonathan Bowen

Jonathan Bowen

Professor of Computer Science, Deputy Head of Centre for Software Engineering

Computing, Telecommunications and Networks

Faculty of Technology, Engineering & the Environment

Current Activity

As Professor of Computer Science at Birmingham City University, I aim to help in promoting a research culture ethos in the School of Computing, Telecommunications and Networks.

I am an external examiner on bachelors/masters computer science-related degree programmes at De Montfort University, University of Greenwich, King’s College London, and Kingston University. I undertake quality assurance accreditation and reviews for the Commission for Academic Accreditation (CAA) in the United Arab Emirates (UAE) and the Higher Education Review Unit (HERU) in Bahrain.

Since 2002, I have been Chair of Museophile Limited, an IT consultancy company that has worked in diverse areas from air traffic control software to museums projects.

I am co-editing a book, The Turing Guide, on the Alan Turing, widely seen as the father of computer science, due to be published by Oxford University Press.

Areas of Expertise
  • software engineering
  • formal methods
  • safety-critical systems
  • the Z notation
  • provably correct systems
  • rapid prototyping using logic programming
  • decompilation
  • hardware compilation
  • software/hardware co-design
  • linking semantics
  • software testing
  • history of computing
  • museum informatics
  • virtual communities
Biography

Jonathan Bowen is Professor of Computer Science at Birmingham City University (from 2013), Chairman of Museophile Limited (founded in 2002) and an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000. During 2006–07, he was a visiting academic at University College London. Between 2007 and 2009, he was a Visiting Professor at King's College, London. During 2008–09, he was an Associate at Praxis High Integrity Systems (now Altran). From 2010–12, he was a Visiting Professor at the University of Westminster. In 2012 he was a Visiting Professor at the Pratt Institute in New York, USA, and in 2013 he was a visiting academic at East China Normal University in Shanghai, China.

From 1995 to 2000, Bowen was a lecturer at the Department of Computer Science, University of Reading where he led the Formal Methods and Software Engineering Group. During 1999, Bowen was a Visiting Research Fellow at the United Nations University International Institute for Software Technology (UNU/IIST), Macau. Previously he was a senior researcher at the Oxford University Computing Laboratory Programming Research, 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.

Bowen has been involved with the field of computing in both industry (including Marconi Instruments, Logica, Silicon Graphics Inc., and Praxis) and academia since 1977.

See also Jonathan Bowen's website.

Qualifications

BA Oxon, MA Oxon, Engineering Science, University of Oxford (1977/1981).

Memberships

In 2001, Bowen received the Freedom of The Worshipful Company of Information Technologists, the 100th Livery Company in the City of London, later becoming a Liveryman. In 2002, he was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computer Science and Fellow of the Royal Society for the encouragement of the Arts, Manufactures and Commerce. Bowen became a Fellow of the British Computer Society in 2004 and is now a Life Fellow.

Research

In 1994, Bowen won the IEE Charles Babbage Premium award. During 1993–97, he managed the ESPRIT ProCoS-WG Working Group of 25 European partners on Provably Correct Systems. He has served on over a hundred programme committees. For many years, Bowen was Chair of the Z User Group and a co-chair of the associated meetings and international conferences. He is also Chair of the BCS-FACS Specialist Group on the Formal Aspects of Computing Science and has been a member of the IEEE Computer Society and the ACM.

Bowen is an academic co-editor of Innovations in Systems and Software Engineering: A NASA Journal and has co-edited special issues of journals such as Formal Aspects of Computing. He has co-edited the proceedings of the EVA London conference series on Electronic Visualisation and the Arts since 2006, with a volume of selected revised papers appearing in 2013, published by Springer. In 2012, he co-organized a celebration of Alan Turing’s centenary, Turing’s Worlds, in Oxford.

Jonathan Bowen runs wikis on formal methods (http://formalmethods.wikia.com) and museums (http://museums.wikia.com).

Selected talks

The Industrial Use of Formal Methods: Experiences of an Optimist, at the British Computer Society, London (10/1/2013):

http://www.youtube.com/watch?v=oPJ9Bbltut0

Alan Turing: The Founder of Computer Science, Gresham College, London (31/10/2013):

http://www.youtube.com/watch?v=CsdYtP0W0vw

Publications

Jonathan Bowen has produced over 350 publications, including 25 books/proceedings, which can be found online via the resources below. According to Google Scholar, he has over 5,000 citations and an h-index of 35.

Google Scholar entry:

http://scholar.google.com/citations?user=L-7d2uUAAAAJ

DBLP entry:

http://www.informatik.uni-trier.de/~ley/pers/hd/b/Bowen:Jonathan_P=

Academia.edu entry:

https://bcu.academia.edu/JonathanBowen

Books and proceedings, 2008 to 2013:

  1. Formal Methods and Testing: An Outcome of the FORTEST Network, Rob Hierons (Brunel University), Jonathan P. Bowen and Mark Harman (King's College London) (eds.). Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
  2. EVA London 2008 Conference Proceedings, Stuart Dunn, Suzanne Keene, George Mallen, and Jonathan P. Bowen (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2008. ISBN 978-1-906124-07-6.
  3. Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Egon Börger, Michael Butler, Jonathan P. Bowen, and Paul Boca. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
  4. EVA London 2009 Conference Proceedings, Alan Seal, Suzanne Keene, and Jonathan P. Bowen (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2009. ISBN 978-1-906124-17-5.
  5. Formal Methods: State of the Art and New Directions, Paul Boca, Jonathan P. Bowen and Jawed Siddiqi (Sheffield Hallam University) (eds.). Springer-Verlag, 2010. ISBN 978-1-84882-735-6.
  6. EVA London 2010 Conference Proceedings, Alan Seal, Jonathan P. Bowen, and Kia Ng (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2010. ISBN 978-1-906124-65-6.
  7. EVA London 2011 Conference Proceedings, Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2011. ISBN 978-1-906124-88-5.
  8. EVA London 2012 Conference Proceedings, Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2012. ISBN 978-1-78017-159-3.
  9. EVA London 2013 Conference Proceedings, Kia Ng, Jonathan P. Bowen, and Sarah McDaid (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2013. ISBN 978-1-78017-215-6.
  10. Electronic Visualisation in Arts and Culture, Jonathan P. Bowen, Kia Ng, and Suzanne Keene (eds.). Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.

Other publications, 2008 to 2013:

2013

  1. A Relational Approach to an Algebraic Community: From Paul Erdös to He Jifeng. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu (eds.), Theories of Programming and Formal Methods,Springer-Verlag, LNCS, Volume 8051, pages 54-66, 2013.
  2. Museums and Technology: Being Inclusive Helps Accessibility for All, Eleanor Lisney, Jonathan P. Bowen, Kirsten Hearn, and Maria Zedda. Curator: The Museum Journal, 56(3):353-361, July 2013.
  3. Electronic Visualisation in Chemistry: From Alchemy to Art, Karl Harrison, Jonathan P. Bowen, and Alice M. Bowen. In Kia Ng, Jonathan P. Bowen, and Sarah McDaid (eds.), EVA London 2013 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2013, page 267-274. See also arXiv:1307.6360 [cs.GR], arXiv.org.
  4. Online Communities: Visualization and Formalization. In Cyberpatterns 2013: Proc. Second International Workshop on Cyberpatterns - Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, UK, 8-9 July 2013. Oxford Brookes University, 2013. See also arXiv:1307.6360 [cs.GR], arXiv.org.
  5. Editorial, Jonathan P. Bowen, Michael Butler, Steve Reeves, and Mike Hinchey. Formal Aspects of Computing, 25 (3):343, 2013.
  6. A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer, Peter T. Breuer and Jonathan P. Bowen. In Jan Jürjens, Ben Livshits, and Riccardo Scandariato (eds.), Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Springer-Verlag,LNCS,Security and Cryptology, Volume 7781, pages 123-138, 2013.

2012

  1. Alan Turing. In Andrew Robinson (ed.), The Scientists: An Epic of Discovery. Thames and Hudson, pages 270-275, 2012.
  2. Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience, Stefania Boiano, Jonathan P. Bowen, and Giuliano Gaia. In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 66-73. See also arXiv:1207.3422v1 [cs.HC], arXiv.org.
  3. Visualising Virtual Communities: From Erdös to the Arts, Jonathan P. Bowen and Robin J. Wilson(Pembroke College, Oxford). In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 238-244. See also arXiv:1207.3420v1 [cs.CY], arXiv.org.
  4. Ten Commandments of Formal Methods... Ten Years On, Jonathan P. Bowen and Mike Hinchey. In Mike Hinchey and Lorcan Coyle (eds.), Conquering Complexity. Springer-Verlag, Part 3, pages 237-251, 2012.
  5. Typed Assembler for a RISC Crypto-Processor, Peter T. Breuer and Jonathan P. Bowen. In G. Barthe, B. Livshits, and R. Scandariato (eds.), Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Springer-Verlag, LNCS, Security and Cryptology, Volume 7159, pages 22-29, 2012.
  6. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language, Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, and Shengchao Qin. The Journal of Logic and Algebraic Programming, 81(1):2-25, January 2012. Available online 5 September 2011.

2011

  1. Algebraic Approach to Linking the Semantics of Web Services, Huibiao Zhu (East China Normal University), Jifeng He, Jing Li, and Jonathan P. Bowen.Innovations in Systems and Software Engineering: A NASA Journal, 7(3), 209-224, 2011. Springer-Verlag, published online 7 October 2011.
  2. Creating Online Collaborative Environments for Museums: A case study of a museum wiki, Alison H.-Y. Liu (National Taiwan Normal University, Taiwan) and Jonathan P. Bowen. International Journal of Web Based Communities, 7(4):407-428, 2011. Special issue on Designing Shared Spaces for Collaborative Creativity.
  3. From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community, Jonathan P. Bowen and Steve Reeves. In Michael Butler and Wolfram Schulte (eds.), FM 2011: 17th International Symposium on Formal Methods. Springer-Verlag, LNCS, Volume 6664, pages 308-322, 2011.
  4. Editorial, Egon Börger, Jonathan P. Bowen, Michael Butler, and Michael Poppleton. Applicable Formal Methods. Formal Aspects of Computing, 23(1):1-2, 2011.
  5. Virtual Collaboration and Community, Ann Borda (VeRSI, Australia) and Jonathan P. Bowen. In Information Resources Management Association (ed.), Virtual Communities: Concepts, Methodologies, Tools and Applications, IGI Global, chapter 8.9, pages 2600-2611, 2011.

2010

  1. Formal Requirements Specification, Jonathan P. Bowen, Mike Hinchey, and Emil Vassev. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, Taylor & Francis, 2010, pages 321-332.
  2. Formal Methods, Mike Hinchey, Jonathan P. Bowen, and Emil Vassev. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, Taylor & Francis, 2010, pages 308-320.
  3. Dulwich OnWikipedia, Dulwich OnView, 28 September 2010.
  4. Dulwich OnView goes from Denver to Covent Garden!, Dulwich OnView, 23 July 2010.
  5. Dulwich OnView: An art museum-based virtual community generated by the local community, Ingrid Beazley, Jonathan P. Bowen, Sarah McDaid, and Alison H.-Y. Liu. In Alan Seal, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2010 Conference Proceedings, Electronic Workshops in Computing(eWiC), British Computer Society, 2010, pages 79-86.
  6. A Brief History of Early Museums Online. The Rutherford Journal, 3, 2010.
  7. Linking Denotational Semantics with Operational Semantics for Web Services, Huibiao Zhu (East China Normal University), Jifeng He, Jing Li, Geguang Pu, and Jonathan P. Bowen. Innovations in Systems and Software Engineering: A NASA Journal, 6(4), 283-298, December 2010. Springer-Verlag, published online 30 April 2010.
  8. Can Twitter save Bletchley Park? Sue Black (University of Westminster), Jonathan P. Bowen, and Kelsey Griffin (Bletchley Park Trust). In David Bearman and Jennifer Trant (eds.), MW2010: Museums and the Web 2010, Denver, USA, 9-12 April 2010. Archives & Museum Informatics, 2010. See abstract.
  9. Dulwich OnView: A Museum Blog run by the Community for the Community, Alison H.-Y. Liu (National Taiwan Normal University, Taiwan), Sarah McDaid (London South Bank University), Jonathan P. Bowen, and Ingrid Beazley (Dulwich Picture Gallery). In David Bearman and Jennifer Trant (eds.), MW2010: Museums and the Web 2010, Denver, USA, 9-12 April 2010. Archives & Museum Informatics, 2010. See abstract. Winner in the Best of the WebBest Smal Museum Site" category.

2009

  1. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net, Jonathan P. Bowen and Michael G. Hinchey. In Jean-Raymond Abrial and Uwe Glaesser (eds.), Rigorous Methods for Software Construction and Analysis. Springer-Verlag, LNCS, Volume 5115, pages 219-233, 2009.
  2. PTSC: Probability, Time and Shared-variable Concurrency, Huibiao Zhu (East China Normal University), Shengchao Qin (University of Durham), Jifeng He (East China Normal University), and Jonathan P. Bowen. Innovations in Systems and Software Engineering: A NASA Journal, Springer-Verlag,5(4):271-284, December 2009.
  3. Formal Versus Agile: Survival of the Fittest, Sue Black (University of Westminster), Paul P. Boca (Hornbill Systems), Jonathan P. Bowen, Jason Gorman (Codemanship), and Mike Hinchey (LERO). IEEE Computer, 42(9):37-45, September 2009.
  4. An Interview with C.A.R. Hoare, Len Shustek (editor), Jonathan P. Bowen (interviewer), and C. A. R. Hoare (interviewee). Communications of the ACM, 52(3):38-41, March 2009. See also Oral History of Sir Antony Hoare.
  5. Using Formal Specifications to Support Testing, Robert M. Hierons, Kiril Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, G. Luettgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward and Hussein Zedan. ACM Computing Surveys, 41(2):1-76, February 2009.
  6. Communicating the Public Understanding of Science: The Royal Society Website, Jonathan P. Bowen and Ann Borda (VeRSI, Australia). International Journal of Technology Management 46(1/2):146-164, 2009.

2008

  1. From Algebraic Semantics to Denotational Semantics for Verilog, Huibiao Zhu (East China Normal University), Jifeng He (East China Normal University), and Jonathan P. Bowen. Innovations in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 4(4):341-360, December 2008.
  2. Old Favourite keeps Young Rivals at Bay. Times Higher Education, 27 November 2008. Review of C Programming: A Modern Approach, 2nd edition. K.N. King, W.W. Norton & Company, 2008. Also A Concise Introduction to Image Processing using C++ and Computer Algebra with Symbolic C++.
  3. Software Engineering and Formal Methods, Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria.Communications of the ACM, 51(9):54-59, September 2008.
  4. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Sergiy A. Vilkomir and Jonathan P. Bowen. In Robert M. Hierons, Jonathan P. Bowen, and Mark Harman (eds.), Formal Methods and Testing, Springer-Verlag, LNCS, Volume 4949, pages 240-270, 2008.
  5. Mobile Multimedia: Reflections from Ten Years of Practice, Silvia Filippini-Fantoni (London South Bank University) and Jonathan P. Bowen. In Loïc Tallon and Kevin Walker (eds.), Digital Technologies and the Museum Experience: Handheld Guides and Other Media, pages 79-96. AltaMira Press, 2008.
  6. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis, Phan Cong Vinh and Jonathan P. Bowen. In Marina Gavrilova and C. J. Kenneth Tan (eds.), Transactions on Computational Science I, Springer-Verlag, LNCS, Volume 4750, pages 1-36, June 2008.
  7. Wiki Software and Facilities for Museums, Jonathan P. Bowen. In David Bearman and Jennifer Trant (eds.), MW2008: Museums and the Web 2008, Montreal, Canada, 9-12 April 2008. Archives & Museum Informatics, 2008. See also abstract.
  8. Gender Issues in HCI Design for Web Access, Stefania Boiano (InvisibleStudio, Italy), Ann Borda, Jonathan P. Bowen, Xristine Faulkner, Giuliano Gaia(InvisibleStudio, Italy) and Sarah McDaid. In Felix B. Tan (ed.), Global Information Technologies: Concepts, Methodologies, Tools, and Applications,Chapter 7.20, pages 3175-3202, Information Science Reference, Hershey, USA, 2008. Reprint.