Benjamin Werner picture









Page de Benjamin Werner  


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






page en français
English version
Mon Agenda
Frege



monster2

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.








monster1

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

work

Le Galibier


Enseignement

my main student Ma page au DIX


Étudiants encadrés en thèse

Pour me joindre

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

Mon agenda

email:

 Adresse principale: 
coq_pic



Berlin 1988


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