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

. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.

PDF Code Project Project BibTeX arXiv

Recent Talks

More Talks

A Static Analyzer for Data Science Software
Monday, July 20, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Thursday, June 18, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, June 3, 2020

Students

PhD Students

  • Denis Mazzucato (Oct 2020 -)

Interns

  • Serge Durand (Jun - Aug 2020)
    ENS Paris-Saclay, France (M1)
  • Marco Zanella (May - Aug 2020)
    University of Padova, Italy (PhD)

Teaching

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