Academic Curriculum

Year

Description

2015 - Now 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é, Ho Chi 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 (2015-2017) Telecommunication and Network Application Programming (2015-2017)
Bases de Donnees (2015-2017) Database Foundation (2015-2017)
Bases des services reseaux (2015-2017) Networking Foundation (2015-2017)

Activities

Activity

Description

Upating soon! Upating soon!
Upating soon! Upating soon!
Upating soon! Upating soon!