Bureau 5A16
175 rue du Chevaleret
75013 Paris, France
Tél: +33 1 44 27 77 67
Fax: +33 1 44 27 86 54
Pour m'écrire, c'est Prenom.Nom_at_pps.jussieu.fr. Remplacer Prenom par Olivier, Nom par Hermant et _at_ par @.
Je suis ATER dans le laboratoire PPS pour l'année 2006-2007. J'ai donc une charge d'enseignement à temps plein et cela peut se voir à travers la liste d'enseignements ci-dessus. À part cela, j'essaie de garder une vie scientifique assez active, et de me déplacer, assez loin, loin, très loin, très très loin ou plus près. Je m'intéresse à beaucoup de formes de logiques, parmi lesquelles classique, intuitionniste, linéaire aussi bien au premier ordre qu'à l'ordre supérieur. Toutes ces logiques peuvent être combinées avec des règles de réécriture, à la façon de la Déduction Modulo, qui jusqu'à maintenant a constitué un thème central de mes recherches. En particulier je m'intéresse à la sémantique de toutes ces logiques, et aux liens qu'elles peuvent avoir avec l'élimination des coupures et la normalisation de preuves. Cela me porte naturellement à étudier aussi la théorie des types. Enfin, plus récemment, j'ai commencé à regarder les logiques avec contraintes, mais je manque cruellement de temps pour mener toutes ces activités à bien.