Ian J. Hayes

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

Phone: +61 7 3365 2386; Fax: +61 7 3365 4999
Email: Ian.Hayes at itee.uq.edu.au
Room: General Purpose South 78-326

Research interests

Software engineering; formal specification of computing systems; software development based on mathematical principles; real-time systems; concurrent systems.

Research projects

  • Understanding concurrent programs using rely-guarantee thinking
  • Static analysis of concurrent programs

Publications

Quick links to some publications

Last updated: Fri 11 Jul 2014 22:59:57 EST