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.
Selected Projects
Research prototypes and open-source systems across healthcare, autonomous driving, and reliable AI agents.
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.