paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 026985691Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Leroy, Xavier (1968-.... ; chercheur en informatique)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Francais
Pays : France
Date de naissance :    1968
Genre : Masculin

Notes

Note publique d'information : 
Travaille à l'Institut national de recherche en informatique et en automatique (INRIA) (en 2011)

Note générale sur le champ d'application : 
Ne pas confondre avec : Leroy, Xavier (19..-.... ; informaticien) auteur de : Logo, langage pour tous

Note publique d'information : 
Docteur en informatique. Ancien élève de l'École normale supérieure.

Note publique d'information : 
Chercheur invité à l'Université de Stanford, Californie (en 1993)

Note publique d'information : 
Professeur au Collège de France (2018-....), titulaire de la chaire Sciences du logiciel

Source

Internet, http://gallium.inria.fr/~xleroy/, 2011-12-14

Le langage Caml / Pierre Weis, Xavier Leroy, 1993

Le logiciel : entre l'esprit et la matière / Xavier Leroy. - [Paris] : Collège de France : Fayard, DL 2019. - (Leçons inaugurales du Collège de France ; n° 284)

Autres identifiants

Identifiant BNF : FRBNF11912631X
Identifiant VIAF : http://viaf.org/viaf/116467961
Identifiant ISNI : 0000000114556489

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...