Benjamin Werner's page

Benjamin Werner

Je suis Directeur de Recherche INRIA actuellement détaché à l'Ecole Polytechnique. En particulier:

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

Jusqu'en décembre 2012, j'étais responsable de 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

Cours actuels :

Cours 2-7-1, MPRI 2014-2015

MOOC Conception et mise en œuvre d'algorithmes - sur Coursera, le 27 octobre 2014

Années passés :

INF431 (niveau L3, Algorithmique et Programmation)

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 (soutenance 2008)
Arnaud Spiwack (co-dirigé avec Thierry Coquand, soutenance 2011)
François Garillot (encadrant principal : Georges Gonthier, soutenance 2011)
Chantal Keller (co-dirigée avec Germain Faure, soutenance 2013)
Victor Magron (co-dirigé avec Stéphane Gaubert, soutenance en 2013)
Cyril Cohen (encadrante principale : Assia Mahboubi, soutenance 2012)
Alexis Bernadet (encadrant principal : Stéphane Graham-Lengrand, soutenance 2014)

Comment me joindre

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

email:

LIX, Ecole Polytechnique, F-91128 PALAISEAU cedex, France
phone: + 33 1 77 57 80 41
Bureau 2016, bâtiment Turing (directions)

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