Gérard Huet

French computer scientist
rdfs:label
"Gérard Huet"@en
skos:altLabel
"Gerard Huet"@en
schema:description
"French computer scientist"@en
schema:dateModified "2026-11-10T23:39:58+00:00"^^xsd:dateTime
schema:version 2567754789
wikibase:identifiers 26
wikibase:sitelinks 9
wikibase:statements 88
p:P1006 wd:statement/Q974366-AC8AFEE7-C29D-46F3-A9F1-430B6E84F8A3
p:P101 wd:statement/Q974366-1D3B43BE-E98C-4407-84BC-7D7915822FAB
wd:statement/Q974366-47B56CB8-6A90-4CC1-A9FF-BB5E449962B5
wd:statement/Q974366-D6FD4164-4379-40D0-B435-77ABD94F79E4
wd:statement/q974366-2A1D0C05-6B13-4FBD-8C44-55F8BA117BA1
p:P106 wd:statement/Q974366-147e4f88-4988-2cb6-8a8e-9a51bda25d3a
wd:statement/Q974366-22043ce2-4688-7419-2f90-1bda3c91321e
wd:statement/Q974366-3e9b50f7-033c-4875-acb5-77eda35156b1
wd:statement/Q974366-E92E4662-91F7-4EF6-83EE-076F9F6FA694
wd:statement/q974366-2D97274C-3B32-4556-BCA9-64D3AC7103A7
p:P1066 wd:statement/Q974366-cd749e59-4cbc-48ff-ae4c-9b85c8d51658
p:P108 wd:statement/Q974366-15499DB1-F3E3-4F22-BD96-976FB9394938
wd:statement/Q974366-158d6cf7-4390-21cb-3cd6-023d03ea1ae4
p:P10832 wd:statement/Q974366-A1ABC97C-7200-4D12-96CF-964E29913FC7
p:P1207 wd:statement/Q974366-4329DB15-C19B-42ED-962A-C92033111C0B
p:P13049 wd:statement/Q974366-3F9A2B5E-2C28-4AE2-BA3F-794B9164B7AE
p:P1412 wd:statement/Q974366-4163C9F5-3804-40B4-8C07-B17E86997667
wd:statement/Q974366-8C6B0CED-A7D1-43B5-BE37-2B0E1C212F14
p:P1556 wd:statement/Q974366-242C0105-F20B-409F-92B6-FCEB5350DAD9
p:P1559 wd:statement/Q974366-886E058D-6FCA-4342-BB87-A63E5EFFED48
p:P166 wd:statement/Q974366-3C9471DB-2043-41A3-B098-7989C2B0621B
wd:statement/Q974366-443DC92E-E84C-4D2F-AA52-EA34DF72107F
wd:statement/Q974366-6652DCAA-1E26-4794-8E7C-BA1FC82E0344
p:P18 wd:statement/Q974366-FD5C3A73-BF1B-4886-9D4D-D64EF8CCD260
p:P184 wd:statement/Q974366-c02051a9-4963-9292-57fe-35350ca3c639
p:P185 wd:statement/Q974366-0564bad7-07de-4537-9bc8-590459a44a13
wd:statement/Q974366-07c9b870-7472-4aab-92cc-ce33619592ba
wd:statement/Q974366-272eaeec-4c97-574d-c6be-ed45e0f646ed
wd:statement/Q974366-570df4da-adcd-4cfd-b8de-2f2e647f0466
wd:statement/Q974366-63b525be-cb80-4ff4-8059-d8a3a4f9c874
wd:statement/Q974366-678d6aef-6d71-457a-bec3-6c52f2ec831b
wd:statement/Q974366-6f7434d3-b746-4b96-a502-e7a196065843
wd:statement/Q974366-7c4b655a-ad14-4d57-933a-1b2bde8b4eea
wd:statement/Q974366-7d42f867-2c4a-468b-bcee-7e29fb681d84
wd:statement/Q974366-9f609d23-403b-1f9e-bc10-e1a933df4281
wd:statement/Q974366-a154f42d-f3df-4069-91df-3b16c28d5653
wd:statement/Q974366-b3cd224a-680e-467e-aeeb-48a769ffd1ee
wd:statement/Q974366-bb17cd97-8307-4180-a4b5-9ab3d233d996
wd:statement/Q974366-c7e4f2f1-2940-4fad-9659-51bdc79d1627
wd:statement/Q974366-c81acfa3-e1ac-40f9-b9ae-acab75078572
wd:statement/Q974366-cef05d78-a042-46e0-ba17-2ef1cdabb696
wd:statement/Q974366-d3860d77-d6f9-4488-8787-febea64847a2
wd:statement/Q974366-d6c76c44-4e3d-009c-c4cf-061204cb497b
wd:statement/Q974366-e3b3ade7-5d7f-430a-b343-bbb97c32116c
wd:statement/Q974366-e85e9697-bd90-4503-aeda-cc418cf26962
wd:statement/Q974366-f107a4af-3975-4b50-a9da-f43804605e93
wd:statement/Q974366-f9b32c39-1f8c-4d20-9f4c-ba8f1ef83b5b
p:P19 wd:statement/q974366-AF7EE187-DA4E-44B3-9731-9435F83DCA54
p:P1960 wd:statement/Q974366-cc812657-48ce-90b4-efc8-3683d3112e9b
p:P21 wd:statement/Q974366-4CED6611-C9B2-474D-9B81-15C7A76D4C6E
p:P213 wd:statement/q974366-DBE5E443-FB0B-477A-8DC4-4C5382722837
p:P214 wd:statement/q974366-3589CA17-76D4-44B4-9301-AD2889924948
p:P2163 wd:statement/Q974366-321DE1DC-38A1-4358-8B95-ADAD95A04816
p:P227 wd:statement/Q974366-97F03AD3-EB8B-4FA2-AC46-29FF3CE4717F
p:P244 wd:statement/q974366-510123BE-B6ED-49FF-80DC-B8A5FF84ED0D
p:P2456 wd:statement/Q974366-203ed67e-4301-61cc-78dc-8071b84e58f7
p:P268 wd:statement/Q974366-29B324D3-B1CA-4A13-A797-41D9280501CE
p:P269 wd:statement/Q974366-CEF675E1-A35F-4D98-89F1-821CD61E35AB
p:P27 wd:statement/q974366-98CF3B2D-A682-4FDB-9CF5-20F9A00849D8
p:P31 wd:statement/Q974366-CC57C361-15AC-401A-998E-D18EE7FE9177
p:P3368 wd:statement/Q974366-81F02853-4054-4DAF-B5DE-32300E979AB4
p:P4124 wd:statement/Q974366-95A12746-3057-4FBD-8EC3-25BF4CB31695
p:P4215 wd:statement/Q974366-A0CA74BA-88CD-44D8-9087-B521BBFAE320
p:P4285 wd:statement/Q974366-533d16a5-4c57-8759-adc2-cbbf84743e8b
p:P463 wd:statement/Q974366-A47415F9-DF00-4899-9340-2330D8DC3AFC
wd:statement/Q974366-F4FE2BDC-7953-4BFF-97C9-38FDB1D134D1
wd:statement/Q974366-FE4737E3-C8C9-49BA-9827-F85C0541CFEB
p:P4955 wd:statement/Q974366-E9C852F3-35DA-4347-B872-B753E10434C1
p:P5463 wd:statement/Q974366-03234C44-5DEC-4C08-8BD5-DF8FD8E12EFF
p:P549 wd:statement/q974366-8DCB6EE6-C8C6-4765-B7C5-CBEFE433261E
p:P569 wd:statement/Q974366-BCBDEBB9-2CC2-4C1D-87F9-29BC3A5EA005
p:P6104 wd:statement/Q974366-DB081AD2-193E-4204-B3B0-0EE31966C3E1
p:P6282 wd:statement/Q974366-C7C69EFD-09AF-4B87-8932-CA99DC5F1F53
p:P646 wd:statement/Q974366-AD4D0F79-599F-4BA1-92FB-9C91DA9B709A
p:P69 wd:statement/Q974366-7B776B27-F0B0-4C52-8AAD-9A106A296E1A
wd:statement/Q974366-A8CC2C58-28A8-4D9F-92AC-15EA10B213EE
wd:statement/Q974366-b82241e5-4e3e-85cf-cf1e-37e581eb21f4
wd:statement/Q974366-bbeda116-402f-b88e-ad57-3278eba68293
p:P691 wd:statement/Q974366-B985CCEA-6797-4458-9C42-D8F8BEF0E94A
p:P734 wd:statement/Q974366-6B8D2222-BD4B-4F17-B1F0-7F01F465E38C
p:P735 wd:statement/Q974366-2f22b039-49da-88e2-bc1e-1cb1fda74b4c
wd:statement/Q974366-51B8D83F-B2C7-45B7-BC28-2892861E266D
wd:statement/Q974366-dc22f895-4ddd-f680-55bc-32a9a75fc821
p:P802 wd:statement/Q974366-29454d22-da4c-4d06-8821-3d5071fd5a22
p:P8189 wd:statement/Q974366-C6A977DC-29FB-4565-9F87-F45242FE3983
p:P856 wd:statement/Q974366-BCCF54F0-7DAC-42E0-8491-3D0802293004
p:P864 wd:statement/Q974366-585ba056-4f20-3d2a-8225-28e2e76f27b4
p:P973 wd:statement/Q974366-35B13545-9333-4323-AE45-490D38D22964
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p074993321>
p:direct-normalized/P214 <http://viaf.org/viaf/14812854>
p:direct-normalized/P2163 <http://id.worldcat.org/fast/77015>
p:direct-normalized/P227 <https://d-nb.info/gnd/1079124640>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n81087432>
p:direct-normalized/P2456 <https://dblp.org/pid/h/GPHuet>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb11907937c#about>
p:direct-normalized/P269 <http://www.idref.fr/026927241/id>
p:direct-normalized/P4285 <http://www.theses.fr/026927241/id>
wdt:P1006 "074993321"
wdt:P101 Sanskrit
computational linguistics
computer science
informatics
wdt:P106 logician
university teacher
mathematician
engineer
computer scientist
wdt:P1066 George Ernst
wdt:P108 Paris Diderot University
University of Paris-Sud
wdt:P10832 "E39PBJdrHWt4PYVv4P3CfRjpyd"
wdt:P1207 "n94301441"
wdt:P13049 "1079124640"
wdt:P1412 French
English
wdt:P1556 "huet.gerard-p"
wdt:P1559 "Gérard Huet"@fr
wdt:P166 EATCS award
Herbrand Award
ACM Software System Award
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/GH%201978.jpg>
wdt:P184 Maurice Nivat
wdt:P185 Yves Lafont
Bernard Luya
Jean-Marie Hullot
Philippe Le Chenadec
Alain Laville
Annie Foret
Paul Gloess
Didier Rémy
Loic Colson
Benjamin Werner
Valérie Ménissier-Morain
Samuel Boutin
César Muñoz
Cristina Cornes
Bruno Barras
Amokrane Saibi
François Fages
Gilles Dowek
Jean-Marie Hullot
Christine Paulin-Mohring
Thierry Coquand
Xavier Leroy
wdt:P19 Bourges
wdt:P1960 "0kqdfWEAAAAJ"
wdt:P21 male
wdt:P213 "0000000119325321"
wdt:P214 "14812854"
wdt:P2163 "77015"
wdt:P227 "1079124640"
wdt:P244 "n81087432"
wdt:P2456 "h/GPHuet"
wdt:P268 "11907937c"
wdt:P269 "026927241"
wdt:P27 France
wdt:P31 human
wdt:P3368 "157544"
wdt:P4124 "33592"
wdt:P4215 "Gérard Huet"
wdt:P4285 "026927241"
wdt:P463 European Association for Computer Science Logic
French Academy of Sciences
Academia Europaea
wdt:P4955 "89470"
wdt:P5463 "Huet_Gérard"
wdt:P549 "83536"
wdt:P569 "1947-07-07T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P6282 "gerard-huet"
wdt:P646 "/m/04gq0sh"
wdt:P69 Case Western Reserve University
Paris Diderot University
École nationale supérieure de l'aéronautique et de l'espace
Science Faculty of Paris
wdt:P691 "xx0233005"
wdt:P734 Huet
wdt:P735 Gérard
wdt:P802 Benoît Razet
wdt:P8189 "987007444796905171"
wdt:P856 <http://gallium.inria.fr/~huet/>
wdt:P864 "81408602136"
wdt:P973 <https://www.academie-sciences.fr/pdf/membre/HuetG_bio0509.pdf>
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata