Benjamin Werner's page

Page de Benjamin Werner

Je suis un chercheur employé par l'INRIA; à ce titre:

Je suis responsable de l'équipe-projet TypiCal (anciennement LogiCal), hébergé par le LIX de l'Ecole Polytechnique.

Je fais aussi partie de l'équipe mathematical components du centre de recherche commun à l'INRIA et Microsoft Research.

English version

Mon Agenda

Frege's Begriffsschrift

Recherche

Je m'intéresse principalement à la formalisation du raisonnement mathématique et à la vérification formelle de preuves par des programmes informatiques, et particulièrement Coq. J'ai un intérêt particulier pour les preuves qui reposent en partie sur des calculs informatiques complexes.

Publications et articles.

Un exposé vidéo (en français) sur les preuves formelles qui font appel au calcul.

Quelques petits travaux de vulgarisation..

Un CV en français et en anglais (pdf)..

Le Galibier

Enseignement

Ma page au DIX

Étudiants encadrés en thèse

Bruno Barras (thèse soutenue en 1999)
David Delahaye (thèse soutenue en 2001)
Benjamin Grégoire (co-encadré avec Xavier Leroy; thèse soutenue en 2003)
Roland Zumkeller (thèse soutenue en 2008)
Arnaud Spiwack (co-encadré avec Thierry Coquand depuis 2006)

Pour me joindre

Cette page: http://benjamin.werner.name

Mon agenda

email:

Adresse principale:

LIX, Ecole Polytechnique, F-91128 PALAISEAU cedex, France
tel: + 33 1 69 33 41 41 (polytechnique nouveau numéro)
venir à polytechnique
venir au labo commun

Je suis un photographe enthousiaste; ici quelques images que j'ai pu prendre.