Scholar
Matthew L. Daggitt
Google Scholar ID: eFO2mFoAAAAJ
Lecturer, University of Western Australia
Network protocols
Formal verification
Machine learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
455
H-index
9
i10-index
9
Publications
20
Co-authors
36
list available
Publications
2 items
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
2026
Cited
0
Neural Network Verification is a Programming Language Challenge
2025
Cited
0
Co-authors
9 total
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Guy Katz
The Hebrew University of Jerusalem
Marco Casadio
Phd, Heriot-Watt University
Luca Arnaboldi
Assistant Professor, University of Birmingham
Omri Isac
The Hebrew University of Jerusalem
Robert Atkey
University of Strathclyde
Guy Amir
Cornell University
Haoze Wu
Assistant Professor, Amherst College
