paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 079082742Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

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

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

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

Identifiants externes

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

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

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