You are here: Home > User account >


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.

Mark lectured in the Department of Computer Science at UWA in 1988 and 1989. From 1990 until 1995 he worked as a Research Assistant then Research Fellow on various United Kingdom 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 Computer Science and Software Engineering 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.