Caterina Urban



About Me

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.

Research Interests

My research interests span the areas of static program analysis and program verification. I am particuarly fond of formal method based on abstract interpretation. During my Ph.D. I worked on proving termination and other liveness properties of programs. I am currently working on specification inference.


  1. My invited paper “Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer” co-authored with Vijay D’Silva will be presented at IJCAI 2016.

  2. 🇫🇷 I talked about my thesis with Achilles and the Tortoise on Binaire, Le Monde’s blog on Computer Science. [English]

  3. I am a member of the program committee of SAS 2016.

  4. I won an accessit of the Gilles Kahn thesis award 2015.

  5. I won the best paper award at CADE 2015 for my paper “Abstrat Interpretation as Automated Deduction” co-authored with Vijay D’Silva.