Student, Exeter College
+44 (0)1865 610813
Wolfson Building, Parks Road, Oxford OX1 3QD
- Process Algebras
- Z Specification Language
- Formal Methods
- Systems Modelling Language
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 am now pursuing my DPhil working with Andrew Simpson.
A process algebraic approach to decomposition of communicating SysML blocks
J. Jacobs and A. Simpson
In Proceedings of the 2nd International Conference on System Engineering and Modeling (ICSEM 2013). 2013.