has abstract
Xavier Leroy (born March 15, 1 ...... ner Award by the Royal Society
@en
Xavier Leroy (né le 15 mars 19 ...... programmation informatique ».
@fr
alma mater
birth date
1968-03-15
doctoral advisor
doctoral student
field
nationality
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
744,677,222
workplaces
description
French computer scientistand programmer
@en
subject
hypernym
comment
Xavier Leroy (born March 15, 1 ...... he supervision of Gérard Huet.
@en
Xavier Leroy (né le 15 mars 19 ...... ment certifié à l'aide de Coq.
@fr
label
Xavier Leroy
@en
Xavier Leroy
@fr
wasDerivedFrom
gender
male
@en
givenName
Xavier
@en
isPrimaryTopicOf
name
Xavier Leroy
@en
surname
Leroy
@en