Skip to main content

Jonathan Lawrence

Personal photo - Jonathan Lawrence

Jonathan Lawrence

Doctoral Student

Leaving date: 19th May 2021

Projects:

    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.

    Supervisors