Benjamin Werner

Benjamin Werner
Biographie
Naissance
(58 ans)
Munich
Nationalité
Formation
Activité
Père
Fratrie

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

Personnalité en méthodes formelles (38)
Assistant de preuve (17)
Théorie des types (75)
Personnalité en langages de programmation (66)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Benjamin_Werner) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Benjamin Werner » :
Bruinek, Vlaam, Mi Ga, RobokoBot, El Caro, Nomen ad hoc, HerculeBot, Francis Vergne, Jmax, PIerre.Lescanne, Roll-Morton, Toffbot, M-le-mot-dit, Bdc43, CodexBot, Luminol2233, Dupontlejoyeux, 4 utilisateurs non enregistrés.