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.

Recent Publications

More Publications

. Fairness-Aware Training of Decision Trees by Abstract Interpretation. In CIKM, 2021.

PDF Code Project

. Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. In SAS, 2021.

PDF Code Project Artifact Springer

. A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466, 2021.

PDF Project arXiv HAL

Recent Talks

More Talks

An Abstract Interpretation Recipe for Machine Learning Fairness
Wednesday, November 17, 2021
Journées du GT Vérif 2021, 🇫🇷 ENS Paris-Saclay, France
Code Project
An Abstract Interpretation Recipe for Machine Learning Fairness
Sunday, July 18, 2021 9:00 AM
4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2021), 🇺🇸 Los Angeles, USA (remote)
Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, May 5, 2021 5:00 PM
Séminaire du DI, 🇫🇷 École Normale Supérieure, France (remote)
PDF Code Project

Students

Current Students

  • Luca Negrini (Università Ca’ Foscari Venezia, Italy)
    PhD Internship, École Normale Supérieure, France: Jan - Apr 2022
  • Denis Mazzucato
    PhD, École Normale Supérieure, France: Oct 2020 -

Former Students

  • Serge Durand (École Normale Supérieure Paris-Saclay, France)
    M1 Internship, École Normale Supérieure, France: Jun - Aug 2020
  • Marco Zanella (Università degli Studi di Padova, Italy)
    PhD Internship, École Normale Supérieure, France: May - Aug 2020
  • Radwa Sherif Abdelbar (German University in Cairo, Egypt)
    Bachelor’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2018
  • Lowis Engel (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2018
  • Madelin Schumacher (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Sep 2017 - Mar 2018
  • Samuel Ueltschi (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Mar - Sep 2017
  • Mostafa Hassan (German University in Cairo, Egypt)
    Bachelor’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2017
  • Simon Wehrli (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2017
  • Flurin Rindisbacher (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Mar - Aug 2017
  • Severin Münger (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Sep 2016 - Mar 2017
  • Nathanaël Courant (École Normale Supérieure, France)
    L3 Internship, ETH Zurich, Switzerland: Jun - Jul 2016
  • Lukas Neukom (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Mar - Sep 2016
  • Seraiah Walter (ETH Zurich, Switzerland)
    Master’s Thesis, ETH Zurich, Switzerland: Feb - Aug 2016

Teaching

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