Nguyễn Đình Cường

Nguyen Dinh Cuong researches symbolic execution, automated code reasoning, and logic‑enhanced program analysis. A strong CTF competitor and teaching assistant in formal methods, he integrates symbolic interpreters into code‑security analysis and AI‑driven compilers. Currently pursuing an M.S. at the University of Pennsylvania, he has delivered tooling for automated exploit generation and binary hardening, ranking in top international CTF contests. His publications target AI‑assisted vulnerability discovery and secure compilation.