Je suis chargé de recherche CNRS au sein du Laboratoire PPS, membre de l'équipe
INRIA πr2 depuis octobre 2010.
Auparavant, j'ai été post-doctorant
en 2009-2010 dans le laboratoire PPS, au sein de l'équipe
INRIA πr2 et en 2008-2009 au département d'informatique de l'Université de Turin, Italie, dans le cadre du Programme Lavoisier du Ministère des Affaires Étrangères, sous la direction de Simona Ronchi della Rocca après avoir soutenu ma thèse de doctorat préparée à l'École Polytechnique sous la direction de Dale Miller au LIX, au sein de l'équipe Parsifal comme allocataire moniteur normalien.
Sur ma page personnelle, vous
trouverez des informations sur certains centres d'intérêts sortant du champ
scientifique à proprement parler.
Recherches. Mes recherches portent sur les liens entre théorie de la démonstration et théorie de la programmation. Plus spécifiquement, je m'intéresse:
- à la théorie de la démonstration classique, intuitionniste et linéaire, notamment aux questions liées aux phénomènes de polarisation et de focalisation en logique ainsi qu'aux liens qu'entretiennent ces logiques;
- au lambda-calcul et à ses extensions classiques et infinitaires;
- à la notion d'interaction en logique et en programmation (Ludique, sémantique des jeux, etc.);
- au contenu logique des opérateurs de contrôle des langages de programmation fonctionnels, notamment au contrôle délimité;
- à la recherche de preuve;
- aux stratégies d'évaluation des langages fonctionnels (appel par nom, appel par valeur, appel par nécessité) et notamment à l'utilisation des calculs des séquents pour étudier ces questions.
Encadrement et Animation de la recherche. J'encadre avec Hugo Herbelin la thèse de Pierre-marie Pédrot. Par ailleurs, j'organise avec Jean Krivine et Claudia Faggian le séminaire du laboratoire PPS et suis responsable de l'équipe associée SEMACODE.
Enseignements. J'enseigne dans le cours de Lambda-calcul et preuves du Master LMFI (Logique Mathématiques et fondements de l'informatique) de l'université Paris Diderot et interviens dans le cadre de la section des étudiants empêchés de Paris Diderot.
Le plus simple est le courrier électronique: prénom.nom@pps.univ-paris-diderot.fr.
Vous pouvez également utiliser le bon vieux courrier postal:
Alexis Saurin
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13
Le laboratoire est sur le point d'emménager dans de nouveaux locaux. Pour le moment, vous me trouverez sur le le site Chevaleret (175, rue du Chevaleret, 75013 Paris), dans le bureau 6A45. Début 2013, le laboratoire PPS déménagera pour s'installer dans le bâtiment Sophie Germain où l'UFR d'informatique a déjà pris ses quartiers.
Pointeurs vers quelques collègues et amis chercheurs (maths, info, logique, sciences humaines):
David Baelde,
Adrien Deloro,
Etienne Duchesne,
Germain Faure,
Marco Gaboardi,
Aurélien Galateau,
Antonin Guilloux,
Stéphane Lengrand,
Assia Mahboubi,
Damiano Mazza,
Olivier Milhaud,
Joseph Najnudel,
Michele Pagani,
Magali Reghezza-Zitt,
Christine Tasson,
Pierre-Victor Tournier,
Noam Zeilberger, ...
