Thanh-Toan Nguyen

Thanh-Toan Nguyen

Researcher at Huawei Hong Kong

Thanh-Toan Nguyen

Short Bio

I am a researcher at Huawei Hong Kong, working on applying formal methods to solve practical problems inside Huawei.

I received the Ph.D. degree in Computer Science from the National University of Singapore in 2022, and the B.S. in Computer Science from VNU University of Engineering and Technology in 2015.

My research interests include formal verification, static analysis, and program repair.

Working Experiences

I am a researcher at Huawei Hong Kong since October 2023, focusing on applying formal methods to solve practical problems.

Previously, I was a Research Fellow at the National University of Singapore from April 2022 to October 2023.

Before that, I was an Applied Scientist Intern at Amazon, London. I also worked as a Research Assistant at NUS Computing, a Research Intern at the National University of Singapore, a Research Intern at JAIST, Japan, and a Software Developer at FPT Software, Vietnam.

Selected Publication

  • Interoperability in Blockchain: A Survey. Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu. IEEE Transactions on Knowledge and Data Engineering, 2023.

  • KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation. Ziyi Guan, Jason Chun Lok Li, Zhijian Hou, Pingping Zhang, Donglai Xu, Yuzhi Zhao, Mengyang Wu, Jinpeng Chen, Thanh-Toan Nguyen, Pengfei Xian, Wenao Ma, Shengchao Qin, Graziano Chesi, Ngai Wong. Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025.

  • Automated Repair of Heap-Manipulating Programs using Deductive Synthesis. Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin. International Conference on Verification, Model Checking, and Abstract Interpretation, 2021.

  • Automatic Program Repair Using Formal Verification and Expression Templates. Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin. International Conference on Verification, Model Checking, and Abstract Interpretation, 2019.

  • A Certified Decision Procedure for Tree Shares. Xuan-Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor. International Conference on Formal Engineering Methods, 2017.