معرفی
Matthew L. Daggitt is a researcher at Heriot-Watt University, affiliated with the School of Mathematical and Computer Sciences and the Department of Computer Science. He is actively involved in programming languages and formal methods research, regularly contributing to premier conferences such as POPL, ICFP, and CPP.
His research focuses on applying type theory and formal verification techniques to practical problems in software correctness and AI. Key areas include dependent types, SMT solvers, and specification languages for neural networks. He has explored the use of Agda for large-scale projects and developed type-safe approaches to AI planning.
The recent publications highlight a strong trend toward integrating rigorous formal methods with emerging domains like machine learning and AI planning. His work bridges theoretical foundations with real-world applications, particularly in verifying complex systems through higher-order specifications and constructive compilation techniques.
Scientific Awards:
- No awards listed in the provided text.
Advising and Grants: There is no mention of students or advisees in the provided materials. No grants or funding sources are explicitly referenced, but his active publication record suggests ongoing research support.
Labs and Teams: While not explicitly stated, his work on the Agda standard library and involvement in Vehicle suggest collaboration with research teams focused on formal methods and programming language design, possibly within or associated with Heriot-Watt University.
