My research centers on cybersecurity and software engineering, with a particular focus on improving software (binary) reliability, quality, and security through advanced techniques such as static analysis and dynamic testing. A key aspect of my work is addressing the security challenges of devices in critical domains, including IoT, ICS, robotics, and Embodied AI. Furthermore, I am actively investigating how artificial intelligence can be leveraged to enhance program analysis and testing methodologies.

If my research aligns with your interests, please don’t hesitate to reach out to me via email. I would be delighted to explore potential collaboration opportunities.

• Static Analysis: taint analysis [ICC'22, ASPLOS'24], program reduction [TOSEM'25]
• Dynamic Testing: fuzzing [ACNS'21, ACSAC'21, JSA'22, C&S'23, ICST'24, VMCAI'25], anti-fuzzing [TOSEM'24]
• LLM/Agent-assisted Analysis and Testing [TOSEM'25]

Recruiting research interns: LLM/Agent for Software Engineering/Programming Languages/System Security and Safety for LLM/Agent.