Dang, Thao (19..-.... ; chercheure en informatique)

Dang, Thao (19..-.... ; chercheure en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 121779823

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

Notice de type Personne

Point d'accès autorisé

Dang, Thao (19..-.... ; chercheure en informatique)

Sur le web

Variante de point d'accès

Thao Dang

[Nom de personne]

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,vietnamien,anglais

Pays : France

Date de naissance : 19XX

Genre : Féminin

Notes

Note publique d'information :

Enseignant-chercheur, spécialisé en Mathématiques et informatique (système de commande embarqué).- Directeur de recherche au CNRS. Membre du laboratoire VERIMAG (en 2015)

Identifiants externes

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

Identifiant ORCID : 0000-0002-3637-1415

Identifiant HAL : thao-dang

Identifiant SCOPUS : 57225977186

Source

Internet, http://www-verimag.imag.fr/PEOPLE/Thao.Dang/ (2015-09-29)

Information trouvée : directeur de recherche au CNRS.- Directrice de thèse.- Membre du laboratoire VERIMAG

Trajectoires pour la vérification et la commande de systémes continus et hybrides [Thèse 2007] / Alexandre Donzé

Information trouvée : Directrice d'une thèse en informatique et mathématiques soutenue à Grenoble 1 (en 2007)

Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle / Nikolaos Kekatos ; sous la direction de Goran Frehse et co-dirigée par Thao Dang. Thèse de doctorat : Informatique : Grenoble Alpes : 2018

Information trouvée : Co-directrice d'une thèse en Informatique soutenue Grenoble Alpes (en 2018)

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