Alexis Saurin

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

Intro

Je suis chargé de recherche CNRS de l'équipe PPS du laboratoire IRIF (UMR 8243) et membre de l'équipe INRIA πr2.
Je coordonne le projet ANR RAPIDO, suis co-responsable (avec Boban Velickovic, du Master 2 de mathématiques LMFI.

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:

Étudiants et post-docs

Voici la liste de mes doctorants et des post-docs avec qui j'ai travaillés:

Par ailleurs, j'ai encadré les stages (de niveau L3 au M2) de Amina Doumane, Paul Downen, Paul Fermé, Fanny Hé, Simon Lunel, Luke Maurer et Luke Maurer.

Encadrement et Animation de la recherche

J'organise avec Jean Krivine et Claudia Faggian le séminaire du laboratoire PPS.
Je coordonne actuellement le projet ANR RAPIDO et j'étais auparavant responsable de l'équipe associée SEMACODE.

Enseignements

Je suis responsable du Master 2 Logique mathématique et fondements de l'informatique (LMFI) de l'université Paris Diderot (avec Boban Velickovic) et y enseigne le Cours Fondamental de théorie de la démonstration et y ai enseigné par le passé les cours 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 et interviens ponctuellement dans le cadre de la section des étudiants empêchés de Paris Diderot.
En 2014-2015, j'ai enseigné en L1 dans le cours IP1 de Paris Diderot.
En 2011-2012, j'ai effectué des enseignements d'informatique dans le cadre de la section des étudiants empêchés de Paris 7, dans les maisons d'arrêt des hommes de Fresnes et la Santé.

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