Caterina Urban
INRIA & École Normale Supérieure | Université PSL, Paris, France
My area of research revolves around the field of formal methods. In particular, my main area of expertise is Abstract Interpretation which provides a strong mathematical framework for approximating undecidable or highly complex problems. I am also interested in foundational aspects of computation, with particular attention to the relation between intensional and extensional properties of code. Research topics: Static Program Analysis Abstract Interpretation Program Verification Computability and Formal Lang
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis . In 51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi. A Formal Framework to Measure the Incompleteness of Abstract Interpretations. In 30th Static Analysis Symposium (SAS 2023) Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. On the Properties of Partial Completeness in Abstract Interpreta
Caterina Urban