Jaco Jacobs
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Process Algebras
- Z Specification Language
- Formal Methods
- Systems Modelling Language
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 am now pursuing my DPhil working with Andrew Simpson.
Selected Publications
| 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. |
Info
|
Themes |
|
|
Supervisor |
