Introduction
I am a researcher at Huawei Hong Kong Research Centre. I am a member of the Fermat lab. We work on applying formal methods to practical problems in Huawei. Before that, I was a research fellow at the Singapore Blockchain Innovation Programme (SBIP), working with Professor Beng Chin Ooi. I did my Ph.D at National University of Singapore, supervised by Professor Wei-Ngan Chin.
Publications
- Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, and Feida Zhu. Interoperability in Blockchain: A Survey In TKDE, 2023.
- Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, and Wei-Ngan Chin. Automated Repair of Heap-Manipulating Programs using Deductive Synthesis. In VMCAI, 2021.
- Thanh-Toan Nguyen, Quang-Trung Ta, and Wei-Ngan Chin. Automatic Program Repair using Formal Verification and Expression Templates. In VMCAI, 2019.
- Xuan-Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, and Aquinas Hobor. A Certified Decision Procedure for Tree Shares. In ICFEM, 2017.
- Mihaela Sighireanu, Juan Antonio Navarro Perez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, and Zhilin Wu. SL-COMP: Competition of Solvers for Separation Logic. In TOOLympics @ TACAS, 2019.
Experiences
We work on solving practical problems inside Huawei using formal methods such as TLA+ model checking, separation-logic-based verification, property-based testing.
We work on formal verification and program analysis of smart contracts.
I joined the Automated Reasoning Group, supervised by Pavle Subotic and Bor-Yuh Evan Chang. We aimed to find concise explanations of static analysis results.
- CS4215 - Programming Language Implementation, AY 2016/2017 Semester 2.
- CS4212 - Compiler Design, AY 2017/2018 Semester 1.
- CS4215 - Programming Language Implementation, AY 2017/2018 Semester 2.
- CS4212 - Compiler Design, AY 2018/2019 Semester 1.
- YSC1212 - Introduction to Computer Science, 2018/2019 Semester 2.
Projects
Others
- External reviewer: OOPSLA 16, VMCAI 2017, CAV 2017, CAV 2018, CAV 2019, POPL 2022
- Attendant of Verification Mentoring Workshop (Heidelberg, 2017).
- Attendant of the IIAS Winter School on Formal Verification (Jerusalem, 2017).