Ian J. Hayes

Professor
School of Electrical Engineering and Computer Science
The University of Queensland
Queensland 4072 AUSTRALIA

Email: Ian.Hayes with domain uq dot edu dot au (No commercial messages are wanted)
Room: General Purpose South 78-428

Research interests

Software engineering; formal specification of computing systems; software development based on mathematical principles; verifying compiler optimisations; concurrent systems; real-time systems; language-based security.

Research projects

• Verifying GraalVM compiler optimisations
• Understanding concurrent programs using rely-guarantee thinking

Publications

• All Publications
• Books
• Journal Articles
• Book Chapters
• Conference Papers
• Conference Proceedings
• Technical Reports
• PhD Thesis

Quick links to some publications

• Specification Case Studies Book

Last updated: Sun 26 Jul 2026 10:24:18 AEST