Matthew L Daggitt

Postdoc, Heriot-Watt University

  • Joined September 2021

Names

Matthew L Daggitt (Preferred)
,
Matthew L. Daggitt

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Postdoc
Heriot-Watt University (hw.ac.uk)
Present
 

Advisors, Relations & Conflicts

PhD Advisor
Tim Griffin
Present
 
Postdoc Advisor
Present
 

Expertise

Formal verification, neural networks
Present
 
Formal verification, proof assistants
Present
 
Routing protocol theory
Present
 

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview