Associate Professor Graeme Smith    Associate Professor

	Biography

Associate Professor Graeme Smith's research interests are in formal methods: mathematical notations for modelling software systems; automated tool-support for analysing such models; and development of software systems from such models.

He received his PhD from the University of Queensland in 1993. Since then he has worked at universities and research institutes in France, Australia and Germany. His past research has focused on the development of the object-oriented formal specification language Object-Z, and its integration with other formal specification languages to facilitate the modelling of concurrent and real-time systems. Currently he is Chief Investigator on an ARC-funded project on the application of formal methods to self-adaptive and self-organising systems.

	Links
	Graeme Smith's home page

	Keywords
	Science and Technology: Software Engineering