Properties (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:academicAdvisor |
gptkb:Jean-Pierre_Jouannaud
|
| gptkbp:affiliation |
gptkb:INRIA
|
| gptkbp:awards |
gptkb:Hindawi_Prize
CNRS Silver Medal |
| gptkbp:birthPlace |
gptkb:France
|
| gptkbp:birthYear |
1934
|
| gptkbp:contribution |
research in logic
research in programming languages research in verification of safety-critical systems research in category theory research in computational logic research in dependent types research in formal methods in software engineering research in interactive theorem proving research in logical frameworks research in model checking research in proof assistants research in proof theory research in proof-carrying code research in semantics research in software verification research in type safety research in type systems research in verification of algorithms research in verification of concurrent systems research in verification of data structures research in verification of distributed systems research in verification of embedded systems research in verification of hardware systems research in verification of network protocols research in verification of programming languages research in verification of real-time systems research in verification of security protocols research in verification of software systems research in verification of cryptographic protocols development_of_the_Coq_proof_assistant research_in_algebraic_structures |
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gerard Huet
|
| gptkbp:influenced |
gptkb:Xavier_Leroy
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
contributions to formal methods
contributions to proof assistants |
| gptkbp:nationality |
French
|
| gptkbp:notableWork |
Lambda calculus
Type theory Coq proof assistant |
| gptkbp:researchFocus |
formal verification
functional programming program verification automated theorem proving |