Skip to main content

Jaco Jacobs

Personal photo - Jaco Jacobs

Dr Jaco Jacobs


Leaving date: 16th July 2015


I am generally interested in the fusion of formal and semi-formal specification languages. In particular:

  • the specification language Z
  • the process algebra CSP
  • the Systems Modeling Language
  • the Unified Modeling Language


I assist with the teaching on the following courses for the Software Engineering Programme:

In Michaelmas 2013 I was the college tutor at Keble College responsible for tutorials in Object Oriented Programming.


I gained an honours degree in Engineering Sciences from the University of Stellenbosch, South Africa. After a few years in industry I enrolled on the part-time Software Engineering Programme at the Department of Computer Science, University of Oxford and gained an MSc with distinction in 2010. I recently completed my DPhil and now work in the medical device industry at Perspectum Diagnostics.

Selected Publications

View AllManage publications