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)
- Data Structure and Algorithms
- Object-Oriented Programming
- Software Engineering
- Software Architecture
- Management Information System
- Data Visualization
- Blockchain
- Research on issuing certificates on blockchain at International University, Vietnam National University at Hochiminh city. 2023-present
- System for digital certificates on blockchain. 2019-2021
- Improve competency assessment test system. 2017-2018
- Blockchain
- Formal method, graph theory, timed automata and its application,
- Health Information System
- Software Engineering
IU-TransCert: A Blockchain-Based System for Academic Credentials with Auditability
with Minh-Quan Le, Hai-Duong Le, and Anh Vu Dinh-Duc. In Proceedings of the 12th International Symposium on Information and Communication Technology (SOICT '23). 2023
Data Augmentation Methods for Semantic Similarity Detection in Vietnamese Questionnaire
with Nguyen Ngoc Tram Anh. RIVF International Conference on Computing and Communication Technologies (RIVF). 2022
IU-SmartCert: A Blockchain-Based System for Academic Credentials with Selective Disclosure
with Hai-Duong Le. Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications. 2021
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
with Frédéric Herbreteau, B. Srivathsan, and Igor Walukiewicz. ACM Transactions on Computational Logic (TOCL) 21.3 (2020): 1-28.
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.
Patent
- Method And Blockchain-Based System for Managing Credentials In Batch With Selective Attributes Disclosure/Hiding And Auditable Merkle Tree. 2023
- Method And Blockchain-Based System for Managing Credentials With Selective Attributes Disclosure/Hiding. 2022
- Method and system for semantic similarity checking among question-answer pairs. 2020
- Reading
- Badminton