This page is no longer maintained. My new homepage can be found here.

About me

I was a Phd student in the Marelle team at INRIA Sophia-Antipolis, supervised by Benjamin Grégoire. My research interests include Type Theory, specially type-based termination.


On Type-Based Termination and Dependent Pattern Matching in the Calculus of Inductive Constructions

The defense took place on June 29th, 2011 at École des Mines de Paris. The jury was composed by
Andreas Abel, Professeur assistant, LMU München
Gilles Barthe, Directeur de recherche, IMDEA
Herman Geuvers, Professor, Radboud University Nijmegen
Benjamin Grégoire, Chargé de recherche, INRIA Sophia Antipolis
Alexandre Miquel, Maitre des conférences, ENS Lyon
Benjamin Werner, Directeur de recherche, École Polytechnique