Assistant Professor (Lecturer) at University of Manchester

Formal Methods Engineering Lab: https://manchester-fme.github.io