Phone: +61 7 3365 2386
Email: Ian.Hayes with domain uq dot edu dot au (No commercial messages are wanted)
Room: General Purpose South 78-414
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
