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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
29 total
Co-author 1
Peter Müller
ETH Zurich
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Vijay D'Silva
Google Inc.
Co-author 5
Fuyuan Zhang
MPI-SWS
Valentin Wüstholz
Diligence Security
Maria Christakis
Professor @ TU Wien Informatics
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up