Skip to main content

Jaco Jacobs

Personal photo - Jaco Jacobs

Dr Jaco Jacobs

External

Leaving date: 16th July 2015

Interests

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

Teaching

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.

Biography

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

Activities

Supervisor