Benjamin Werner

Benjamin Werner (né le 10 juin 1966 à Munich) est un chercheur français en informatique. Il 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. Il est le frère de Wendelin Werner.

Voir aussi

• Georges Gonthier

Liens externes

• Page de Benjamin Werner sur le site de l'École polytechnique