Hybrid Natural and Formal Language Verifier
A verifier that combines natural-language and formal specifications, using a configurable token budget to deliver stronger, more reliable safety assurances.
About Me
I am a Ph.D. student at Peking University and a member of the Programming Languages Lab, advised by Prof. Zhenjiang Hu. My research interests include programming languages, LLM-based program verification, and simplifying agent implementation.
Education
Ph.D. in Electronic Information
2024-09-01
Peking University
B.Eng. in Artificial Intelligence
2020-09-01
2024-06-30
Huazhong University of Science and Technology
Research Interests
Programming Languages
Large Language Models
Program Verification
AI Agents
IoT
AI Infra
Research
I work on topics at the intersection of programming languages and large language models, with a focus on LLM-assisted program verification and practical approaches that simplify reliable agent implementation.
I am happy to discuss research ideas, collaborations, and open-source projects.
Featured Projects
Healthcare, autonomous driving, and reliable AI agent systems.
SuianCare
A proactive multimodal care assistant that observes first-person context and provides timely reminders and safety prompts.
Autonomous Intelligent Car
An autonomous intelligent car project demonstrating visual perception, lane tracking, and navigation on a physical course.
RuleHook
A natural-language policy manager for enforcing engineering rules across Claude Code, Codex, and Cursor agent workflows.
Publications
Selected research updates and publications.
Major Revision at OOPSLA 2026.
OOPSLA 2026,2026.