PhD Advisors Radhia Cousot
CNRS & École Normale Supérieure, Paris, France Antoine Miné
CNRS & École Normale Supérieure, Paris, France Reviewers Manuel Hermenegildo
IMDEA Software Institute & Technical University of Madrid, Madrid, Spain Sriram Sankaranarayanan
University of Colorado Boulder, Boulder, USA
Andreas Podelski
University of Freiburg, Freiburg, Germany Jury Patrick Cousot
New York University, New York, USA Nicolas Halbwachs
Verimag, Grenoble, France Manuel Hermenegildo