Program Analysis · Software Security · AI for Security
Security Engineer at ByteDance and Ph.D. from Penn State University. I build systems that protect software by customizing compilers and OS kernels, adopt program analysis to detect software defects, and leverage deep learning to facilitate security-oriented analysis. My work spans LLM security, vulnerability discovery, and security infrastructure.