Projects per year
Personal profile
Roles and responsibilities
Head of School
Biography
Mark Reynolds obtained his first degree at The University of Western Australia (UWA) in Pure Mathematics and Statistics in 1984, his PhD at Imperial College London (IC) in Logic Programming in 1988 and a Diploma in Education from UWA in 1988. Mark lectured in the Department of Computer Science at UWA in 1988 and 1989. From 1990 until 1995 he worked as a Research Assistant then Research Fellow on various United Kingdom and European Research Council funded projects on temporal logic, coordination programming and specification of safety-critical systems. In July 1995, he became a lecturer at Kings College London and in July 1998, he moved to Murdoch University. After rejoining the Computer Science and Software Engineering school at UWA as an Associate Professor in 2004, he became a Professor in 2009, where he is currently the head. 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
Temporal Logic
Mathematics
Electric power distribution
Engineering & Materials Science
Theorem proving
Engineering & Materials Science
Acoustic waves
Engineering & Materials Science
Model checking
Engineering & Materials Science
Tableau
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2004 2020
Using Big Data to Predict Incidents on Roads
Sun, Y., Liu, W., Reynolds, M. & Stemler, T.
1/10/18 → 31/03/19
Project: Research
Assessment of feasibility and benefits of video analytics as applied to video footage from existing Main Roads WA cameras
Reynolds, M., Huynh, D., Liu, C. & Sun, Y.
1/01/18 → 31/12/18
Project: Research
Planning intermodal and general logistics infrastructure for the future needs of Perth
Biermann, S., Bergey, P., Cardell-Oliver, R. & Reynolds, M.
1/07/17 → 30/09/19
Project: Research
Enhanced short and longer term network performance prediction capabilities through data-driven analytics and simulation
Biermann, S., Liu, W., Olaru, D., Reynolds, M. & Sun, Y.
1/07/17 → 30/06/20
Project: Research
Research Output 1985 2018
A supervised learning framework for learning management systems
Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 2018, Proceedings of the First International Conference on Data Science, E-learning and Information Systems. Lara, J. A. (ed.). New York: Association for Computing Machinery (ACM), p. 1-18 18Research output: Chapter in Book/Conference paper › Conference paper
Evidence-driven dubious decision making in online shopping
Tian, Q., Li, J., Chen, L., Deng, K., Li, R. H., Reynolds, M. & Liu, C., 7 Jul 2018, (Accepted/In press) In : World Wide Web. p. 1-17 17 p.Research output: Contribution to journal › Article
Recommender systems
Decision making
Costs
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Hassan, G. & Reynolds, M., 17 Sep 2018, Proceedings GCAI-2018. 4th Global Conference on Artificial Intelligence. Lee, D., Steen, A. & Walsh, T. (eds.). Luxembourg: EasyChair, Vol. 55, p. 81-92 (EPiC Series in Computing)Research output: Chapter in Book/Conference paper › Conference paper
Ores
Genetic algorithms
Scheduling
Supply chains
Iron ores
Multiobjective optimization of ethylene cracking furnace system using self-adaptive multiobjective teaching-learning-based optimization
Yu, K., While, L., Reynolds, M., Wang, X., Liang, J. J., Zhao, L. & Wang, Z., 1 Apr 2018, In : Energy. 148, p. 469-481 13 p.Research output: Contribution to journal › Article
Multiobjective optimization
Ethylene
Teaching
Furnaces
Fuel consumption
Spatial Optimization for the Planning of Sparse Power Distribution Networks
Fletcher, J. R. E., Fernando, T. L., Iu, H., Reynolds, M. & Fani, S., Nov 2018, In : IEEE Transactions on Power Systems. 33, 6, p. 6686-6695 8379446Research output: Contribution to journal › Article
Electric power distribution
Network routing
Planning
Topology
Costs