Alexis Saurin

Intro
Me contacter
Me rendre visite
Publications
Collègues & amis

Intro

Je suis chargé de recherche CNRS au sein du pôle PPS du laboratoire IRIF (UMR 8243) et membre de l'équipe INRIA πr2.
Je suis actuellement responsable du GT Scalp (Structures formelles pour le CaLcul et les Preuves) au sein du GDR Informatique Mathématique et membre élu de la commission recherche de l'Université de Paris (élu de la liste Pari(s) d'une université plus humaine). En outre, je participe à diverses instances collectives de l'IRIF (je suis correspondant doctorant, membre du conseil de laboratoire et participe à la commission parité ainsi qu'à la commission locaux).
Aupravant, j'ai coordonné le projet ANR RAPIDO, été responsable pédagogique du Master 2 de mathématiques LMFI (Logique mathématique et fondements de l'informatique) et été pendant longtemps organisateur du séminaire PPS.

Recherches

Mes recherches portent sur les liens entre théorie de la programmation et théorie de la démonstration. Plus spécifiquement, je m'intéresse:

Étudiants et post-docs

Voici la liste des doctorants et post-doctorants que j'ai encadré:

Par ailleurs, j'ai encadré les stages (de niveau L3 au M2) de Kostia Chardonnet, Ikram Cherigui, Lucien David, Pablo Donato, Amina Doumane, Paul Downen, Paul Fermé, Fanny Hé, Simon Lunel et Luke Maurer, Rémi Nollet, Xavier Onfroy.

Encadrement et Animation de la recherche

Je suis actuellement responsable du GT Scalp (Structures formelles pour le CaLcul et les Preuves) au sein du GDR Informatique Mathématique et membre élu de la commission recherche de l'Université de Paris (élu de la liste Pari(s) d'une université plus humaine). En outre, je participe à diverses instances collectives de l'IRIF (je suis correspondant doctorant, membre du conseil de laboratoire et participe à la commission parité ainsi qu'à la commission locaux).
Aupravant, j'ai coordonné le projet ANR RAPIDO, été responsable pédagogique du Master 2 de mathématiques LMFI (Logique mathématique et fondements de l'informatique) et été pendant longtemps organisateur du séminaire PPS.

Enseignements

Après avoir longtemps été responsable du Master 2 Logique mathématique et fondements de l'informatique (LMFI) de l'université Paris Diderot (avec René Cori, Martin Hils puis Boban Velickovic), je continue à y enseigner le cours Outils classiques pour la correspondance preuves-programmes avec Christine Tasson. Auparavant, j'y ai enseigné le Cours Fondamental de théorie de la démonstration ainsi que les cours d'orientation intitulés Outils classiques pour la correspondance preuves-programmes et Lambda-calcul et preuves (avec Thomas Ehrhard puis Christine Tasson) de l'université Paris Diderot. J'ai également pu intervenir ponctuellement dans le cadre de la section des étudiants empêchés de Paris Diderot (CP Fresnes et MA de Paris la Santé) ou dans la licence d'informatique de l'UFR d'informatique.

Actualités scientifiques

Pour me contacter:

Le plus simple est le courrier électronique: prénom.nom@irif.fr ou le téléphone au 01.57.27.93.37.
Vous pouvez également utiliser le bon vieux courrier postal:
Alexis Saurin
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

Pour me rendre visite:

Le laboratoire se trouve dans le nouveau bâtiment Sophie Germain de l'Université Paris-Diderot. Mon bureau est le 3040.

Quelques collègues et amis:

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, ...