About me

I am a postdoctoral research fellow working with Professor Beng Chin Ooi at School of Computing, National University of Singapore (NUS). I obtained my BSc (1st Class Honors) 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 is: taqt [at] comp.nus.edu.sg. Here are my CVs: long CV / short CV.

Recent News


I do research in programming languages, software engineering, security, AI, blockchain, database, and networking. My current projects are on formal verification and analysis of smart contracts and 5G mobile network. During my PhD, I developed the theorem prover Songbird for proof obligations generated from automated software verification using separation logic. It is now used as a backend of the tool Hip/Sleek to verify C/C++/Java programs.

The followings are the highlights of my recent work. More details are available 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. I also couldn’t agree more with Professor Richard Feynman that teaching is a great way to learn. Below are the teaching tasks that I have taken recently.

Teaching Assistant:

Research Mentor: