Benjamin Werner

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Werner.

Benjamin Werner
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (58 ans)
MunichVoir et modifier les données sur Wikidata
Nationalité
Formation
Activité
Père
Fratrie

modifier - modifier le code - modifier WikidataDocumentation du modèle

Benjamin Werner, né le à Munich, est un chercheur français en informatique.

Études

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

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

Benjamin Werner est le fils de l'historien Michael Werner et le frère du mathématicien Wendelin Werner.

Notes et références

  1. ↑ « Benjamin Werner's page », sur polytechnique.fr (consulté le ).
  2. ↑ « Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère », sur theses.fr (consulté le ).
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Voir aussi

Article connexe

Lien externe