Résultats de la recherche
Cherchez Gérard Huet (informaticien) sur Wikipédia dans une autre langue :
Cherchez Gérard Huet (informaticien) sur un des projets-frères de Wikipédia :
- Wiktionnaire (dictionnaire)
- Wikibooks (livres pédagogiques)
- Wikiquote (citations)
- Wikisource (bibliothèque libre)
- Wikinews (actualités libres)
- Wikiversity (espace pédagogique)
- Wikivoyage (guide touristique)
- Wikidata (base de données)
- Commons (images et médias)
L'article « Gérard Huet (informaticien) » n'existe pas sur ce wiki !
Vous souhaitez le créer ? Vérifiez auparavant que le sujet n'a pas déjà été traité dans les résultats ci-dessous, puis assurez-vous qu'il est admissible dans l'encyclopédie.
Pour créer « Gérard Huet (informaticien) », suivez le guide !
- Pour les articles homonymes, voir Huet. Gérard Huet Gérard Huet (né le 7 juillet 1947 à Bourges) est un logicien et chercheur en informatique théorique...11 kio (1 049 mots) - 11 mai 2024 à 18:22
- Gérard Huet (1947-), informaticien et académicien français ; Guénhaël Huet (1956-), personnalité politique française ; Henri Huet (1927-1971), photoreporter...2 kio (295 mots) - 29 juillet 2022 à 07:25
- personnalité politique et productrice américaine. 7 juillet : Gérard Huet, informaticien français. 8 juillet : Jenny Diski, essayiste, romancière et scénariste...41 kio (4 339 mots) - 14 mai 2024 à 09:19
- personnalité politique et productrice américaine. 7 juillet : Gérard Huet, informaticien français. 8 juillet : Jenny Diski, essayiste, romancière et scénariste...11 kio (1 209 mots) - 11 avril 2024 à 17:21
- Christine Paulin-Mohring (catégorie Informaticienne française)Christine Paulin-Mohring obtient son doctorat en 1989 sous la direction de Gérard Huet. Sa thèse portait sur l'extraction de programmes dans le Calcul des Constructions...4 kio (451 mots) - 19 novembre 2023 à 17:54
- Dufau administrateur de France Télécom, ancien PDG d’IBM France Gérard Huet informaticien émérite, membre de l’Académie des sciences Philippe Morillon général...13 kio (34 mots) - 3 mai 2024 à 11:45
- chimiste français. Robert Wald, physicien américain. 7 juillet : Gérard Huet, informaticien français. 8 juillet : Henri Cohen, mathématicien français. 16...35 kio (3 007 mots) - 1 mars 2024 à 19:50
- Cette liste regroupe des informaticiens (concepteur, développeur, chercheur en informatique) ainsi que des mathématiciens ou théoriciens dont les travaux...13 kio (1 300 mots) - 9 mars 2024 à 16:05
- Xavier Leroy (catégorie Informaticien français)De 1989 à 1992 il a fait sa thèse de doctorat sous la direction de Gérard Huet. Xavier Leroy est un expert réputé dans le domaine des langages fonctionnels...5 kio (489 mots) - 2 mars 2024 à 06:20
- Jean-Marie Hullot (catégorie Informaticien français)informatique à l'université Paris-Orsay en 1981, son directeur de thèse étant Gérard Huet. Il fut chercheur à l'INRIA de 1979 à 1986, avant de rejoindre NeXT....6 kio (633 mots) - 23 novembre 2023 à 12:43
- particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. prix ACM SIGPLAN Programming Languages Software, pour le projet Coq...2 kio (139 mots) - 10 octobre 2023 à 12:58
- Gilles Dowek (catégorie Informaticien français)Gilles Dowek Gilles Dowek, né le 20 décembre 1966 est un informaticien et logicien français, ancien élève de l'École polytechnique (promotion X1985)....4 kio (431 mots) - 4 décembre 2023 à 18:01
- François‐Xavier Coudert, Gérard Férey, Alain Fuchs, Antoine Gédéon, Thierry Loiseau, Andrei Nossov, Marie‐Anne Springuel‐Huet et Christophe Volkringer...20 kio (2 031 mots) - 5 février 2024 à 17:35
- Synopsys André Gorz, philosophe et journaliste français Didier Guzzoni, informaticien et inventeur de Siri Éva Jakab Tóth, médaille d'argent du CNRS André...61 kio (6 564 mots) - 4 mai 2024 à 20:57
- Orsay, le CRIN à Nancy, le CERFIA à Toulouse et le Laboria (autour de Gérard Huet et dans un domaine très fondamental) à Rocquencourt. Un congrès national...146 kio (16 623 mots) - 9 mai 2024 à 13:55
- américain († 10 août 2019). Sophie Huet, journaliste française († 29 juillet 2017). 21 janvier : Paul Allen, informaticien, chef d'entreprise, homme d'affaires...33 kio (3 589 mots) - 7 mai 2024 à 09:39
- 12- w:Raquel Revuelta 13- w:Rogério Sganzerla 14- w:Kalevi Sorsa 15- w:Gérard Paul Deshayes 16- w:Michael Amott 17- w:Andrew Ramsay 18- w:Joey Calderazzo