Dean’s Graduate Research Excellence Award (Semester 2, 2022–2023)
President’s Graduate Fellowship (2017–2021)
Finalist for Microsoft Research PhD Fellowship, Asia-Pacific (2021)
Publications in top venues including CCS, ICSE, NDSS, FSE, OOPSLA, SAT, and NeurIPS
Paper accepted at NeurIPS 2025: 'Testing LLM Provenance with Minimal Assumptions'
Invited talks at CISPA, Max Planck Institute, UC Santa Barbara, Northeastern, Purdue, Georgia Tech, University of Waterloo, Columbia, USC, UIC, University of Sydney, ASU, and UBC
Background
Assistant Professor at the School of Cybersecurity & Privacy, Georgia Tech
Research focuses on computer security, particularly rigorous security analyses for machine learning (ML) systems
Work includes formal definitions, causal abstractions, and sound procedures for statistical verifiability
Interested in problems that are both algorithmic and practically relevant
Also worked on differential privacy for graphs, learnability of security analysis rules, causality-enhanced SAT solving, and cross-language code translation