Research Projects

FuncTion

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.

Libra

The goal of the Libra project is to develop new analyses and tools to reason about and certify fairness of decision-making software.

Lyra

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.

SeDaNo

[…page under construction…]

Recent Publications

More Publications

. Abstract Interpretation-Based Data Leakage Static Analysis. CoRR abs/2211.16073, 2022.

PDF Project arXiv

. Abstract Interpretation-Based Feature Importance for SVMs. CoRR abs/2210.12456, 2022.

PDF Project arXiv

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. In APSEC, 2022.

Project

Recent Talks

More Talks

Interpretability-Aware Verification of Machine Learning Software
Thursday, February 9, 2023 2:00 PM
Data Usage across the Machine Learning Pipeline
Wednesday, July 20, 2022 2:30 PM
Static Analysis for Data Scientists
Friday, July 8, 2022 1:30 PM

Students

Current Students

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

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

  • Kevin Pinochet (Master Student, University of Chile, Chile)
    Research Internship, Inria & École Normale Supérieure, France: Jan 2023 - Apr 2023

  • Orphée Radet (Master Student, École Normale Supérieure de Rennes, France)
    M2 Research Internship, Inria & École Normale Supérieure, France: Dec 2022 - Jun 2023

  • Abhinandan Pal (Bachelor Student, IIIT Kalyani, India)
    Research Internship, Inria & École Normale Supérieure, France: Nov 2022 - Jan 2023

Former Students

  • Abhinandan Pal (Bachelor Student, IIIT Kalyani, India)
    Research Internship (remote): May 2022 - 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, Inria & É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

Teaching

Year 2022-2023

Year 2021-2022

Year 2020-2021

Software

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

Contact