Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
About
Faculties, schools, institutes and centres​
Strategic initiatives and projects
Strategic initiatives and projects
Office of 2032 Games Engagement
Office of 2032 Games Engagement
Strategy and governance
Our impact
Our experts
Our experts
Sport, health and inclusion
A better future for our environment
Economy of the future
Connecting people and places
The Queensland Commitment
University projects
University projects
Avalon Theatre restoration
Student residence complex
UQ Experts
Academic calendar
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ home
About
UQ Experts
Automatic Invariant Discovery Assistant (AIDA)
Automatic Invariant Discovery Assistant (AIDA) (2021)
Experts
Associate Professor Mark Utting
Associate Professor in Software Eng
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Mark Utting
