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

Point d'accès autorisé

Pous, Damien (19..-.... ; chercheur en informatique)

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
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique (ENS de Lyon, 2008)

Note publique d'information : 
Directeur de Recherche au sein du Laboratoire de l'Informatique du Parallélisme (LIP - CNRS/ENS Lyon/Université de Lyon)

Identifiants externes

Identifiant ORCID : 0000-0002-1220-4399
Identifiant HAL : dpous
Identifiant SCOPUS : 8730892500

Source

Internet, https://www.ins2i.cnrs.fr/fr/personne/damien-pous, 2024-05-27

Techniques modulo pour les bisimulations faibles / Damien Pous ; sous la direction de Daniel Hirschkoff et Pierre Lescane [thèse]

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