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

Point d'accès autorisé

Garoche, Pierre-Loïc (1982-....)

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
Pays : France
Date de naissance :    1982
Genre : Masculin

Notes

Note publique d'information : 
Ingénieur de recherche à l'Onera (2013)

Note publique d'information : 
Président du jury et rapporteur d'une thèse en Informatique à Université Côte d'Azur en 2023

Identifiants externes

Identifiant HAL : pierre-loic-garoche
Identifiant ORCID : 0000-0002-0513-6076
Identifiant VIAF : http://viaf.org/viaf/200085994
Identifiant SCOPUS : 14044973900
Identifiant ISNI : 0000000139830034

Source

Analyse statistique d'un calcul d'acteurs par interprétation abstraite / Pierre-Loïc Garoche [Thèse de doctorat : Toulouse, INPT : 2008]

Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique / Fabien Siron ; sous la direction de Dumitru Potop-Butucaru et Robert De Simone. Thèse de doctorat : Informatique : Université Côte d'Azur : 2023

Information trouvée : président du jury et rapporteur de thèse

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