Be the first in the room — members see you arrive.
Join the roomGé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.
