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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n21http://www4.wiwiss.fu-berlin.de/dblp/resource/person/
n9https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n26https://dblp.org/pid/03/
freebasehttp://rdf.freebase.com/ns/
n27http://viaf.org/viaf/
n23http://azb.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n17http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n30https://xavierleroy.org/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
n24http://mg.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n32http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Caml
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
dbp:designer
dbr:Xavier_Leroy
dbo:designer
dbr:Xavier_Leroy
Subject Item
dbr:Benevolent_dictator_for_life
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:CompCert
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
dbp:author
dbr:Xavier_Leroy
dbo:author
dbr:Xavier_Leroy
Subject Item
dbr:Laboratorium_(art_exhibition)
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:Leroy,_Xavier
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
dbo:wikiPageRedirects
dbr:Xavier_Leroy
Subject Item
dbr:Leroy_(name)
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:Hebbel_am_Ufer
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:LinuxThreads
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:Adriaan_van_Wijngaarden
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:List_of_French_inventions_and_discoveries
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:Gérard_Huet
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
dbp:doctoralStudents
dbr:Xavier_Leroy
dbo:doctoralStudent
dbr:Xavier_Leroy
Subject Item
dbr:ACM_Software_System_Award
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:Hila_Peleg
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:OCaml
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
dbo:designer
dbr:Xavier_Leroy
Subject Item
dbr:Xavier_Leroy
rdf:type
yago:Programmer110481268 yago:WikicatFrenchComputerScientists dbo:Person dbo:Scientist yago:Organism100004475 yago:Alumnus109786338 wikidata:Q901 yago:Object100002684 dbo:Species yago:CausalAgent100007347 yago:LivingThing100004258 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 yago:ComputerUser109951274 foaf:Person yago:Scholar110557854 yago:ComputerScientist109951070 yago:Engineer109615807 owl:Thing yago:Person100007846 yago:Intellectual109621545 n22:NaturalPerson yago:Expert109617867 schema:Person yago:Scientist110560637 dbo:Animal yago:WikicatLivingPeople yago:Specialist110631941 yago:InteriorDesigner110210648 wikidata:Q19088 yago:WikicatProgrammingLanguageDesigners yago:WikicatProgrammingLanguageResearchers wikidata:Q215627 yago:WikicatComputerProgrammers wikidata:Q5 yago:PhysicalEntity100001930 dbo:Eukaryote yago:ResearchWorker110523076 yago:WikicatÉcoleNormaleSupérieureAlumni wikidata:Q729
rdfs:label
Xavier Leroy Лерой, Ксавье كزافييه لوروا 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 ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert. Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France. Before his appointment at Collège de France in 2018, he was senior scientist (directeur de recherche) at the French government research institution Inria. Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet. كزافييه لوروا (بالفرنسية: Xavier Leroy)‏ هو عالم حاسوب ومبرمج ومهندس فرنسي، ولد في 15 مارس 1968. Ксавье Леруа (фр. Xavier Leroy; род. 15 марта 1968 года) — французский информатик и программист. Известен как основной разработчик системы OCaml. Старший научный сотрудник (фр. directeur de recherche) французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.
foaf:name
Xavier Leroy
dbp:name
Xavier Leroy
foaf:depiction
n17:Xavier_Leroy.jpg
dbo:birthDate
1968-03-15
dcterms:subject
dbc:École_Normale_Supérieure_alumni dbc:1968_births dbc:French_computer_scientists dbc:Programming_language_researchers dbc:Living_people dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Programming_language_designers dbc:Computer_programmers
dbo:wikiPageID
1623543
dbo:wikiPageRevisionID
1111112506
dbo:wikiPageWikiLink
dbc:Computer_programmers dbr:Coq dbr:Functional_programming dbc:École_Normale_Supérieure_alumni dbr:Milner_Award dbr:Formal_verification dbc:1968_births dbr:Thread_(computer_science) dbr:Formal_method dbc:French_computer_scientists dbr:Gérard_Huet dbr:ACM_Software_System_Award dbr:OCaml dbr:CompCert dbr:Paris_Diderot_University dbr:Computer_science dbr:Association_for_Computing_Machinery dbr:Computer_scientist dbr:Collège_de_France dbr:NPTL dbr:SIGPLAN dbr:LinuxThreads dbr:C_(programming_language) dbr:Royal_Society dbr:Programmer dbc:Programming_language_researchers dbr:Compiler dbr:Fellow dbc:Living_people dbr:PhD dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Linux_kernel dbr:Inria dbc:Programming_language_designers dbr:École_normale_supérieure
dbo:wikiPageExternalLink
n30:
owl:sameAs
n9:3J2wE dbpedia-fr:Xavier_Leroy dbpedia-fa:خاویر_لیروی yago-res:Xavier_Leroy freebase:m.05hhq8 n21:160993 n23:خاویر_لیروی n24:Xavier_Leroy n26:352 n27:116467961 dbpedia-ar:كزافييه_لوروا dbpedia-ru:Лерой,_Ксавье wikidata:Q3570727 n32:p17316191X
dbp:wikiPageUsesTemplate
dbt:Ublist dbt:Authority_control dbt:France-compu-bio-stub dbt:Reflist dbt:Milner_Award_laureates dbt:Wikiquote dbt:Short_description dbt:Birth_date_and_age dbt:Infobox_scientist
dbo:thumbnail
n17:Xavier_Leroy.jpg?width=300
dbp:almaMater
dbr:Paris_Diderot_University
dbp:birthDate
1968-03-15
dbp:caption
Leroy in 2010
dbp:fields
dbr:Computer_science
dbp:nationality
French
dbo:abstract
كزافييه لوروا (بالفرنسية: Xavier Leroy)‏ هو عالم حاسوب ومبرمج ومهندس فرنسي، ولد في 15 مارس 1968. Ксавье Леруа (фр. Xavier Leroy; род. 15 марта 1968 года) — французский информатик и программист. Известен как основной разработчик системы OCaml. Старший научный сотрудник (фр. directeur de recherche) французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ. Является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время приобрёл интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq. Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0, 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра. В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора». В 2016 был удостоен британским Лондонским королевским обществом и премии ван Вейнгаардена нидерландским Центром математики и информатики. Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France. Before his appointment at Collège de France in 2018, he was senior scientist (directeur de recherche) at the French government research institution Inria. Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet. He is an internationally recognized expert on functional programming languages and compilers. In recent years, he has taken an interest in formal methods, formal proofs and certified compilation. He is the leader of the CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq. Leroy was also the original author of LinuxThreads, the most widely used threading package for Linux versions prior to 2.6. Linux 2.6 introduced NPTL, with much more extensive support from the kernel, to replace LinuxThreads. In 2015 he was named a fellow of the Association for Computing Machinery "for contributions to safe, high-performance functional programming languages and compilers, and to compiler verification." He was awarded the 2016 Milner Award by the Royal Society, the 2021 ACM Software System Award, and the 2022 ACM SIGPLAN Programming Languages Achievement Award. 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 ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert.
dbp:doctoralAdvisor
dbr:Gérard_Huet
dbo:doctoralAdvisor
dbr:Gérard_Huet
gold:hypernym
dbr:Scientist
schema:sameAs
n27:116467961
prov:wasDerivedFrom
wikipedia-en:Xavier_Leroy?oldid=1111112506&ns=0
dbo:wikiPageLength
4160
dbo:academicDiscipline
dbr:Computer_science
dbo:almaMater
dbr:Paris_Diderot_University
foaf:isPrimaryTopicOf
wikipedia-en:Xavier_Leroy
Subject Item
dbr:Roomade
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
dbr:SIGPLAN
dbo:wikiPageWikiLink
dbr:Xavier_Leroy
Subject Item
wikipedia-en:Xavier_Leroy
foaf:primaryTopic
dbr:Xavier_Leroy