About Gérard Huet

Gérard Pierre Huet is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory, and to the theory of computation.

members

here now

Occupation: computer scientist, engineer, logician, university teacher
Citizenship

Facts from Wikidata (CC0). Image by David MacQueen via Wikimedia Commons (CC0).

Gérard Huet

French computer scientist

0members1here now

Ask Genius Site

Site Journal

Feed Discussions About

Sort by

Content type

Latest Gérard Huet news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

Gérard Huet across IJR

Studio characters

Gérard HuetThe French computer scientist with nowhere else to be today.

Ask Genius by OpenServe about Gérard Huet Create in Studio Build a game Watch videos

About Gérard Huet

members

here now

Occupation: computer scientist, engineer, logician, university teacher
Citizenship

Facts from Wikidata (CC0). Image by David MacQueen via Wikimedia Commons (CC0).

France

Born

July 7, 1947

Website

http://gallium.inria.fr/~huet/

Everything about Gérard Huet →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Gérard Huet across IJR

Studio characters

Gérard HuetThe French computer scientist with nowhere else to be today.

Ask Genius by OpenServe about Gérard Huet Create in Studio Build a game Watch videos