Skip to main content

Jonathan Lawrence

Personal photo - Jonathan Lawrence

Jonathan Lawrence

Doctoral Student

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.

Supervisors