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

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

PDF Project arXiv HAL

. Fair Training of Decision Tree Classifiers. CoRR abs/2101.00909, 2021.

PDF Project arXiv

Recent Talks

More Talks

An Abstract Interpretation Recipe for Machine Learning Fairness
Sunday, July 18, 2021 9:00 AM
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, May 5, 2021 5:00 PM
Formal Methods for Robust Artificial Intelligence: State of the Art
Friday, February 5, 2021 2:00 PM

Students

Current Students

Former Students

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

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