Caterina Urban



🎉 Next February I will join INRIA Paris as a
Research Scientist (Chargé de Recherche)!

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

My research interests span the whole spectrum of formal methods and aim at developing methods and tools to enhance the reliability of computer software and understanding complex software systems. My main area of expertise is static analysis based on abstract interpretation, which provides rigorous mathematical guarantees of the behavior of computer programs. During my doctoral studies, I worked on proving termination and other liveness properties of programs. I am currently engaged in a long-term research effort to enhance the reliability of data science software, which nowadays plays an increasingly important role in critical decision making in fields such as finance and medicine. Check out the Lyra project.


  1. 👥 I am a member of the VMCAI 2019 program committee.

  2. 📄 Our paper “Abstract Interpretation of CTL Properties
    is accepted to SAS 2018!

  3. 👥 I am a member of the POPL 2019 artifact evaluation committee.

  4. 📄 Our papers “MaxSMT-Based Type Inference for Python 3” and “Permission Inference for Array Programs
    are accepted to CAV 2018!

  5. 👥 I am a member of the program committee of CAV 2018, HCVS 2018, AVoCS 2018, EMSOFT 2018, WST 2018, SAS 2018, and iFM 2018.