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é 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

The focus of my research interests is the improvement of the reliability and quality of software. My main area of expertise is static program analysis, which provides rigorous mathematical guarantees of the behavior of computer programs. I am particularly fond of static analysis methods based on abstract interpretation, a theory for approximating the behavior of programs in a provably sound way.

During my doctoral studies I worked on proving termination and other liveness properties of programs. I am currently working on specification inference to reduce the effort required to formally verify that a program complies with its intended behavior.


  1. My paper “Precise Widening Operators for Proving Termination by Abstract Interpretation” (co-authored with Nathanaël Courant) has been accepted for publication at TACAS 2017!

  2. I am very excited to have been awarded an ETH Career Seed Grant to explore a new ambitious research direction!

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