We work on security and privacy problems in general. Our current research directions include:
Program analysis for security: building automated and scalable analysis techniques (including fuzzing, symbolic/concolic execution, and static analysis) to reason about real-world software.
LLMs for security: leveraging LLMs/agents to solve open security problems such as vulnerability detection, exploit generation, and patch analysis.
Security of AI systems: analyzing the security and reliability of real-world AI/agent deployments from a systems perspective.
We are also actively exploring new directions in formal methods, verification, and AI security.
We have openings for Ph.D. students (Spring/Fall 2027), a Postdoc, research interns, and visiting students. We expect the candidates to have:
Strong motivation and intellectual curiosity in our research directions
Solid technical skills, ideally demonstrated through prior research projects or publications
Good communication skills in English
If you are interested, please fill out this form. There is no need to email me. I will review each application carefully and reach out to you if there is a good fit.
I take the advisor-student relationship seriously as a long-term commitment. My goal is to help each student grow into an independent researcher who can identify important problems and develop rigorous solutions. I will do my best to prepare them towards that through close mentorship and regular feedback.
Positions in our group can be funded directly by the group or through external scholarships and fellowships. Externally funded candidates are strongly encouraged to apply.
A*STAR Computing and Information Science (ACIS) Scholarship
Interdisciplinary Graduate Programme
Tech company scholarships (Google, Meta, Microsoft, Nvidia, IBM, Apple)
We occasionally have funding for visiting students. Visiting PhD students funded by CSC or other external sources are welcome to apply.