About me

I am a postdoctoral research fellow working with Professor Ooi Beng Chin 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 (supervised by Professor Khoo Siau Cheng and Professor Chin Wei Ngan) from NUS in 2018. 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: taqt [at] comp.nus.edu.sg. Here are my CVs: short (2 pages), and long (5 pages).




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 (Fabric#) and 5G mobile network (5GEdgelet). 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 following papers are the highlights of my recent work. More details are available in this page.

Teaching and Services