This HTML5 document contains 129 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n22https://scholar.google.com/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n21http://g.co/kg/m/
n18https://dl.acm.org/
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n6http://www.idref.fr/026985691/
n34http://data.bnf.fr/ark:/12148/cb11912631g#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n14http://isni.org/isni/
n23https://dblp.org/pid/03/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n26http://genealogy.math.ndsu.nodak.edu/
n11http://fr.dbpedia.org/resource/Modèle:
n35http://azb.dbpedia.org/resource/
n32http://viaf.org/viaf/
dbpedia-fahttp://fa.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20https://www.researchgate.net/profile/
dbpedia-arhttp://ar.dbpedia.org/resource/
n31https://www.whoswho.fr/bio/
owlhttp://www.w3.org/2002/07/owl#
n29https://xavierleroy.org/
n7https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n25http://mg.dbpedia.org/resource/
n27https://data.bibliotheken.nl/doc/thes/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Xavier_Leroy
rdf:type
wikidata:Q5 dbo:Animal n15:NaturalPerson wikidata:Q215627 wikidata:Q19088 dbo:Person foaf:Person dbo:Eukaryote owl:Thing dbo:Species schema:Person wikidata:Q729
rdfs:label
كزافييه لوروا Xavier Leroy
rdfs:comment
Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml. Il est également l'auteur de (en), qui était, avant la sortie de la version 2.6 du noyau Linux, la bibliothèque de threads la plus utilisée dans le système Linux.
rdfs:seeAlso
n14:0000_0001_1455_6489 n18:author_page.cfm?id=81100078576 n20:Xavier_Leroy3 n22:citations?user=K5yXAeAAAAAJ n26:id.php?id=137170 n31:xavier-leroy_63543
owl:sameAs
n6:id n7:n98068232 dbpedia-fa:خاویر_لیروی dbpedia-ar:كزافييه_لوروا n21:05hhq8 n23:352 dbr:Xavier_Leroy n25:Xavier_Leroy n27:p17316191X dbpedia-ru:Лерой,_Ксавье wikidata:Q3570727 n32:116467961 n34:about n35:خاویر_لیروی
dbo:birthPlace
dbpedia-fr:Orléans
dbo:wikiPageID
534091
dbo:wikiPageRevisionID
189017361
dbo:wikiPageWikiLink
dbpedia-fr:Démonstration_automatique_de_théorèmes category-fr:Lauréat_du_prix_Van_Wijngaarden dbpedia-fr:Linux dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:École_normale_supérieure_(Paris) category-fr:Théorie_des_types category-fr:Élève_de_l'École_normale_supérieure category-fr:Personnalité_en_langages_de_programmation dbpedia-fr:Chercheur_des_établissements_publics_scientifiques_et_technologiques_français dbpedia-fr:Coq_(logiciel) dbpedia-fr:Prix_Van_Wijngaarden dbpedia-fr:Type_(informatique) category-fr:Professeur_au_Collège_de_France dbpedia-fr:Gérard_Huet dbpedia-fr:Thread_(informatique) dbpedia-fr:CompCert category-fr:Programmation_fonctionnelle dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Doctorat dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia-fr:Prix_Milner category-fr:Directeur_de_recherche_INRIA category-fr:Informaticien_français category-fr:Naissance_en_mars_1968 dbpedia-fr:Langage_de_programmation dbpedia-fr:Prix_Inria_de_l'Académie_des_sciences dbpedia-fr:Prix_Michel-Monpetit dbpedia-fr:La_Recherche_(magazine) dbpedia-fr:C_(langage) dbpedia-fr:1992 dbpedia-fr:Noyau_Linux dbpedia-fr:Compilateur dbpedia-fr:1989 dbpedia-fr:Collège_de_France dbpedia-fr:Xavier_Le_Roy dbpedia-fr:1987 dbpedia-fr:France dbpedia-fr:Système_d'exploitation dbpedia-fr:Informaticien dbpedia-fr:OCaml category-fr:Étudiant_de_l'université_Paris-VII
dbo:wikiPageExternalLink
n29:
dbo:wikiPageLength
3916
dct:subject
category-fr:Étudiant_de_l'université_Paris-VII category-fr:Naissance_en_mars_1968 category-fr:Lauréat_du_prix_Van_Wijngaarden category-fr:Professeur_au_Collège_de_France category-fr:Programmation_fonctionnelle category-fr:Informaticien_français category-fr:Directeur_de_recherche_INRIA category-fr:Élève_de_l'École_normale_supérieure category-fr:Théorie_des_types category-fr:Personnalité_en_langages_de_programmation
prop-fr:wikiPageUsesTemplate
n11:Références n11:Portail n11:Voir_homonymes n11:Infobox_Biographie2 n11:Bases_recherche n11:Lien n11:Langue n11:Autorité n11:Date n11:Confusion
prov:wasDerivedFrom
wikipedia-fr:Xavier_Leroy?oldid=189017361&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Xavier_Leroy
dbo:employer
dbpedia-fr:Collège_de_France dbpedia-fr:Université_de_Paris_(1896-1970) dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique
dbo:doctoralStudent
wikidata:Q102394564 wikidata:Q102457044 wikidata:Q102357494 wikidata:Q102357491 wikidata:Q102354334 wikidata:Q102354336 wikidata:Q102354332
dbo:abstract
Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml. Xavier Leroy a été admis comme élève à l'École normale supérieure (Paris) en 1987, et y a étudié les mathématiques et l'informatique. De 1989 à 1992 il a fait sa thèse de doctorat sous la direction de Gérard Huet. Xavier Leroy est un expert réputé dans le domaine des langages fonctionnels, de leur typage et de leur compilation. Ces dernières années, il a également beaucoup travaillé sur les méthodes formelles, les preuves formelles et la compilation certifiée. Il est notamment à la base du projet CompCert qui a réalisé un compilateur pour le langage C entièrement certifié à l'aide de Coq. Il est également l'auteur de (en), qui était, avant la sortie de la version 2.6 du noyau Linux, la bibliothèque de threads la plus utilisée dans le système Linux. En 2007, Xavier Leroy est lauréat du Prix Monpetit. En 2011, il est lauréat du prix La Recherche en sciences de l'information, en tant que représentant du projet CompCert. En 2012, il reçoit le prix « Microsoft Research Verified Software Milestone Award Citation », là encore en tant qu'architecte de CompCert. En 2016, il est lauréat du prix Milner « en reconnaissance de ses réalisations exceptionnelles dans la programmation informatique », la même année il reçoit également le prix Van Wijngaarden. En 2018, il reçoit le Grand prix Inria-Académie des sciences et est nommé professeur au Collège de France sur la chaire de Sciences du logiciel.
dbo:citizenship
dbpedia-fr:France
dbo:award
dbpedia-fr:Prix_Van_Wijngaarden dbpedia-fr:Prix_Milner dbpedia-fr:Prix_Michel-Monpetit wikidata:Q102294596 wikidata:Q18748039
dbo:occupation
dbpedia-fr:Ingénieur wikidata:Q1622272 dbpedia-fr:Informaticien wikidata:Q5482740
dbo:discipline
dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Informatique
dbo:almaMater
dbpedia-fr:Université_Paris-Diderot dbpedia-fr:École_normale_supérieure_(Paris)
dbo:doctoralAdvisor
dbpedia-fr:Gérard_Huet