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
Quick links to some publications
Last updated: Sat 17 Aug 2024 12:25:55 CEST