Mark Utting

https://researchers.uq.edu.au/researcher/26046 [email protected]

The University of Queensland Research interests: software verification; theorem proving; model-based testing; language design; blockchain