Research Interests

• Program Compilation and Optimization
  • Current research team : PCO - ICPS
• Software Verifications by Program Analyses
  • Advanced scalar and array variable analyses to detect out-of-bound errors, used-before-set errors, etc
  • Combination of static analyses and code instrumentation to reduce runtime overhead
  • Research team : PIPS, Centre de recherche en informatique, Ecole nationale supérieure des mines de Paris
• User Profiles in Peer-to-peer E-learning Systems
  • SIAR - Centre de recherche en informatique de Paris 5, Université René Descartes, octobre 2003 – présent
• Formal Concept Analysis
  • Master Thesis in Applied Mathematics for Computer Science, Hanoi National University, octobre 1998 – avril 1999