• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth


  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
If you made any changes in Pure these will be visible here soon.

Personal profile

Roles and responsibilities

Head of School


Mark Reynolds obtained his Bachelors degree at The University of Western Australia (UWA) with honours in Pure Mathematics and Statistics, his PhD at Imperial College London (IC) in Computing and a Diploma in Education from UWA. After lecturing at Kings College London, he moved back to Perth and then to UWA as an Associate Professor. He is currently the head of the School of Physics, Mathematics and Computing. His research interests include AI, Machine Learning, Logic, Formal methods in Software Engineering and Optimisation.

Funding overview

Over $10M in funding over the last ten years for a variety of industry, ARC and CRC funded projects. Projects include the ARC Training Centre for Transforming Maintenance through Data Science, investigations of the use of AI and Video Analytics in Intelligent Transport Systems, Projects in the use of logic and formal methods for ensuring correctness of complex systems.

Teaching overview


Developed and taught courses in Software Engineering, Computational Modelling, Machine Learning, Human-Computer Interaction, Logic and Computation, Computational Geometry and Introductory Programming.

24 PhD Students (12 completed), 30 Masters students and 10 honour students

Research expertise keywords

  • Artificial intelligence
  • Automated reasoning
  • Formal methods in software
  • Formal specification and verification of concurrent systems
  • Logic
  • Logical foundations of computer science
  • Modal/temporal logic
  • Reasoning about agent interaction and collaboration
  • Software engineering
  • Verification of systems


Dive into the research topics where Mark Reynolds is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or