Table of Contents

Research Interests

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 http://www.cse.hcmut.edu.vn/wscover/

BE-PUM: Binary Emulator for PUshdown Model generation: https://github.com/NMHai/BE-PUM

Implementation of NSGA-II by Python: https://pypi.org/project/nsga-2/

Using LCA (a logic-based extension of FCA) to analyze virus behaviours: http://marchgen.3forcom.info/

An online tool for Vietnamese-Bahnaric translation: https://www.ura.hcmut.edu.vn/bahnar/nmt/, iOS and Android versions can be downloaded at : https://apps.apple.com/vn/app/d%E1%BB%8Bch-thu%E1%BA%ADt-ba-na/id6462193072?l=vi and https://play.google.com/store/apps/details?id=com.hcmut.bahnar&pli=1

NAWAL: A self-supervised algorithm for graph alignment: https://drive.google.com/drive/folders/1hmcl4uW5cvzLy--TGeg-vlBI4Ca0j8W4?fbclid=IwAR0-Zs8qEz3aN_QZ_CZKHotvtM8gHJxBhAvPth0B0xcxMTubX9UXW-3_OC4

URA-LLaMa: Vietnamese large language models fine-tuned from LLaMa-2 https://huggingface.co/ura-hcmut

Projects

International Exposure

I was invited as visiting fellow at the following institutions:

Professional Activities

Chairs:

PC Member: