Rate My Professor Mark Reynolds

Professor Mark Reynolds serves as Head of the School of Physics, Mathematics and Computing and Professor in the Department of Computer Science and Software Engineering in the Faculty of Engineering and Mathematical Sciences at The University of Western Australia. He earned a Bachelor's degree with honours in Pure Mathematics and Statistics, as well as a Diploma in Education, from The University of Western Australia, and a PhD in Computing from Imperial College London. Reynolds began his academic career as a Lecturer at King's College London before returning to Perth as an Associate Professor at UWA, advancing to his current professorial position and school leadership role.

His research specializations encompass artificial intelligence, machine learning, logic, formal methods in software engineering, optimisation, automated reasoning, formal specification and verification of concurrent systems, logical foundations of computer science, modal and temporal logic, and reasoning about agent interaction and collaboration. Reynolds has produced 175 research outputs, including 59 journal articles, 88 conference papers, 7 edited books or anthologies, 7 book chapters, 4 review articles, and 2 books. He has supervised 24 PhD students (12 completed), 30 Master's students, and 10 Honours students. Over the past ten years, he has attracted more than $10 million in funding from industry, ARC, and CRC sources for projects such as the ARC Training Centre for Transforming Maintenance through Data Science, investigations into AI and video analytics for intelligent transport systems, the ADEPT study on adaptive diagnostics for emerging pandemic threats (NHMRC, 2022–2026), and methods for identifying anomalies in real-time maritime traffic data (Defence Science and Technology Group, 2020–2021). He has developed and taught courses in software engineering, computational modelling, machine learning, human-computer interaction, logic and computation, computational geometry, and introductory programming. Key publications include "Identifying Individual Anchoring Regions by Mining Public Transport Smart Card Data" (with M. Born and R. Cardell-Oliver, 2026, AusDM Proceedings), "DocSpiral: A Platform for Integrated Assistive Document Annotation through Human-in-the-Spiral" (with Q. Sun et al., 2025, ACL System Demonstrations), "Sepsis in silico: definition, development and application of an electronic phenotype for sepsis" (with Z. Al-Sultani et al., 2025, Journal of Medical Microbiology), and "Monte Carlo in the mechanistic modelling of the FLASH effect: a review" (with G. Pikes et al., 2025, Physics in Medicine and Biology). In August 2023, he shared the Journal of Informatics Editor's Choice award. Reynolds is associated with UWA's Oceans Institute, Data Institute, and Defence and Security Institute.