Academic Staff information    

Prof Mark Reynolds   BSc(Hons) UWA, Dip.Ed. UWA, PhD London  Associate Professor

Mark Reynolds obtained his first degree at The University of Western Australia (UWA) in Pure Mathematics and Statistics in 1984, his PhD at Imperial College London (IC) in Logic Programming in 1988 and a Diploma in Education from UWA in 1988. He lectured in the Department of Computer Science at UWA in 1988 and 1989. From 1990 until 1995 he worked as Research Assistant then Research Fellow on various UK and European Research Council funded projects on temporal logic, coordination programming and specification of safety-critical systems. In July 1995, he became a lecturer at Kings College London and in July 1998, he moved to Murdoch University. After rejoining the CSSE school at UWA as an Associate Professor in 2004, he became a Professor in 2009. His main research interests are in the use of temporal logic and related formal methods in software engineering and he is one of the authors of a two-volume major research monograph on the mathematical foundations and computational aspects of Temporal Logic.

Contact details:

	Prof Mark Reynolds School of Computer Science & Software Engineering The University of Western Australia M002, 35 Stirling Highway Crawley, Western Australia, 6009
	+61 8 6488 2279
	+61 8 6488 1089
	E-Mail:
	Homepage: http://people.csse.uwa.edu.au/mark