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

    6009 Perth


  • 626 Citations
  • 14 h-Index
1985 …2023
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.


  • 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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Temporal logic Engineering & Materials Science
Logic Mathematics
Electric power distribution Engineering & Materials Science
Model checking Engineering & Materials Science
Temporal Logic Mathematics
Genetic algorithms Engineering & Materials Science
Theorem proving Engineering & Materials Science
Acoustic waves Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2004 2023

Research Output 1985 2018

A comparative study of decision diagrams for real-time model checking

Al-Bataineh, O., Reynolds, M. & Rosenblum, D., 1 Jan 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Austria: Springer-Verlag Wien, p. 216-234 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Decision Diagrams
Model checking
Model Checking
Comparative Study

A Cooperative Coevolutionary Algorithm for Real-time Underground Mine Scheduling

Cox, W. M. E., French, T., Reynolds, M. & While, R., 2018, Artificial Intelligence, AI 2018, Wellington, New Zealand, December 2018. Springer, p. 410-418

Research output: Chapter in Book/Conference paperConference paper


A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

Gigante, N., Montanari, A., Cialdea Mayer, M., Orlandini, A. & Reynolds, M., Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17

Research output: Chapter in Book/Conference paperConference paper

Open Access

A novel framework for constructing partially monotone rule ensembles

Bartley, C., Liu, W. & Reynolds, M., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1324-1327 4 p. 8509361

Research output: Chapter in Book/Conference paperConference paper

Learning systems

A supervised learning framework for learning management systems

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 2018, Proceedings of the First International Conference on Data Science, E-learning and Information Systems. Lara, J. A. (ed.). New York: Association for Computing Machinery (ACM), p. 1-18 18

Research output: Chapter in Book/Conference paperConference paper