Benjamin Werner

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique théorique image illustrant la recherche scientifique
Cet article est une ébauche concernant l’informatique théorique et la recherche scientifique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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

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

Travaux[modifier | modifier le code]

Benjamin Werner est directeur de recherche à l'INRIA. 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.

Voir aussi[modifier | modifier le code]

Lien externe[modifier | modifier le code]

Notes et références[modifier | modifier le code]