Benjamin Werner

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

Pour les articles homonymes, voir Werner.

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

Travaux

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.

Notes et références

    Voir aussi

    Article connexe

    Lien externe
    • Portail de l'informatique théorique
    Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.