NASA Formal Methods 2023 (series) / Caterina Urban
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