Research output per year
Research output per year
Professor, BSc DipEd W.Aust., PhD Lond.
The University of Western Australia (M002), 35 Stirling Highway,
6009 Perth
Australia
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.
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.
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 output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Conference paper › Conference paper › peer-review
Research output: Contribution to journal › Review article › peer-review
Sun, C., Reynolds, M. & Biermann, S.
1/11/21 → 30/06/23
Project: Research
Silva, D., Reynolds, M., Huynh, D. & Zawierta, M.
1/07/19 → 30/06/22
Project: Research
Rohl, A., Small, M., Hodkiewicz, M., Loxton, R., O'Halloran, K., Tan, T., Calo, V., Reynolds, M., Liu, W., While, R., French, T., Cripps, E. & Cardell-Oliver, R.
1/01/19 → 31/12/23
Project: Research
Wen, Z., Hong, J. & Reynolds, M.
Defence Science and Technology Group
10/08/20 → 3/08/21
Project: Research
Sun, C., French, T., Hu, Y., While, R., Reynolds, M. & Biermann, S.
1/11/19 → 31/08/20
Project: Research