Benjamin Werner's page

Benjamin Werner

Je suis Directeur de Recherche à l'INRIA professeur associé à l'Ecole Polytechnique. En particulier:

Je suis président du Département d'Informatique de l'Ecole Polytechnique

Je dirige l'équipe-projet Typical.

English version

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

Un exposé vidéo sur les preuves formelles calculatoires

Un peu plus de matériel de vulgarisation sur le sujet.

Petit CV.

Enseignement

2011-2012 INF431 (niveau L3, Algorithmique et Programmation)

Cours 2-7-1, MPRI 2010

Matériel pédagogique plus ancien

Thèses encadrées

Bruno Barras (soutenance 1999)
David Delahaye (soutenance 2001)
Benjamin Grégoire (co-dirigé avec Xavier Leroy; soutenance 2003)
Roland Zumkeller (defended 2008)
Arnaud Spiwack (co-dirigé avec Thierry Coquand, soutenance 2011)
François Garillot (encadrant principal: Georges Gonthier, soutenance 2011)
Chantal Keller
Victor Magron (co-dirigé avec Stéphane Gaubert)

Comment me joindre

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

email:

LIX, Ecole Polytechnique, F-91128 PALAISEAU cedex, France
Téléphone: + 33 1 69 33 41 41 (polytechnique)
Se rendre à Polytechnique

Photo prise en des temps reculés et récemment utilisée dans le film From the Sky Down