Research Interests

  • Formal methods
  • Program analysis/verification
  • Intelligent Systems
  • Social Computing
  • Semantic Web
  • Ontology Engineering
  • Machine Learning/Data Mining
  • Information Retrieval
  • Natural Language Processing

Research Group

Dr. Quan Thanh Tho is currently leading a research group so-called URA (Unlimited Research group on AI), which aims at theorerical research and applications of AI. Our group includes some experienced researchers and numerous overseas consultants and collaborators in SMU (Singapore), Paris 13, NUS (Singapore),NTU (Singapore), EPFL (Switzerland), Labri (France),JAIST (Japan).

We also collaborate with some industry partners including Bosch, LoGiGear, LARION Computing, FPT Technology Research Institute, YouNet, DeNA, Digi Texx, Cyber Logitec, Rever, Truong Minh Thinh,KMS Technology, Vietnam Blockchain Corporation, Individuals System,DevUP.

Some research tools developed from our group:

WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering

BE-PUM: Binary Emulator for PUshdown Model generation:

Implementation of NSGA-II by Python:

Using LCA (a logic-based extension of FCA) to analyze virus behaviours:

An online tool for Vietnamese-Bahnaric translation:, iOS and Android versions can be downloaded at : and

NAWAL: A self-supervised algorithm for graph alignment:

URA-LLaMa: Vietnamese large language models fine-tuned from LLaMa-2


  • Developing efficient methods for mining high utility itemsets on hierarchical databases - Funded by VNU-HCM (2023-2025) - B2023-28-02
  • An AI System for Monitoring and Prediction of Anomalies in 4G Radio Network - Funded by VNPT, 2022-2023
  • A multivariate time-series deep-learning model for an online powermetry prediction (PI) Funded by VNU-HCM (2021-2023) - C2021-20-13
  • Intelligent Chatbot for Real Estate Domain - Funded by Hung Thinh Group, 2021-2022
  • Human and Algorithms for Detecting and Counter-attacking Fake Medical News - Collaborated with EPFL (Switzerland) - Funded by Nafosted (PI), 2021-2023
  • A research on Artificial Intelligence methodology to support advanced analytic and geological, geophysical, and production data interpretation to improve the efficiency of Hai Thach – Moc Tinh gas condensate field operation - Lot 05-2; 05-3, Bien Dong, Vietnam - Key National Project (2021-2024)
  • Computer Vision for Japanese Water Clock - funded by Cube System Vietnam (2021)
  • Intelligent UI Design System - funded by KMS (2021)
  • Development of a Vietnamese- Bahnaric machine translation and Bahnaric text-to-speech system (all dialects) - KC-4.0-29/19-25 (PI) - funded by MOST (2021-2024)
  • Development of an AI system for automatic machine translation and text-to-speech system for the Ba Na Kriem language - funded by Binh Dinh Province (2021-2024)
  • Intelligent chatbot systems (PI) - - Funded by Truong Minh Thinh Corp. (PI), 2021-2022
  • An intelligent system to analyze real estate images (PI) - - Funded by Rever (PI), 2021-2022
  • An intelligent system to real-time monitor real estate market (PI) - - Funded by Hung Thinh group (PI), 2020-2021
  • Recognizing modern Japanese magazines by combining Deep Learning with language models (PI) - - Joint research project with ROIS-DS Center for Open Data in the Humanities (CODH), Japan, 2020-2021
  • Intelligent Systems (PI) - - Funded by CyberLogiTech (PI), 2021-2022
  • Development of an AI system integrating petroleum geological data to assess oil and gas prospect (KC.01 program), 2020-2022
  • Smart Contract Verification by Static Analysis (PI), Funded by HCMUT (2019-2020) - To-KHMT-2019-08
  • Emerging Big Data/AI and IoTs/5G technologies for smart cities (Co-PI), Funded by Vingroup Innovation Foundation (VINIF) (2019-2022) - VINIF.2019.DA01
  • A Blockchain-based Logistics System (PI) Funded by Entropy JVN
  • Combination of Object Extraction and Machine Learning for Aspect-based Sentiment Analysis on Vietnamese Documents (PI) Funded by VNU-HCM (2018) - B2018-20-07
  • Intelligent Recommender Systems for E-Commerce Applications with Big Data Analytics - Funded by NAFOSTED (2018)
  • Pilot study on flight delay using Machine Learning (PI) - Funded by NTU (Singapore) (2017) -
  • Using formal methods for detection and classification of packed malware (PI) Funded by NAFOSTED (2016) - 102.01-2015.16
  • Vietnamese Co-reference Resolution in Aspect-based Sentiment Analysis (PI) Funded by VNU-HCM (2016) - C2016-20-36
  • Modeling and Verification of Wireless Sensor Networks using Petri Nets (co-PI) Funded by HCMUT (2016) - TNCS-2015-KHMT-38
  • A Verification Tool for Wireless Sensor Networks using Advanced Petri Nets (co-PI) - (2016) - TSÐH-2015-KHMT-56
  • Development of Security Policy for Enterprise (PI) - Funded by EMCAS (2015)
  • Pushdown Model Generation from Binaries (PI) - Funded by HCMUT (2015) - TNCS-2015-KHMT-06 (co-PI)
  • Intelligent Tourism Recommendation System (PI) - Funded by Airlink (2015-2016)
  • Efficient verification of Petri Nets using symbolic observation graph (PI) - Funded by HCMUT (2015) - T-KHMT-2015-31 (participating)
  • A hybrid approach for constructing control flow graph from binary code (PI) - Joint research project with JAIST (Japan), funded by VNU-HCM (2013)
  • Compositional Analysis of Timed Systems (PI) - Joint research project with University of Paris 13, France and NUS, Singapore (2013-2014)
  • Virus Detection Using Formal Methods (PI) - funded by HCMUT (2012-2013) - TNCS-2012-KHMT-05
  • Query-Answering and Information Retrieval Techniques for Vietnamese Digital Libraries (co-PI with Prof. Phan Thi Tuoi)- funded by VNU-HCMUT (2012-2013)
  • Logic Test-case Generation (PI)- funded by HCMUT (2012-2013)
  • Development of An Online System for Static Verification (PI) - funded by HCM-VNU (2011-2012)
  • Program Analysis and Verification for e-Learning (PI) - funded by HCM-VNU and World Bank (2009-2011)
  • Information Extraction and Integration on Vietnamese Semantic Web - National university key project funded by HCM-VNU (2007-2009)
  • Advanced Methods for Knowledge Representation and Integration with Applications - Joint research project with JAIST, Japan and University of Bristol, UK (2006-2008).
  • Interactive System for e-Learning Assistance using Clustering and Information Retrieval Techniques (PI) - funded by HCMUT (2008)

International Exposure

I was invited as visiting fellow at the following institutions:

Professional Activities


  • ACIS 2014
  • MIWAI 2012

PC Member:

  • ACIS 2014
  • CISIM 2014
  • ACOMP 2014
  • KSE 2014
  • FSFMA 2014
  • MIWAI 2014
  • ATVA 2013
  • ACOMP 2013
  • APSEC 2012
  • MIWAI 2013
  • MIWAI 2012
  • APSEC 2011
  • MIWAI 11
research.txt · Last modified: 2024/01/17 14:55 by Quan Thanh Tho
Recent changes RSS feed Debian Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki