Dieumegard, Arnaud (1985-.... ; docteur en informatique)

Dieumegard, Arnaud (1985-.... ; docteur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 188240039

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

Notice de type Personne

Point d'accès autorisé

Dieumegard, Arnaud (1985-.... ; docteur en informatique)

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

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse en Sureté de logiciel et calcul à haute performance, soutenue à l'INPT le 30 Janvier 2015

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/834144647709575707839

Identifiant SCOPUS : 55580662300

Source

Formal Guaranties for Safety Critical Code Generation: the Case of Highly Variable Languages. (Garanties formelles pour la génération de code critique : L’affaire des langages fortement variables.) / Arnaud Dieumegard ; dir. Yamine Ait-Ameur et Marc Pantel

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