NASA Formal Methods 2023 (series) / Caterina Urban
![Caterina Urban](https://conf.researchr.org/getProfileImage/caterinaurban/0a88c865-925c-44be-b8ee-5cc0ed28f988/small.jpg?1711458377000)
Registered user since Wed 17 Jun 2015
Name:Caterina Urban
Country:France
Affiliation:Inria & École Normale Supérieure | Université PSL
Personal website: https://caterinaurban.github.io
Research interests:Program Analysis, Abstract Interpretation, Programming Languages, Machine Learning, Data Science
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile