AST 2023
Mon 15 - Tue 16 May 2023 Melbourne, Australia
co-located with ICSE 2023
Mark Utting

Registered user since Wed 10 Feb 2021

Name:Mark Utting
Bio:

Associate Professor Mark Utting’s research interests include software correctness, model-based testing, and machine learning. 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, verification techniques for object-oriented and real-time software, and language design for parallel computing.

Country:Australia
Affiliation:The University of Queensland
Research interests:Software verification, theorem proving, software correctness, model-based testing, AI for testing

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile