BW

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.


page en français
English version


Frege



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


Enseignement

dusty
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


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)
coq_pic




The wall

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