Hi! Welcome to my homepage!

My name is Trung. I am a research fellow at the Singapore Blockchain Innovation Programme (SBIP). Currently, I’m working with Professor Beng Chin Ooi at School of Computing, National University of Singapore (NUS) to analyze and verify the safety and security of blockchain smart contracts.

Previously, I obtained my B.Sc. from Hanoi University of Science and Technology (HUST), Vietnam in 2009 and Ph.D. from NUS, Singapore in 2018. My Ph.D. advisors are Professor Siau-Cheng Khoo and Professor Wei-Ngan Chin. I also worked previously in industry on computer security at BKAV, software development at A.N.Lab, Viettel, and FPT, and static software analysis at Oracle Labs Australia.

I can be reached at: ID@comp.nus.edu.sg, where ID = taqt.

Research

I’m interested in doing research in all areas related programming languages and software engineering, especially program analysis, software verification and testing. Currently, I am focusing on developing the static source code analyzer Discover to find bugs and vulnerabilities in computer programs and smart contracts. During my PhD, I implemented the theorem prover Songbird for proof obligations generated from automated software verification using separation logic. It is now used as a back-end of the tool Hip/Sleek to verify C/C++/Java programs.

More details about my research can be found in this page.

Teaching

Research Mentor:

• Nguyen Thi Tuyet Mai, final year undergraduate, HUST, 2009 - 2010 (final year project: SAT solving system).

• Pham Anh Tuan, exchanged undergraduate of HUST at NUS, 2012 (final year project: type inference system).

• Zhu Yongxin, final year undergraduate, NUS, 2014 - 2015 (final year project: Eclipse IDE-based GUI for software analyzer).

• Nguyen Thanh Toan, PhD student, NUS, 2017 - 2022 (thesis: formal verification-based program repair – defended in April 2022).

• Zhong Yuyi, PhD student, NUS, 2019 - present (PhD topic: formal verification of deep neural networks).

• Ren Kunpeng, PhD student, NUS, 2021 - present (PhD topic: crosschain transactions and blockchain interoperability), and Master student, Peking University, 2019 - 2020 (thesis: smart contract verification).

Teaching Assistant:

• CS5218, Principles of Program Analysis, School of Computing, NUS, 2015.

• YSC1212, Introduction to Computer Science, Yale-NUS College, NUS, 2016.

• CS6203, Advanced Topics in Database Systems, School of Computing, NUS, 2019.

• CS6203, Advanced Topics in Database Systems, School of Computing, NUS, 2021.

Services

• Reviewer of the conferences: CPP 2012, SAS 2013, ICFEM 2013, FM 2014, APLAS 2014, ICALP 2015, OOPSLA 2016, SV-COMP 2018, APLAS 2018, FLOPS 2018, CAV 2018, SEFM 2018, ATVA 2018, TACAS 2019, CAV 2019, ATVA 2019, ICDE 2020, SIGMOD 2020, KDD 2020, VLDB 2020, VLDB 2021, ATVA 2021, SIGMOD 2022, DASFAA 2022, ENASE 2022, VLDB 2022.

• Artifact Evaluation Committee Member of the conferences: POPL 2022, PLDI 2022.

• Mentor of the hackathon: Singapore Blockchain Innovation Challenge 2021.

• Administrator of the online forum ITBK for undergraduate students at School of Information and Communication Technology, HUST, 2007 - 2010.