معرفی
Matthew Daggitt is a Lecturer in the Department of Computer Science and Software Engineering at the University of Western Australia (UWA), within the School of Physics, Maths and Computing. He holds a PhD in Computer Science from the University of Cambridge (2019), focusing on algebraic routing theory. Previously, he worked at Curtin University and Heriot-Watt University. His research emphasizes formal verification of software correctness, particularly in neural-symbolic systems and distributed algorithms. He leads the development of Vehicle, a tool for end-to-end verification of hybrid neural-symbolic programs. He also maintains the Agda theorem prover’s standard library and explores computational geology, such as zircon analysis for geological dating.
Education: PhD in Computer Science (University of Cambridge, 2019).
Research Interests: Formal verification, neural networks, automated reasoning, neuro-symbolic systems, distributed algorithms, and routing protocols. His work bridges theoretical foundations with practical tools like Vehicle, enabling rigorous verification of machine learning and classical software integration.
Research Trends: Recent publications focus on neural network verification challenges, geological applications of zircon analysis, and advances in formal methods for AI safety. Collaborations span computer science and geology, reflecting his interdisciplinary approach.
Advising & Projects: Accepts PhD students in formal verification and neural-symbolic systems. Active in open-source projects and tool development.
