Scholar
Caterina Urban
Google Scholar ID: 4-u1_HIAAAAJ
Inria & École Normale Supérieure | Université PSL, Paris, France
Program Analysis
Abstract Interpretation
Programming Languages
Machine Learning
Data Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
972
H-index
16
i10-index
21
Publications
20
Co-authors
29
list available
Publications
3 items
A proof-theoretic approach to abstract interpretation
2026
Cited
0
Faster Verified Explanations for Neural Networks
2025
Cited
0
On Using Certified Training towards Empirical Robustness
arXiv.org · 2024
Cited
0
Co-authors
11 total
Peter Müller
ETH Zurich
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Vijay D'Silva
Google Inc.
Fuyuan Zhang
MPI-SWS
Valentin Wüstholz
Diligence Security
Maria Christakis
Professor @ TU Wien Informatics
Arie Gurfinkel
University of Waterloo
Pavle Subotic
Formal Labs
