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
-
Monte Carlo in the mechanistic modelling of the FLASH effect: a review
Pikes, G., Dass, J., Gill, S., Ebert, M., Reynolds, M. & Rowshanfarzad, P., 19 Jan 2025, In: Physics in Medicine and Biology. 70, 2, 14 p., 02TR02.Research output: Contribution to journal › Review article › peer-review
Open Access -
Monte Carlo simulations in the optimisation of linac bunker shielding
Pikes, G., Rowshanfarzad, P., Dass, J., Reynolds, M., Ebert, M. & Pfefferlé, D., Jul 2025, In: Nuclear Engineering and Technology. 57, 7, 13 p., 103469.Research output: Contribution to journal › Article › peer-review
Open Access -
Sepsis in silico: definition, development and application of an electronic phenotype for sepsis
Al-Sultani, Z., Inglis, T. J. J., McFadden, B., Thomas, E. & Reynolds, M., 28 Mar 2025, (E-pub ahead of print) In: Journal of Medical Microbiology. 74, 3, p. 1-11 11 p., 001986.Research output: Contribution to journal › Article › peer-review
Open Access -
Tomo-NeRL: tomographic neural representation learning for implicit CT image reconstruction
Tang, X., Tan, B., Guo, Y., Yu, X., Kendrick, J. & Reynolds, M., 10 Jan 2025, 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Cannataro, M., Zheng, H., Gao, L., Cheng, J., de Miranda, J. L., Zumpano, E., Hu, X., Cho, Y.-R. & Park, T. (eds.). IEEE DataPort, p. 2481-2488 8 p. 10822003. (Proceedings - 2024 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
-
Are Graph Embeddings the Panacea?
Sun, Q., Huynh, D. Q., Reynolds, M. & Liu, W., 2024, Advances in Knowledge Discovery and Data Mining - 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Proceedings. Yang, D.-N., Xie, X., Tseng, V. S., Pei, J., Huang, J.-W. & Lin, J.C.-W. (eds.). Springer Science + Business Media, p. 405-417 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14646 LNAI).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
Datasets
-
Additional file 2 of Machine learning pipeline for blood culture outcome prediction using Sysmex XN-2000 blood sample results in Western Australia
McFadden, B. R. (Creator), Inglis, T. (Creator) & Reynolds, M. (Creator), Figshare, 14 Aug 2024
DOI: 10.6084/m9.figshare.26612528.v1, https://springernature.figshare.com/articles/dataset/Additional_file_2_of_Machine_learning_pipeline_for_blood_culture_outcome_prediction_using_Sysmex_XN-2000_blood_sample_results_in_Western_Australia/26612528/1
Dataset
-
Additional file 2 of Machine learning pipeline for blood culture outcome prediction using Sysmex XN-2000 blood sample results in Western Australia
McFadden, B. R. (Creator), Inglis, T. (Creator) & Reynolds, M. (Creator), Figshare, 14 Aug 2024
DOI: 10.6084/m9.figshare.26612528, https://springernature.figshare.com/articles/dataset/Additional_file_2_of_Machine_learning_pipeline_for_blood_culture_outcome_prediction_using_Sysmex_XN-2000_blood_sample_results_in_Western_Australia/26612528
Dataset
-
ARC Training Centre for Transforming Maintenance through Data Science
Rohl, A. (Investigator 01), Small, M. (Investigator 02), Hodkiewicz, M. (Investigator 03), Loxton, R. (Investigator 04), O'Halloran, K. (Investigator 05), Tan, T. (Investigator 06), Calo, V. (Investigator 07), Reynolds, M. (Investigator 08), Liu, W. (Investigator 09), While, R. (Investigator 10), French, T. (Investigator 11), Cripps, E. (Investigator 12), Cardell-Oliver, R. (Investigator 13) & Correa, D. (Investigator 14)
ARC Australian Research Council
1/01/19 → 31/12/25
Project: Research
-
Real Time Model for Estimating Delays at Traffic Signals
Sun, C. (Investigator 01), Reynolds, M. (Investigator 02) & Biermann, S. (Investigator 03)
1/11/21 → 30/06/23
Project: Research
-
Methods for Identifying Anomalies in Real-Time Maritime Traffic Data
Wen, Z. (Investigator 01), Hong, J. (Investigator 02) & Reynolds, M. (Investigator 03)
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. (Investigator 01), French, T. (Investigator 02), Hu, Y. (Investigator 03), While, R. (Investigator 04), Reynolds, M. (Investigator 05) & Biermann, S. (Investigator 06)
1/11/19 → 31/08/20
Project: Research
-
Program 2 Project 37 - Honey pollen assessment - Novel methodologies for pollen detection
Silva, D. (Investigator 01), Reynolds, M. (Investigator 02), Zawierta, M. (Investigator 03), Huynh, D. (Investigator 04) & Tripathi, D. (Investigator 05)
Cooperative Research Centre for Honey Bee Products
1/07/19 → 30/06/22
Project: Research
Prizes
-
Journal of Informatics Editor's Choice
Zhang, Y. (Recipient), Reynolds, M. (Recipient), Lugmayr, A. (Recipient), Damjanov, K. (Recipient) & Hassan, G. M. (Recipient), Aug 2023
Prize: Award
Press/Media
-
University of Western Australia Celebrates 10 Years With the Matariki Network of Universities
Reynolds, M., Lowe, R. & Techera, E.
22/02/21
1 item of Media coverage
Press/Media: Press / Media