Benjamin Werner
Pour les articles homonymes, voir Werner.
| Naissance | Munich |
|---|---|
| Nationalité | française |
| Formation | École polytechnique |
| Activité | Informaticien |
| 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,.
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
| ]- « Benjamin Werner's page », sur polytechnique.fr (consulté le ).
- « Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère », sur theses.fr (consulté le ).
Voir aussi
| ]Article connexe
| ]- Georges Gonthier
Lien externe
| ]- Page de Benjamin Werner sur le site de l'École polytechnique
Portail de l'informatique théorique
- Personnalité en informatique théorique
- Personnalité en langages de programmation
- Personnalité en méthodes formelles
- Informaticien français
- Élève de l'École polytechnique
- Assistant de preuve
- Théorie des types
- Naissance en juin 1966
wikipédia, wiki, livre, livres, bibliothèque, article, lire, télécharger, gratuit, téléchargement gratuit, mobile, téléphone, android, ios, apple, téléphone portable, pc, web, ordinateur, Informations sur Benjamin Werner, Qu’est-ce que Benjamin Werner ? Que signifie Benjamin Werner ?
Laisser une réponse
Vous voulez participer à la discussion ?N'hésitez pas à contribuer !