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 349 mots) - 16 mai 2024 à 10:43
- 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 017 mots) - 19 mai 2024 à 00:06
- 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) - 29 mai 2024 à 20:55
- 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
- Grace Hopper (COBOL et premier compilateur) Christian Huitema (Internet) Gérard Huet (langages fonctionnels, Académie des sciences, INRIA) Günter Hotz (théorie...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
- 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
- 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
- employé un système d'écriture. (en) The Sanskrit Heritage Dictionary de Gérard Huet (en) The A to Z of Hinduism, B. M. Sullivan, Vision Books, p. 152, (ISBN 8170945216)...8 kio (896 mots) - 23 avril 2024 à 20:41
- 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
- suffrages, contre 45,96 % pour celle de Gérard Larrat (avec 36,71 % d'abstentionnistes). En avril 2014, Gérard Larrat est élu maire, sous l'étiquette Divers...203 kio (21 877 mots) - 24 mai 2024 à 22:55
- chef mécanicien de la centrale électrique, France ; Pascal Bordais : informaticien / transmissions, électronique scientifique, France ; Emanuele Salvietti :...65 kio (7 062 mots) - 12 février 2024 à 07:21
- 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
- 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...147 kio (16 697 mots) - 28 mai 2024 à 18:32
- 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...34 kio (3 615 mots) - 24 mai 2024 à 10:00
- département Bases moléculaires de pathologies humaines à Montpellier Gérard Berry, informaticien, professeur au Collège de France, chaire algorithme, machines...30 kio (2 974 mots) - 23 mai 2024 à 04:10
- machine », Science of Computer Programming, 8, 1987. Guy Cousineau, Gérard Huet et Ascander Suarez, « CAML: the theory, the machine, the language »,...11 kio (1 089 mots) - 2 avril 2022 à 05:20
- 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