Caterina Urban

Registered user since Wed 28 Jan 2015

Name: Caterina Urban

Affiliation: École Normale Supérieure

Personal website: http://www.di.ens.fr/~urban

Research interests: Static Analysis, Abstract Interpretation, Liveness Properties

SPLASH 2015 Activities

SPLASH 2015-profile
View general profile