Nga NGUYEN

Click here for Biography in English

Nom : NGUYEN

Prénom : Nga

Email : nga.nguyen@eisti.eu

Téléphone : 01 34 25 10 21

Site personnel http://nn.perso.eisti.fr

Département : Informatique

Docteur en informatique de l'École des Mines de Paris (2002).
Maître de conférences à l'Université Louis Pasteur, Strasbourg (2004-2007).
Enseignant-chercheur à l'EISTI (2007 - présent).
Responsable de l'option Informatique Embarquée.
Directrice du département informatique (2016 - présent)

ENSEIGNEMENT

Prépa EISTI : algorithmique fonctionnelle et procédurale, encadrement TIPE
Cursus École d'Ingénieurs :

  • 1ère année : bases de données, modélisation orientée objet (UML), programmation (C, Java)
  • 2ème année : programmation C++
  • 3ème année : vérification par analyse statique,  model checking,  hardware software interface, ingénierie système basée modèle (SysML)

RECHERCHE

Vérification automatique des logiciels (compilation et analyse statique de code).

Analyse de sûreté de fonctionnement (MBSE, MBSA, méthodes formelles).

Systèmes embarqués et objets connectés (cyber-sécurité, protocoles de routage, IoT,IoV)