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

    6009 Perth


  • 657 Citations
  • 15 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.

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


  • 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.

Research Output 1985 2019

A modal aleatoric calculus for probabilistic reasoning

Gozzard, A., French, T. & Reynolds, M., 2019, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Aquil Khan, M. & Manuel, A. (eds.). Berlin: Springer, p. 52-63

Research output: Chapter in Book/Conference paperConference paper

Probabilistic Reasoning
Possible Worlds
Multi-agent Systems

A quest for a one-size-fits-all neural network: Early prediction of students at risk in online courses

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 15 Apr 2019, In : IEEE Transactions on Learning Technologies. 13 p.

Research output: Contribution to journalArticle

neural network
Neural networks

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification

Bartley, C. W., Liu, W. & Reynolds, M., 28 Jan 2019, 33rd AAAI Conference on Artificial Intelligence (AAAI 2019).

Research output: Chapter in Book/Conference paperConference paper

Location-Velocity Attention for Pedestrian Trajectory Prediction

Xue, H., Huynh, D. & Reynolds, M., 4 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2038–2047 10 p. 8659060. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Conference paperConference paper


Quantum algorithm for visual tracking

Yu, C. H., Gao, F., Liu, C., Huynh, D., Reynolds, M. & Wang, J., 2019, In : Physical Review A (Atomic, Molecular and Optical Physics). 99, 2, 022301.

Research output: Contribution to journalArticle

optical tracking
computer vision
regression analysis

Projects 2004 2023