Home » User

Dr. Tran Thanh Tung

Vice Dean
This user account status is Approved
Vice Dean

Room 610, International University.
Block 6, Linh Trung Ward, Thu Duc District, HCM City, Vietnam
Phone: (84-8) 37244270. Ext: 3410
Email: tttung@hcmiu.edu.vn

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)
  • C/C++ Programming
  • Data Structure and Algorithms
  • Object-Oriented Programming
  • Software Engineering
  • Management Information System
  • Blockchain
  • Formal method, graph theory, timed automata and its application,
  • Health Information System
  • Software Engineering

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.

  • Reading
  • Badminton