Duong NGUYEN QUE

En résumé

Entreprises

• KTM-advance - Chef de projet technique

  2010 - maintenant - Outils de production
  - Développement serious games

• KDPGroupe - Lead Ingénieur de Développement

  2006 - 2010 Développement/maintenance des plateformes des jeux en flash actionscript, php, mysql et linux.
  
  

• Centre de recherche en informatique, Ecole des mines de Paris - Thésard

  2002 - 2006 Chercheur-doctorant, Centre de recherche en informatique, École des mines de Paris, France
  
  Développement d’un compilateur scientifique appelé PIPS
  • Analyse, vérification et optimisation des programmes scientifiques en Fortran, utilisant des techniques innovantes (interprétation abstraite, programmation par contraintes). Mes travaux concernent directement l’élaboration de PIPS aux niveaux conception algorithmique, mise au point, développement et benchmarking (standards industriels PerfectClub, SPEC 95, SPEC 2000)
  • Partenaire industriel : EDF
  • Environnement technique: C, C++, Solaris, Linux, Subversion (SVN)
  
  Projet Analyse des programmes numériques (APRON)
  • Analyse des APIs des librairies utilisées et développement d’un prototype pour une interface commune en Java
  • Partenariat : École normale supérieure de Paris, École Polytechnique, Vérimag et Institut de recherche en informatique et systèmes aléatoires (IRISA)
  • Environnement technique : C, C++, Ocaml, Java, Linux, Windows, Subversion (SVN)

• Centre de recherche en informatique, Ecole des mines de Paris - Stagiaire

  2002 - 2002 Stage de fin d’études du Diplôme d’études professionnelles approfondies, Centre de recherche en informatique, École des mines de Paris, France
  
  Analyses de différentes librairies (en C, C++, Ocaml)
  • Comparaison aux niveaux théorique et expérimental, implantation et amélioration des librairies de preuve automatique des propriétés des programmes

• Institut de la francophonie pour l'informatique, Vietnam - Chef de projet

  2001 - 2001 Développement d’un système de gestion de contenu
  • Environnement technique : Rational Rose (UML), PHP, Windows
  
  Développement d’un jeu traditionnel vietnamien de carte en réseau
  • Environnement technique : Rational Rose (UML), IDL, Java, CORBA, Windows

• Compagnie Nationale d’électricité de Vietnam - Ingénieur de développment

  2000 - 2000 Stage fin d’études universitaires, Compagnie nationale d’électricité de Vietnam
  
  Gestion des matériels en réseau avec une base de données centralisée
  • Environnement technique : Microsoft Visual Basic, Visio, Windows NT

Formations

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

  Hanoi 1999 - 2002 Informatique
  
  DEPA

• Hanoi University Of Science HUS (Hanoi)

  Hanoi 1995 - 1999 Mathématiques
  
  Mathématiques