Engineering symbolic computation systems to transform unstructured financial data into the future of verifiably correct, formula-consistent models for real-world financial workflows.

Supported hardware QA for home security systems by configuring and integrating devices (locks, sensors, lighting) into automated testing workflows. Performed hands-on lab work including soldering buck converters and embedded boards, assembling RJ45 Ethernet cables, and provisioning Raspberry Pi units for test automation. Built an internal software tool for lab device management.

AI-powered mobile platform for early oral cancer detection, combining computer vision with cross-platform development to drive global health impact.

Led systems engineering and control software for competition robots, integrating advanced algorithms, CAD, electronics, and autonomous functions.

Served as R&D captain and software lead, driving robot design, code, and FTC programming while mentoring and managing STEM workshops and outreach.