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: ianh@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

All Publications
Books
Journal Articles
Book Chapters
Conference Papers
Conference Proceedings
Technical Reports
PhD Thesis

Quick links to some publications

Specification Case Studies Book

Last updated: Thu Apr 19 10:01:01 EST 2007