Gérard Huet

Gérard Huet (* July 7, 1947 in Bourges ) is a French computer scientist.

Huet in 1972 at Case Western Reserve University at George Ernst doctorate (Ph. D., Topic: Constrained Resolution: A Complete Method for Higher -Order Logic ) and in 1976 at the University of Paris VII, Maurice Nivat ( Résolution d' équations of dans langages d'ordre 1, 2, ..., omega) He was a professor at the University of Paris VII ( Denis Diderot ). He also conducted research at the Institut national de recherche en informatique et en automatique ( INRIA ).

In 1973 he proved the undecidability of the problem of unification in logic 3rd order and higher- level (type theory). He developed an algorithm to search for Unifizierern .. It deals with automatic proof systems, constructive mathematics and proof assistants ( such as Coq ). and various other areas of theoretical computer science and software engineering.

In 1980 he published a fundamental work to reduction systems.

1984 to 1985, he developed the ML variant Caml at INRIA.

It also deals with the formal linguistic structure of Sanskrit and computer linguistics of Sanskrit.

In 1998 he was awarded the Herbrand Award and the 2009 EATCS Award.

He is a member of the Academie des Sciences and the Academia Europaea.