I am always looking for strong and motivated PhD students and postdocs to work with me on formal verification methods for data science and machine learning software. Contact me if interested!

I am a member of the INRIA research team ANTIQUE (ANalise StaTIQUE). Previously, I was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. I completed my Ph.D. in Computer Science, working under the joint supervision of Radhia Cousot and Antoine Miné at École Normale Supérieure. I hold a Bachelor’s and a Master’s degree in Computer Science, both received with full marks and honors (summa cum laude) from the Università degli Studi di Udine.

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. I am currently engaged in a long-term research effort to enhance the understanding and reliability of data science software, which nowadays plays an increasingly important role in critical decision making in fields such as finance and medicine.

Current Students

• Marco Campion
  Postdoc, Inria & École Normale Supérieure, France: Feb 2023 -

• Serge Durand (co-supervised with Zakaria Chihani)
  PhD, Université Paris-Saclay, France: Nov 2021 -

• Denis Mazzucato
  PhD, École Normale Supérieure, France: Oct 2020 -

• Naïm Moussaoui-Remil (Master Student, École Normale Supérieure de Rennes, France)
  M2 Research Internship, Inria & École Normale Supérieure, France: Mar - Aug 2023

Former Students

• Kevin Pinochet (Master Student, University of Chile, Chile)
  Research Internship, Inria & École Normale Supérieure, France: Jan - Apr 2023
• Abhinandan Pal (Bachelor Student, IIIT Kalyani, India)
  Research Internship, Inria & École Normale Supérieure, France: Nov 2022 - Jan 2023
• Abhinandan Pal (Bachelor Student, IIIT Kalyani, India)
  Research Internship (remote): May - Jul 2022
• Ali El Husseini (École Normale Supérieure Paris-Saclay, France)
  M2 Internship, École Normale Supérieure Paris-Saclay & Inria & École Normale Supérieure, France: Mar - Aug 2022
• Luca Negrini (PhD Student, Università Ca’ Foscari Venezia, Italy)
  Research Internship, Inria & École Normale Supérieure, France: Jan - Apr 2022
• Guruprerana Shabadi (Bachelor Student, École Polytechnique, France)
  L3 Internship, Inria & École Normale Supérieure, France: Jan - Mar 2022
  🥇 Winner of the Global Undergraduate Awards 2022
• Abhinandan Pal (Bachelor Student, IIIT Kalyani, India)
  Research Internship (remote): Dec 2021 - Jan 2022
• Serge Durand (Master Student, École Normale Supérieure Paris-Saclay, France)
  M1 Internship, École Normale Supérieure, France (remote): Jun - Aug 2020
• Marco Zanella (PhD Student, Università degli Studi di Padova, Italy)
  Research Internship, Inria & École Normale Supérieure, France (remote): May - Aug 2020
• Radwa Sherif Abdelbar (Bachelor Student, German University in Cairo, Egypt)
  Bachelor’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2018
• Lowis Engel (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2018
• Madelin Schumacher (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Sep 2017 - Mar 2018
• Samuel Ueltschi (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Mar - Sep 2017
• Mostafa Hassan (Bachelor Student, German University in Cairo, Egypt)
  Bachelor’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2017
• Simon Wehrli (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2017
• Flurin Rindisbacher (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2017
• Severin Münger (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Sep 2016 - Mar 2017
• Nathanaëlle Courant (Bachelor Student, École Normale Supérieure, France)
  L3 Internship, ETH Zurich, Switzerland: Jun - Jul 2016
• Lukas Neukom (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Mar - Sep 2016
• Seraiah Walter (Master Student, ETH Zurich, Switzerland)
  Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2016

Year 2022-2023

• Abstract Interpretation: Application to Verification and Static Analysis
  M2, Master Parisien de Recherche en Informatique (MPRI), Université de Paris, France

Year 2021-2022

• Formal Methods for Machine Learning Pipelines
  4th International Programming Language Implementation Summer School (PLISS 2022), Bertinoro, Italy.
• Formal Methods for Machine Learning
  13th International School of Rewriting (ISR 2022), Tbilisi, Georgia.
• Formal Methods for Machine Learning
  2nd Inria-DFKI European Summer School on Artificial Intelligence (IDESSAI 2022), Saarbrücken, Germany
  Slides
• Abstract Interpretation: Application to Verification and Static Analysis
  M2, Master Parisien de Recherche en Informatique (MPRI), Université de Paris, France

Year 2020-2021

• Abstract Interpretation and Applications Beyond the Beaten Track
  PhD, Doctoral Program in Computer Science, Gran Sasso Science Institute (GSSI), Italy
• Abstract Interpretation: Application to Verification and Static Analysis
  M2, Master Parisien de Recherche en Informatique (MPRI), Université de Paris, France

ApronPy

Python Interface for the APRON Numerical Abstract Domain Library

FuncTion

Abstract Interpretation-based Static Analysis for (Conditional) Termination (and Other CTL Properties)

Libra

Perfectly Parallel Abstract Interpretation-based Fairness Certification for Neural Networks

Lyra

Abstract Interpretation-based Static Analysis for Data Science Applications

Typpete

SMT-based Static Type Inference for Python 3.x

• caterina.urban@inria.fr
• Schedule a Zoom meeting with me using Calendly
• ANTIQUE Research Team
  École Normale Supérieure
  45, rue d'Ulm
  75005 Paris, France