Xin chào (Hello)! I am currently a Research Scientist at Singapore Management University (SMU), specializing in AI Security. I earned my PhD in Computer Science from SMU under the guidance of Prof. Sun Jun. Before that, I completed my BSc in Computer Science at VNU HCM. With five years of experience as a software engineer, I've led numerous projects. Notable among these, Lumin is the most successful project under my leadership.
Github | Linkedin | Google Scholar | CV
👉 duytai.cse (at) gmail.com
News
<aside>
📢
09/2024 - Our paper has been accepted at NeurIPS 2024! 🎉
07/2024 - Participated in Large Model Safety Workshop 2024
02/2024 - Embarked on a new career path as a Research Scientist
</aside>
Research Interests
- Formal Methods
- Blockchain Security
- AI Security
Arxiv
https://arxiv.org/abs/2307.02289
https://arxiv.org/abs/2410.00454
Selected Publications
- [NeurIPS 2024] ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua. Technical Track, CORE A*
- [ICFEM 2023] ****Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le. An idealist’s approach for smart contract correctness. Technical Track, CORE B
- [SP 2021] Tai D. Nguyen, Long H. Pham, Jun Sun. SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. Technical Track, CORE A*
- [ICSE 2020] Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh. sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. Technical Track, CORE A*
Services
- ACM Transactions on Software Engineering and Methodology (TOSEM)
- IEEE Transactions on Software Engineering (TSE)