Gérard Huet
Gérard Huet
French computer scientist.
No account needed. By playing, you confirm you're 13 or older and agree to the Terms of use.
No owners yet
Category: Character
- 0 owners
- 0 copies
- 0 pulls
- Wishlisted
- 0
- In 0 albums
- On 0 showcases
- Market listings
- 0
Not sold on the market yet.
Readers' pathsAug 2026 – Oct 2026
Readers go next to
Share of the 384 clicks on its links
Xavier Leroy
French computer scientist and programmer (born 1968).
12%
Christine Paulin-Mohring
Mathematical logician and computer scientist.
12%
French Institute for Research in Computer Science and Automation
French research institution for computer science.
11%
Thierry Coquand
French computer scientist and mathematician.
9.9%
Maurice Nivat
French computer scientist (1937–2017).
9.6%
François Fages
French computer scientist.
6.8%
Jean-Marie Hullot
French computer scientist and programmer (1954–2019).
6.3%
Readers come from
Share of the 947 readers arriving from another article
Jean-Marie Hullot
French computer scientist and programmer (1954–2019).
33%
Isabelle (proof assistant)
Higher-order logic (HOL) automated theorem prover.
19%
Thierry Coquand
French computer scientist and mathematician.
15%
Rocq
Proof assistant.
14%
Xavier Leroy
French computer scientist and programmer (born 1968).
14%