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 Talks

More Talks

Static Analysis for Data Scientists
Tuesday, June 14, 2022
Static Analysis for Data Scientists
Friday, May 20, 2022 2:00 PM
🇫🇷 Interprétation Abstraite des Réseaux de Neurones
Thursday, May 12, 2022 1:45 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 -

  • 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

Former Students

  • Luca Negrini (PhD Student, Università Ca’ Foscari Venezia, Italy)
    Research Internship, École Normale Supérieure, France: Jan - Apr 2022
  • Guruprerana Shabadi (Bachelor Student, École Polytechnique, France)
    L3 Internship, École Normale Supérieure, France: Jan - Mar 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, É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 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