Associate Professor Reynolds has worked at the Imperial College and King?s College in London and at Murdoch University. He is now in the School of Computer Science and Software Engineering at the University of Western Australia. 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. Details:

Associate Professor
Ph:08 6488 2279
Fx:08 6488 1089
Email: mark@csse.uwa.edu.au

Professional History

Associate Professor Reynolds has worked at the Imperial College and King?s College in London and at Murdoch University. He is now in the School of Computer Science and Software Engineering at the University of Western Australia. 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.

Research Interests

Mark?s primary research area is Temporal and Modal Logic, including verification, automated reasoning, algorithmic proof techniques, and temporal representation. He also pursues related interests in software engineering and agent systems.

Presentation Availability

Preferred Audience
Secondary Tertiary

Can do presentations about
Logic, reasoning and automated reasoning