NASA Formal Methods 2024 (series) / Caterina Urban
![Caterina Urban](https://conf.researchr.org/getProfileImage/caterinaurban/c5791a2c-8d36-495e-aaa9-ab1bac52d384/small.jpg?1719000360000)
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 2024-profile
View general profile
View general profile