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

    6009 Perth

    Australia

  • 787 Citations
  • 15 h-Index
1985 …2020
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 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

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 18

Research output: Chapter in Book/Conference paperConference 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 journalArticle

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 paperConference paper

Ores
Genetic algorithms
Scheduling
Supply chains
Iron ores
4 Citations

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 journalArticle

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 8379446

Research output: Contribution to journalArticle

Electric power distribution
Network routing
Planning
Topology
Costs