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.
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
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-63Research output: Chapter in Book/Conference paper › Conference paper
Probabilistic Reasoning
Calculi
Possible Worlds
Sound
Multi-agent Systems
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., 2019, (Accepted/In press) 2019 IEEE Winter Conference on Applications of Computer Vision. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2038–2047 10 p.Research output: Chapter in Book/Conference paper › Conference paper
Quantum algorithm for visual tracking
Yu, C. H., Gao, F., Liu, C., Huynh, D., Reynolds, M. & Wang, J., 2019, In : Physical Review A (Atomic, Molecular and Optical Physics). 99, 2, 022301.Research output: Contribution to journal › Article
optical tracking
computer vision
classifiers
ridges
regression analysis
A comparative study of decision diagrams for real-time model checking
Al-Bataineh, O., Reynolds, M. & Rosenblum, D., 1 Jan 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Austria: Springer-Verlag Wien, p. 216-234 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).Research output: Chapter in Book/Conference paper › Conference paper
Decision Diagrams
Model checking
Model Checking
Comparative Study
Real-time
Projects 2004 2023
ARC Training Centre for Transforming Maintenance through Data Science
Small, M., Hodkiewicz, M., Reynolds, M., Liu, W., While, R., French, T., Cripps, E., Cardell-Oliver, R., Rohl, A., Loxton, R., O'Halloran, K., Tan, T. & Calo, V.
Curtin University of Technology
1/01/19 → 31/12/23
Project: Research
Enhanced short and longer term network performance prediction capabilities through data-driven analytics and simulation
Biermann, S., Sun, Y., Liu, W., Reynolds, M. & Olaru, D.
1/07/17 → 30/06/20
Project: Research
Planning intermodal and general logistics infrastructure for the future needs of Perth
Biermann, S., Bergey, P., Cardell-Oliver, R., Reynolds, M. & Standing, C.
1/07/17 → 30/09/19
Project: Research
Microgrid Architectures for Efficient Use of Renewable Energy Sources
Fernando, T., Iu, H., Reynolds, M. & Wong, K.
1/01/17 → 31/12/19
Project: Research