The journal
Open the journal →The conversation starts in the journal — be the first to post.
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.
Everything about Gérard Huet →- Occupation
- computer scientist, engineer, logician, university teacher
- Citizenship
- France
- Born
- July 7, 1947
- Website
- http://gallium.inria.fr/~huet/