Caterina Urban

Registered user since Wed 17 Jun 2015

Name:Caterina Urban
Country:France
Affiliation:INRIA & École Normale Supérieure | Université PSL
Research interests:Program Analysis, Abstract Interpretation, Programming Languages, Machine Learning, Data Science

Contributions

NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
Show activities from other conferences

Using general profile