Caucal, Didier

Caucal, Didier

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 059765097

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

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