Matthew L. Daggitt
Scholar

Matthew L. Daggitt

Google Scholar ID: eFO2mFoAAAAJ
Lecturer, University of Western Australia
Network protocolsFormal verificationMachine learning
Google Scholar↗
Citations & Impact
All-time
Citations
376
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
36
list available
Contact
No contact links provided.
Publications
1 items
Neural Network Verification is a Programming Language Challenge
2025
Cited
0
Resume (English only)
Co-authors
36 total
Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Co-author 2
Co-author 2
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Marco Casadio
Marco Casadio
Phd, Heriot-Watt University
Luca Arnaboldi
Luca Arnaboldi
Assistant Professor, University of Birmingham
Co-author 6
Co-author 6
Omri Isac
Omri Isac
The Hebrew University of Jerusalem
Robert Atkey
Robert Atkey
University of Strathclyde