
Registered user since Wed 17 Jun 2015
Name:Caterina Urban
Bio:
I am a postdoctoral researcher at the Chair of Programming Methodology, lead by Peter Müller in the Department of Computer Science of ETH Zurich in Switzerland. I completed my Ph.D. in Computer Science, working under the joint supervision of Patrick Cousot and Radhia Cousot and Antoine Miné, in the Static Analysis by Abstract Interpretation research group at the École Normale Supérieure in Paris. I hold a Bachelor’s degree and a Master’s degree in Computer Science, both received with full marks and honors (summa cum laude) from the University of Udine in Italy.
Affiliation:ETH Zurich, Switzerland
Personal website: http://people.inf.ethz.ch/caurban/
Research interests:Static Analysis, Verification, Abstract Interpretation, Liveness Properties
Contributions
2016
POPL 2016-profile
View general profile
View general profile