Mark Reynolds

Associate Professor, BSc DipEd W.Aust., PhD Lond.

Head of School, Faculty of Engineering and Mathematical Sciences, School of Physics, Maths and Computing
Associate Professor, Faculty of Engineering and Mathematical Sciences, Computer Science and Software Engineering

https://orcid.org/0000-0002-5415-0544

Emailmark.reynolds@uwa.edu.au

The University of Western Australia (M002), 35 Stirling Highway,
6009 Perth
Australia

657 Citations
15 h-Index

If you made any changes in Pure these will be visible here soon.

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

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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

1 Similar Profiles

Temporal logic Engineering & Materials Science

Logic Mathematics

Electric power distribution Engineering & Materials Science

Model checking Engineering & Materials Science

Temporal Logic Mathematics

Genetic algorithms Engineering & Materials Science

Theorem proving Engineering & Materials Science

Acoustic waves Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1985 2019

657 Citations
15 h-Index
64 Conference paper
41 Article
7 Edited book/Anthology
7 Chapter
5 More

A modal aleatoric calculus for probabilistic reasoning

Gozzard, A., French, T. & Reynolds, M., 2019, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Aquil Khan, M. & Manuel, A. (eds.). Berlin: Springer, p. 52-63

Research output: Chapter in Book/Conference paper › Conference paper

Probabilistic Reasoning

Calculi

Possible Worlds

Sound

Multi-agent Systems

A quest for a one-size-fits-all neural network: Early prediction of students at risk in online courses

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 15 Apr 2019, In : IEEE Transactions on Learning Technologies. 13 p.

Research output: Contribution to journal › Article

neural network

Students

Neural networks

student

learning

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification

Bartley, C. W., Liu, W. & Reynolds, M., 28 Jan 2019, 33rd AAAI Conference on Artificial Intelligence (AAAI 2019).

Research output: Chapter in Book/Conference paper › Conference paper

Location-Velocity Attention for Pedestrian Trajectory Prediction

Xue, H., Huynh, D. & Reynolds, M., 4 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2038–2047 10 p. 8659060. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Conference paper › Conference paper

Trajectories