Skip to content

Hai Nguyen Van

  • MSc Student
  • 1Followers
  • 1Following

Research interests

malwareformal methodsTheoretical Computer Science


My name is Hai. I am a graduate student in the Department of Computer Science at the Université Paris Diderot, France. I have been working in the Pratham student space team at the Institut de Physique du Globe de Paris for two years. I am now a former research intern in computer virology at Commissariat à l'Énergie Atomique, Laboratoire de Sûreté des Logiciels. ■


Followers (1)

Following (1)

Professional experience

Research Intern

Commissariat à l'Énergie Atomique

June 2013 - September 2013(3 months)

Software Developer

Institut de Physique du Globe de Paris


MSc Theoretical Computer Science

Department of Computer Science, Université Paris Diderot

September 2012 - January 2014(a year)

BSc Mathematical and Computer Sciences

Departement of Mathematics, Université Paris Diderot

September 2009 - September 2012(3 years)