Matthew L Daggitt

Heriot-Watt University

  • Joined September 2021

Names

Matthew L Daggitt (Preferred)
,
Matthew L. Daggitt

Emails

****@gmail.com (Confirmed)

Personal Links

Education & Career 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