School of Computing

Staff Profiles

Professor Ian Hayes

Guest Member of Staff


Prof. Ian J. Hayes has spent several periods at the School of Computing Science and these have resulted in joint publications (including several with Prof. Cliff Jones). He is now pursuing joint research which will result in further papers. Prof. Hayes also gives seminars at the School. He has given keynote presentations at five conferences in the last ten years including: the International Conference on Theoretical Aspects of Computing 2010 and the International Symposium on Unifying Theories of Programming 2006. He also won the best paper (joint with Dr. R. Colvin) at the 7th International Conference on Integrated Formal Methods in 2009.

Prof. Hayes’s interests include: Software engineering; formal specification of computing systems; software development based on mathematical principles; real-time systems; fault-tolerant systems; concurrent systems.

Research projects include:

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

A current list of Professor Ian Hayes’s publications can be found here.

Further details about Prof. Ian Hayes can be found at: