Gérard Huet

法国计算机科学家，构造演算（Calculus of Constructions）的实现者之一，1984年在法国国家信息与自动化研究院（INRIA）洛康库尔分部与 Thierry Coquand 共同启动 Coq 证明助手（原名 Rocq）的开发工作，是该项目的创始人与核心设计者。