Room 610, International University. Block 6, Linh Trung Ward, Thu Duc District, HCM City, Vietnam Phone: (84-8) 37244270. Ext: 3410 Email: email@example.com
PhD of Computer Science, University of Bordeaux, France, 2013-2016
Topic: Verification of timed automata: Reachability, liveness and modeling
Advisors: Igor Walukiewicz, Frédéric Herbreteau
Master of Computer Science, University of Bordeaux, France, Vietnam, 2008-2010
Bachelor of Computer Science, University of Technical Education, Vietnam, 2003-2008
Lecturer & Researcher, International University (IU) – VNU-HCM, 2017-present
Researcher, Laboratoire Bordelais de Recherche en Informatique (LaBRI), University of Bordeaux, 2013-2016
Lecturer & Researcher, International University (IU) – VNU-HCM, 2011-2013
Full PhD Research scholarship granted by University of Bordeaux (10/2013-10/2016)
Master internship granted by French University Pole, Vietnam and LaBRI, University of Bordeaux (2010)
Data Structure and Algorithms
Management Information System
Formal method, graph theory, timed automata and its application,
Health Information System
Identification of hindered internal rotational mode for complex chemical species: A data mining approach with multivariate logistic regression model with Le Huynh Minh Triet and Huynh Kim Lam. CHEMOMETRICS AND INTELLIGENT LABORATORY SYSTEMS 172: 10-16 (November 2017)
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. with Frédéric Herbreteau, B. Srivathsan, and Igor Walukiewicz. 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016.
Improving search order for reachability testing in timed automata. with Frédéric Herbreteau. Proc. 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2015.
Verification of Timed Automata: reachability, liveness and modeling. PhD thesis, University of Bordeaux, France. 2016.