Generate a tailored SOP for Dr. Matthew Daggitt. Improve your application with a focused, well-structured draft.
Matthew Daggitt obtained his PhD in Computer Science from the University of Cambridge in 2019, specializing in algebraic routing theory. He has previously worked at Curtin University in Western Australia and Heriot-Watt University in Scotland on various projects. In addition to his academic work, Matthew is the chief maintainer of the standard library for the Agda theorem prover and enjoys tackling computational problems related to geology in his spare time. His research interests broadly encompass formal proofs, software correctness, and neural-symbolic programs, with a specific focus on the correctness of machine learning components. In recent years, he has explored the theory of distributed algorithms, network routing protocols, and is currently engaged in developing Vehicle, a tool aimed at end-to-end verification of systems that utilizes neural networks to satisfy logical specifications. Matthew is open to collaboration and encourages those interested in pursuing PhD opportunities in areas related to neural networks and software correctness to reach out.
University of Western Australia • Perth, Australia
Lecturer in Computer Science, specializing in formal verification and neural-symbolic systems.
Requirements are standardized across the Graduate School for most Master by Coursework programs at UWA.