Gérard Huet

URI: https://gptkb.org/entity/G%C3%A9rard_Huet
GPTKB entity
Properties (81)
Predicate Object
gptkbp:instanceOf computer scientist
gptkbp:academicAdvisor gptkb:Jean-Yves_Girard
gptkbp:affiliation gptkb:INRIA
gptkbp:awards gptkb:Humboldt_Research_Award
Knight of the Legion of Honor
gptkbp:birthPlace gptkb:France
gptkbp:birthYear 1944
gptkbp:contribution formalization of mathematics
research on lambda calculus
research on programming languages
research on verification of interoperability properties
research on verification of safety-critical systems
research on verification of maintainability properties
research on verification of non-functional properties
research on verification of configurability properties
research on dependently typed programming languages
proof of the four color theorem
research on algebraic structures
research on automated theorem proving
research on category theory
research on combinatory logic
research on computational logic
research on decision procedures
research on formal methods in software engineering
research on interactive theorem proving
research on logic programming
research on mathematical logic
research on model checking
research on program synthesis
research on proof assistants
research on proof theory
research on proof-carrying code
research on software verification
research on theorem proving
research on type theory
research on type-safe programming languages
research on verification of concurrent systems
research on verification of cyber-physical systems
research on verification of distributed systems
research on verification of embedded systems
research on verification of functional properties
research on verification of hardware systems
research on verification of liveness properties
research on verification of network protocols
research on verification of performance properties
research on verification of portability properties
research on verification of real-time systems
research on verification of reliability properties
research on verification of reusability properties
research on verification of safety properties
research on verification of scalability properties
research on verification of security protocols
research on verification of software systems
research on verification of temporal properties
research on verification of testability properties
research on verification of usability properties
research on verification of modifiability properties
research on verification of availability properties
research on verification of cryptographic protocols
research on verification of adaptability properties
research on verification of composability properties
research on verification of extensibility properties
research on verification of compatibility properties
development_of_the_Coq_proof_assistant
development_of_the_Calculus_of_Inductive_Constructions
proof_of_the_Feit-Thompson_theorem
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Gérard 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 Mathematical logic
Type theory
Coq proof assistant
gptkbp:researchInterest formal verification
functional programming
program verification
automated reasoning
type systems