Mark Reynolds is the head of the School of Physics, Mathematics and Computing. His research interests include artificial intelligence, Machine Learning, Logic, Formal methods in Software Engineering and Optimisation. Projects include the ARC Training Centre for Transforming Maintenance through Data Science, investigations of the use of artificial intelligence and Video Analytics in Intelligent Transport Systems, Projects in the use of logic and formal methods for ensuring correctness of complex systems. Mark is a Chief Investigator in Theme ResearchTheme 3. He is also supporting the Centre as an Academic Mentor for PhD students. | 