Research output per year
Research output per year
Personal profile
Roles and responsibilities
Head of School
Biography
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
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research expertise keywords
- 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
Dive into the research topics where Mark Reynolds is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Machine learning pipeline for blood culture outcome prediction using Sysmex XN-2000 blood sample results in Western Australia
McFadden, B. R., Inglis, T. J. J. & Reynolds, M., Dec 2023, In: BMC Infectious Diseases. 23, 1, 552.Research output: Contribution to journal › Article › peer-review
Open Access -
Top-k Socio-Spatial Co-engaged Location Selection for Social Users
Haldar, N. A. H., Li, J., Ali, M. E., Cai, T., Chen, Y., Sellis, T. & Reynolds, M., 1 May 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 5, p. 5325-5340 16 p.Research output: Contribution to journal › Article › peer-review
6 Citations (Scopus) -
A Visual Data Storytelling Framework
Zhang, Y., Reynolds, M., Lugmayr, A., Damjanov, K. & Hassan, G. M., Dec 2022, In: Informatics. 9, 4, 22 p., 73.Research output: Contribution to journal › Article › peer-review
Open Access -
Deep learning methods for enhancing cone-beam CT image quality toward adaptive radiation therapy: A systematic review
Rusanov, B., Hassan, G. M., Reynolds, M., Sabet, M., Kendrick, J., Rowshanfarzad, P. & Ebert, M., Sept 2022, In: Medical Physics. 49, 9, p. 6019-6054 36 p.Research output: Contribution to journal › Review article › peer-review
Open Access14 Citations (Scopus) -
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints
Rosenberg, M., Reynolds, M., French, T. & While, L., 2022, 2022 IEEE Congress on Evolutionary Computation, CEC 2022 - Conference Proceedings. IEEE, Institute of Electrical and Electronics Engineers, (2022 IEEE Congress on Evolutionary Computation, CEC 2022 - Conference Proceedings).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
-
ARC Training Centre for Transforming Maintenance through Data Science
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
-
Real Time Model for Estimating Delays at Traffic Signals
Sun, C., Reynolds, M. & Biermann, S.
1/11/21 → 30/06/23
Project: Research
-
Methods for Identifying Anomalies in Real-Time Maritime Traffic Data
Wen, Z., Hong, J. & Reynolds, M.
Defence Science and Technology Group
10/08/20 → 3/08/21
Project: Research
-
Multi-Objective Genetic Algorithm Optimisation For Network Widening and Maintenance Scheduling
Sun, C., French, T., Hu, Y., While, R., Reynolds, M. & Biermann, S.
1/11/19 → 31/08/20
Project: Research
Prizes
-
Journal of Informatics Editor's Choice
Zhang, Yangjinbo (Recipient), Reynolds, Mark (Recipient), Lugmayr, Artur (Recipient), Damjanov, Katarina (Recipient) & Hassan, Ghulam Mubashar (Recipient), Aug 2023
Prize: Award
Press/Media
-
University of Western Australia Celebrates 10 Years With the Matariki Network of Universities
Mark Reynolds, Ryan Lowe & Erika Techera
22/02/21
1 item of Media coverage
Press/Media: Press / Media