Jonathan Lawrence
Jonathan Lawrence
Doctoral Student
Student, St Anne's College
E: firstname.lastname@cs.ox.ac.uk
Robert Hooke Building, Parks Road, Oxford OX1 3PR
Interests
I am interested in concurrency and in particular modelling concurrent algorithms in CSP and using FDR for verification.
In the past, I have also worked with other mathematical software engineering notations including Z and B.