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

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

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 127405690

URI de l'entité : http://www.idref.fr/127405690/id

Notice de type Personne

Point d'accès autorisé

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

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

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 : ...