Associate Professor Mark Utting

Researcher biography
Associate Professor Mark Utting's research interests include software verification, model-based testing, theorem proving and automated reasoning, programming language design and implementation. He received his PhD from UNSW on the semantics of object-oriented languages, and since then has worked as an academic at several Queensland universities, as well as Waikato University in NZ and the University of Franche-Comte in France. He is passionate about designing and engineering good software that solves real-world problems, has extensive experience with managing software development projects and teams both in academia and industry, and has worked in industry, developing next generation genomics software and manufacturing software. He is author of the book 'Practical Model-Based Testing: A Tools Approach', as well as more than 80 publications on model-based testing, software verification, and language design and implementation.
Featured projects | Duration |
---|---|
Automated Verification of Ethereum Smart-Contracts (AVESC) UQ Cyber Seed Funding |
2022 |
Verifying GraalVM Optimization Passes | 2020–2026 |
BASIL: Boogie Analysis for Secure Information-Flow Logics | 2022–2024 |
Algorand Centre of Excellence on Sustainability Informatics for the Pacific | 2022–2027 |