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.


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.


Research Mentor:

Teaching Assistant: