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.
Schedule a meeting with me using Calendly
👩🏼🏫 I will be teaching at the 2nd Inria-DFKI European Summer School on Artificial Intelligence (IDESSAI 2022) in Saarbrücken, Germany. You can register from April 11th to May 9th.
👥 I am co-chairing with Gagandeep Singh the 29th Static Analysis Analysis Symposium (SAS 2022) which will be co-located with SPLASH 2022 in Auckland, New Zealand. Follow @symposiumSAS
Looking forward to your paper submissions! The deadline is May 4th, 2022.
👩🏼🏫 I will be teaching at the 13th International School of Rewriting (ISR 2022) in Tbilisi, Georgia. Registration will open in May.
📢 I will give an invited talk at the 11th International Workshop on the State Of the Art in Program Analysis (SOAP 2022) which will be co-located with PLDI 2022 in San Diego, USA. Follow @SOAP_Workshop
👥 I am co-chairing with Xujie Si the SPLASH 2022 Student Research Competition. The submission deadline is July 18th, 2022.
👩🏼💻 I have been developing a Python interface for the APRON numerical abstract domain library. Contributions are welcome!
PhD in Computer Science, 2015
École Normale Supérieure, Paris, France
MSc in Computer Science, 2011
Università degli Studi di Udine, Udine, Italy
BSc in Computer Science, 2009
Università degli Studi di Udine, Udine, Italy
The goal of the FuncTion project was the development of a static analyzer which automatically infers ranking functions and sufficient precondition for program termination (and other liveness properties) by means of abstract interpretation.
The goal of the Libra project is to develop new analyses and tools to reason about and certify fairness of decision-making software.
The Lyra research project is a long-term research effort to enhance the understanding and reliabilty of data science software. It aims ad developing new practical and accessible analyses and tools to reason about and provide rigorous guarantees of the behavior of data analytics, big data, machine learning, and deep learning applications.
Serge Durand
(co-supervised with Zakaria Chihani)
PhD, Université Paris-Saclay, France: Nov 2021 -
Denis Mazzucato
PhD, École Normale Supérieure, France: Oct 2020 -
Ali El Husseini (École Normale Supérieure Paris-Saclay, France)
M2 Internship, École Normale Supérieure Paris-Saclay & École Normale Supérieure, France: Mar - Aug 2022
Python Interface for the APRON Numerical Abstract Domain Library
Abstract Interpretation-based Static Analysis for (Conditional) Termination (and Other CTL Properties)
Perfectly Parallel Abstract Interpretation-based Fairness Certification for Neural Networks
Abstract Interpretation-based Static Analysis for Data Science Applications