Ian J. Hayes

School of Information Technology and Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA

Phone: +61 7 3365 1626
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; real-time systems; concurrent systems; language-based security.

Research projects

  • Understanding concurrent programs using rely-guarantee thinking
  • An extensible framework for analysis of Java language-based security conformance


Quick links to some publications

Last updated: Wed 3 Jan 2024 17:12:52 AEDT