paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 079082742Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/079082742/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Leroux, Jérôme (1976-....)

Sur le web

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 : français,anglais
Pays : France
Date de naissance :    1976
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en informatique

Note publique d'information : 
En poste à l'Université de Bordeaux, directeur de recherche CNRS au Laboratoire Bordelais de Recherche en Informatique (LaBRI - UMR 5800) en 2019

Identifiants externes

Identifiant HAL : jerome-leroux
Identifiant VIAF : http://viaf.org/viaf/315947194
Identifiant SCOPUS : 23397064800

Source

//www.labri.fr/perso/leroux/, 2019-06-25

Information trouvée : en poste à l'Université de Bordeaux, directeur de recherche CNRS au Laboratoire Bordelais de Recherche en Informatique (LaBRI - UMR 5800)
Algorithmique de la vérification des systèmes à compteurs : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]. ENS Cachan : 2003

Information trouvée : auteur d'une thèse soutenue en 2003

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