Benjamin Werner

informaticien théoricien franco-allemand

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

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

Études

modifier

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

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

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

Voir aussi

modifier

Article connexe

modifier

Lien externe

modifier