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

Point d'accès autorisé

Caucal, Didier

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'une thèse de 3ème cycle en Informatique Théorique à l'Université de Paris 7, 1985. En poste à l'IRISA (institut de recherches en informatique et systèmes aléatoires), Université de Rennes 1 (en 2001)

Note publique d'information : 
Directeur de recherche au Laboratoire d'Informatique Gaspard-Monge (LIGM - UMR UMR 8049) de l'Université Paris-Est Marne-la-Vallée (en 2019)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/5649820
Identifiant HAL : didier-caucal
Identifiant SCOPUS : 6603114654
Identifiant ISNI : 0000000397310170

Source

//ligm.u-pem.fr/membres/permanents/moa/didier-caucal/,2019-06-25

Information trouvée : directeur de recherche au Laboratoire d'Informatique Gaspard-Monge (LIGM - UMR UMR 8049) de l'Université Paris-Est Marne-la-Vallée

Décidabilité de l'équivalence forte des schémas récursifs de programmes monadiques / Didier Caucal, 1985 [Thèse]

Familles abstraites de graphes / par Tanguy Urvoy [Thèse], sous la dir. de Didier Caucal, 2003

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