Academic Curriculum

Year	Description
2015 - 2018	PhD of Computer Science. LIPN - Paris 13 Université, Villetaneuse, France. Thesis: Efficient Parametric Verification of Parametric Timed Automata. Supervisors: Laure Petrucci, Étienne André.
2012 - 2014	Master of Software Engineering. Bordeaux Université, Hồ Chí Minh City (Saïgon), Vietnam. With Honour First Class. GPA: 15.6/20. Thesis: Distributed Verification of Real-Time Systems - Nominated for Best Thesis . Supervisors: Laure Petrucci, Étienne André, Camille Coti.

Teaching

Course	Description
Application informatique dédiée aux R&T	Telecommunication and Network Application Programming
Bases de Donnees	Database Foundation
Bases des services reseaux	Networking Foundation

Working

Title	Description
Software Engineer	Website Development