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

Contributions

SPLASH 2015Committee Member in Organizing Committee within the Demos-track
Show activities from other conferences

SPLASH 2015-profile
View general profile