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 BSc from Hanoi University of Science and Technology (HUST), Vietnam in 2009 and PhD from NUS, Singapore in 2018. My PhD 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.

My email address is: 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.


I always enjoy teaching and mentoring junior students. I was inspired by Professor Olivier Danvy’s belief that watching students grow is a joy and the physicist Richard Feynman that teaching is a great way to learn. Below are the teaching and mentoring tasks that I have taken recently.

Research Mentor:

Teaching Assistant: