Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
UQ Cyber
Home
About
About
Message from the Director
Our people
Extra curricular student societies
News
Media activity
Facilities
Research
Research
Research topics
Research projects
Seed funding program
Study
Study
Bachelor of Computer Science (Cyber Security)
Graduate Certificate in Cyber Security
Graduate Diploma in Cyber Security
Master of Cyber Security
HDR Scholarships
Executive education
Partnership
Events
Contact
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ Cyber
Menu
Home
About
Show About sub-navigation
Message from the Director
Our people
Extra curricular student societies
News
Media activity
Facilities
Research
Show Research sub-navigation
Research topics
Research projects
Seed funding program
Study
Show Study sub-navigation
Bachelor of Computer Science (Cyber Security)
Graduate Certificate in Cyber Security
Graduate Diploma in Cyber Security
Master of Cyber Security
HDR Scholarships
Executive education
Partnership
Events
Contact
Formal Verification Researchers
Emeritus Professor Ian Hayes
Emeritus Professor
School of Electrical Engineering and Computer Science
Associate Professor Mark Utting
Associate Professor in Software Eng
School of Electrical Engineering and Computer Science
