Gérard Huet
logicien et chercheur en informatique théorique français / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Gérard Huet?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Huet.
Gérard Huet (né le à Bourges) est un logicien et chercheur en informatique théorique français. Il est membre de l’Académie des sciences de l’Institut de France, dans la section Sciences mécaniques et Informatique.
Faits en bref Naissance, Nationalité ...
Gérard Huet
Naissance | |
---|---|
Nationalité | |
Formation |
Université Paris-Diderot (doctorat) (jusqu'en ) École nationale supérieure de l'aéronautique et de l'espace (en) Université Case Western Reserve Faculté des sciences de Paris |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Maître |
George Ernst (d) |
Directeur de thèse | |
Site web | |
Distinctions |
Fermer