Quang Trung Ta ☕️

Quang Trung Ta

Research Fellow

National University of Singapore

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.

Experience

 
 
 
 
 
Singapore Blockchain Innovation Programme
Research Fellow
Singapore Blockchain Innovation Programme
September 2021 – Present National University of Singapore, Singapore
Working on blockchain security, smart contract verification, smart contract fuzzing, and blockchain interoperability.
 
 
 
 
 
School of Computing, National University of Singapore
Research Fellow
School of Computing, National University of Singapore
July 2018 – August 2021 Singapore
Worked on smart contract verification, neural network verification, and fuzzing testing.
 
 
 
 
 
Oracle Labs Australia
Research Assistant
Oracle Labs Australia
April 2017 – October 2017 Australia
Worked on separation logic and static analysis to detect bugs in computer programs.

Patents

Vulnerability Detection for Smart Contracts in Blockchain Platforms – Quang Trung Ta, Nhut Minh Ho, Beng Chin Ooi – Patent Cooperation Treaty (PCT), Singapore, 2023 (filed).

Buffer Overflow Detection Based on A Synthesis of Assertions from Templates and K-Induction – Francois Gauthier, Nathan Keynes, Padmanabhan Krishnan, Cristina Cifuentes, Quang Trung Ta – United States Patent and Trademark Office, 2021 (issued).