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
- Page de Benjamin Werner sur le site de l'École polytechnique
- 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.