Professor Ian Hayes    Chair in CSEE

	Biography

Software Engineering. Ian's research interests are in formal methods for software development, particularly for real-time systems.

He is currently the head of the Systems and Software Engineering Division.

	Links
	Ian's personal web page.

	Keywords
	Science and Technology: Software Engineering, Science and Technology: Computer Software