Jorge Luis SACCHINI
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.Thesis
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 byAndreas 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 |