Projects

Developed Hestia AI, a co-parenting assistant powered by a custom Graph RAG pipeline using Neo4j Aura, clustering, subgraph retrieval, and domain-specific ontology, integrating 300+ parenting resources.

Built and launched a mobile application using Flutter with Firebase and Cloud Functions, enabling anonymous community interaction and intuitive chat interface; collaborated with 2 designers and 1 developer.

Built a distributed robotic system using ROS2 Humble to coordinate Creator, Kinova arm, and vision stack for an autonomous delivery sequence; implemented the global state machine and optimized messaging

Led integration across perception, navigation, manipulation, and hardware/software teams by standardiz- ing ROS2 message formats and aligning system architecture for robust cross-module collaboration

Designed a compile-time static shape checker involving Python, C FFI, and Lean 4 to ergonomically detect shape mismatches for tensor operations; shape error represents 40% of deep learning bugs.

Built a static analysis pipeline converting Python AST to a typed Lean AST using C as a wrapper, leveraging Lean 4 metaprogramming and custom type-checking tactics as an interactive theorem prover.

Developed Ditto, an AI surrogate which selectively retrieves user chat history and quantitatively processes user chat history to build a unique conversational profile; this enables imitation of personal messaging styles to improve the emotional quality of Human-LM interactions.

Designed and deployed a responsive web-based chat interface using TypeScript, shadcn, sqlite, and Flask.