My name is Quang Trung. I am a research fellow working with Professor Ooi Beng Chin at the Singapore Blockchain Innovation Programme (SBIP) at School of Computing, National University of Singapore (NUS). I do research and develop techniques to ensure the security and safety of blockchains, smart contracts, cross-chain bridges, and DeFi applications.

I earned my Ph.D. degree in Computer Science from NUS in 2018, advised by Professor Khoo Siau Cheng and Professor Chin Wei Ngan. Beside blockchains and smart contracts, I’m also working on software verification, fuzzing testing, and neural network verification.

My email is: [email protected], where ID = taqt.