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

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile