The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      





 Ian J. Hayes

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; fault-tolerant systems; concurrent systems.

Research projects

  • Generation and analysis of fault-tolerant real-time systems
  • Real-time specification and refinement
  • Timing path analysis of real-time programs
  • Refinement to logic programs
  • Program refinement tool

Publications

Quick links to some publications

Last updated: Wed 7 Sep 2011 08:44:23 BST

© 2002-2013 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B

This is a personal web area hosted on a University of Queensland web server.
Please be advised that this web page is not officially endorsed by The University of Queensland.
The University accepts no responsibility or liability for the contents of this area.

Last Updated: 7 September, 2011, 5:44pm