Mark Reynolds

Mark Reynolds is a Professor and Head of School at the School of Physics, Mathematics and Computing, University of Western Australia (UWA). He holds affiliations with the UWA Oceans Institute, UWA Data Institute, and the School of Social Sciences, Planning and Transport Research Centre. His academic journey includes a Bachelor’s (Hons) in Pure Mathematics and Statistics from UWA, a PhD in Computing from Imperial College London, and a Diploma in Education from UWA. Prior roles include lecturing at King’s College London before returning to UWA as an Associate Professor.

Reynolds’ research focuses on AI, Machine Learning, Formal Methods in Software Engineering, Logic, and Optimization. Key projects include the ARC Training Centre for Transforming Maintenance through Data Science and investigations into AI-driven Intelligent Transport Systems. His work spans over $10M in research funding over a decade, addressing industry, ARC, and CRC projects.

Teaching contributions include courses in Software Engineering, Computational Modelling, Machine Learning, and Logic. He has supervised 24 PhD (12 completed), 30 Masters, and 10 Honour students. Notable awards include the Journal of Informatics Editor's Choice (2023). His research aligns with UN Sustainable Development Goals, particularly in advancing technology solutions for societal challenges.

Recent publications emphasize interdisciplinary applications of AI, including medical physics, transportation optimization, and healthcare informatics. Collaborations span global institutions, reflecting his influence in Temporal Logic, Formal Verification, and Data Science.