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

Point d'accès autorisé

Girol, Guillaume (1995-....)
Nom à l'état civil

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

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique (université Paris-Saclay, 2022)

Identifiants externes

Source

Robust reachability and model counting for software security / Guillaume Girol ; sous la direction de Sylvain Conchon ; sous le co-encadrement de Sébastien Bardin. Thèse de doctorat : Informatique : université Paris-Saclay : 2022

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