Nghia NGUYEN

En résumé

Entreprises

• Institut Mines-Télécom - Ingénieur Post-doc

  Paris Cedex 13 2013 - maintenant Participation à un projet européen (31 partenaires, 7 pays) : générer des cas de test pour le Système européen de contrôle des trains en se basant sur ses modèles SysML.
  - Participation aux réunions de planification d'itération
  - Réalisation des User Stories (conception des comportements d'OBU des trains en SysML, définition des cas de test, ..)
  - Rédaction des livrables en anglais et français. ;
  - Programmation d'outil TestGen-IFx pour générer et exécuter des cas de test à partir d'une spécification IF, disponible à l'adresse : https://github.com/nhnghia/TestGen-IFx
  
  Java, Scrum, UML, SysML, C++, ShellScript, Git, Eclipse

• Laboratoire LRI - Université Paris Sud 11 - Ingénieur Doctorat

  2010 - 2013 Participation à un projet ANR pour développer une méthodologie de vérification/test automatique de la conformité des chorégraphies de services Web par rapport à sa spécification :
  - Participation aux réunions hebdomadaires ;
  - Rédaction et présentation d'articles à des conférences internationales
  - Programmation d'outils pour automatiser la vérification et le test.
  
  Logiciels libres réalisés pendant ma thèse de doctorat (environ 34.000 lignes de code Java) :
  
  SChorA est un framework pour analyser la réalisabilité et la conformité des chorégraphies de services. Il utilise la technique symbolique pour éviter le problème de l'explosion combinatoire de l'espace d'états du système. L'outil est une application Web qui peut être utilisé directement depuis un navigateur Web à l'adresse : http://schora.lri.fr
  
  PropTester est une testeur qui se base sur le processeur MXQuery pour tester en-ligne des services Web. L'outil est disponible à l'adresse https://www.lri.fr/ nhnghia/tools/prop-tester
  
  SOAP-capturer capture des messages échangés entre des services Web. Les utilisateurs peuvent obtenir ces messages en temps réel en s'abonnant à son canal de difusion. L'outil est disponible à l'adresse https://www.lri.fr/nhnghia/tools/soap-capturer
  
  SIP-parser est un traducteur des paquets SIP au fomart pcap en flux XML. Cela permet d'utiliser Prop-tester pour tester le protocole SIP. L'outil est disponible à l'adresse https://www.lri.fr/nhnghia/tools/sip-pcap-paser

• Laboratoire LORIA - Stage de Fin d'Études Master 2

  2009 - 2009 Conception d’une méthode de modélisation et de vérification automatique formelle du fonctionnements de véhicules autonomes. J’ai construit un outil pour vérifier automatiquement la cohérence entre une machine B et un processus CSP. L’outil a été intégré au framework Brillant (http://gna.org/projects/brillant/).
  
  Caml, Java, Eclipse, SVN.

• VINECO - Ingénieur Développement Web

  2005 - 2007 Participation au sein d'une équipe de 10 personnes chargée du développement des différents sites Web commerciaux.
  
  JSP, Servlet, PHP, ASP, JavaScript, JQuery, CSS, MySql, MS SQL Server, Eclipse, MS Visual Studio, Méthode Agile, CVS.

Formations

• Université Paris 11 Paris Sud

  Orsay 2010 - 2013 Diplôme national de Docteur en Informatique

• Institut De La Francophonie Pour L'Informatique (Hanoi)

  Hanoi 2007 - 2009 Master 2 en Réseaux & Systèmes Communicants

• Université De Transports Et De Communications De Hanoï (Hanoi)

  Hanoi 2001 - 2005 Ingénieur Informatique

Réseau

• Dinh An NGUYEN

• Traducteur Assermenté VIETNAMIEN