Xavier Leroy

URI: https://gptkb.org/entity/Xavier_Leroy

GPTKB entity

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