Menu

Nghia NGUYEN

Paris Cedex 13

En résumé

Mes compétences :
Java
ECLiPSe
JQuery
Microsoft SQL Server
JavaScript
Java Server Pages
Apache Subversion
Service Oriented Architecture
NetBeans
MySQL
Microsoft Windows
Microsoft Visual Studio
Mac OS X
Cascading Style Sheets
C++
C Programming Language
Active Server Pages
IOS
XCode
UML/OMT
SysML
Scrum Methodology
SQL
SOAP
SIP
PostgreSQL
Objective C
Méthode Agile
Microsoft C-SHARP
Microsoft ASP.NET
Mandriva
Linux Red Hat
Linux Debian
Linux
Java Servlets
Jakarta TOMCAT Servlet Engine
HTML5
Google Web Toolkit
Git
CVS
CSP
CAML
BPEL
Application Web
AJAX
JAVA/J2EE
Automobile

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

Annuaire des membres :