Associate Professor Mark Utting

Associate Professor in Software Eng

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
m.utting@uq.edu.au
+61 7 336 53310

Overview

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.

Research Interests

  • Software Verification
    Using automated and interactive theorem proving and static analysis tools to verify the correctness of software.
  • AI for Testing
    Using machine learning and model-based testing to partially automate the design and execution of software test suites.

Qualifications

  • Doctor of Philosophy, University of New South Wales

Available Projects

  • These two $40K PhD scholarships are part of a new project funded by Oracle Labs Australia to model and verify sophisticated compiler optimisations in the Graal Java compiler. Graal is a high-performance polyglot virtual machine (VM) that not only supports JVM-based languages such as Java, Scala, Kotlin and Groovy, and LLVM-based languages like C and C++, but also more dynamic languages like Python and JavaScript. This research project focuses on verifying optimization passes of the Graal compiler, using the Isabelle interactive theorem prover.

View all Available Projects

Possible Research Projects

Note for students: The possible research projects listed on this page may not be comprehensive or up to date. Always feel free to contact the staff for more information, and also with your own research ideas.

  • These two $40K PhD scholarships are part of a new project funded by Oracle Labs Australia to model and verify sophisticated compiler optimisations in the Graal Java compiler. Graal is a high-performance polyglot virtual machine (VM) that not only supports JVM-based languages such as Java, Scala, Kotlin and Groovy, and LLVM-based languages like C and C++, but also more dynamic languages like Python and JavaScript. This research project focuses on verifying optimization passes of the Graal compiler, using the Isabelle interactive theorem prover.