GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Xavier Leroy
URI:
https://gptkb.org/entity/Xavier_Leroy
GPTKB entity
Statements (22)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:École_Normale_Supérieure
gptkbp:awardReceived
gptkb:ACM_Fellow
gptkb:ACM_Software_System_Award
gptkbp:birthYear
1968
gptkbp:doctoralAdvisor
gptkb:Gérard_Huet
gptkbp:employer
gptkb:Collège_de_France
gptkb:INRIA
gptkbp:field
gptkb:programming_language
formal methods
https://www.w3.org/2000/01/rdf-schema#label
Xavier Leroy
gptkbp:knownFor
gptkb:OCaml
gptkb:CompCert
gptkbp:memberOf
gptkb:French_Academy_of_Sciences
gptkbp:nationality
gptkb:French
gptkbp:notableWork
gptkb:CompCert_C_compiler
OCaml compiler
gptkbp:occupation
gptkb:computer_scientist
gptkbp:website
https://xavierleroy.org/
gptkbp:bfsParent
gptkb:INRIA
gptkb:OCaml
gptkbp:bfsLayer
5