Benjamin Werner
Pour les articles homonymes, voir Werner.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité | |
| Père | |
| Fratrie |
Benjamin Werner, né le à Munich, est un chercheur français en informatique.
Études
[modifier | modifier le code]Ancien élève de l'École polytechnique, il a obtenu des DEA en mathématiques et en informatique. Il a obtenu un doctorat en sciences à l'université Paris-Diderot sous la direction de Christine Paulin-Mohring.
Travaux
[modifier | modifier le code]Werner a d'abord été chercheur postdoctoral à l'Université Ryukoku (Kyoto) et à l'Université de Cornell. Il est entré à l'INRIA en 1994.
Benjamin Werner est directeur de recherche à l'INRIA et Professeur à l'École polytechnique. Il a notamment été membre de la composante mathématiques du centre de recherche conjoint INRIA/Microsoft[1],[2].
Ses travaux portent sur la théorie des types et les assistants de preuve. Il a en particulier participé à la démonstration formalisée du théorème des quatre couleurs.
Famille
[modifier | modifier le code]Benjamin Werner est le fils de l'historien Michael Werner et le frère du mathématicien Wendelin Werner.
Notes et références
[modifier | modifier le code]- « Benjamin Werner's page », sur polytechnique.fr (consulté le ).
- « Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère », sur theses.fr (consulté le ).
Voir aussi
[modifier | modifier le code]Article connexe
[modifier | modifier le code]Lien externe
[modifier | modifier le code]- Page de Benjamin Werner sur le site de l'École polytechnique
