Professor Mark Reynolds heads UWA's School of Computer Science and Sorftware Engineering and joint leader of the Faculty Research Group on Real-Time Optimisation, Scheduling and Logistics. The research projects under his direction address the energy and resource sectors' need for efficient operations and the automation of operational control and decision-making.

Mark is chief investigator on research projects using artificial intelligence and formal methods   - such as novel combinations of automata, genetic algorithms, linear programming, model-checking and Markov decision processes -   to ensure correct behavious of complex computer systems to create practical reasoning and computational tools, such as optimising truck despatch through new algorithms and software that are better integrated, with tools for the scheduling of trains, maintenance and other industrial operations.