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 depuis 2007.
Responsable de l'option Informatique Embarquée.

ENSEIGNEMENT

Cycle préparatoire : algorithmique fonctionnelle et procédurale, encadrement TIPE
Cycle ingénieur :

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

RECHERCHE

Vérification automatique des logiciels (compilation et analyses statiques).

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