Welcome to my website. Please feel free to check out my projects, or personal interests. If you have any questions or collaboration ideas, don't hesitate to contact me.
I like to build high-quality software (GitHub) and engage in cutting edge research (Google Scholar).
My expertise spans formal methods, deep learning, software engineering and system design, among other areas. Currently exploring security and deep learning, focusing on LLMs, interpretability, causality, and alignment. Working on analyzing cloud access control policies.
Some past achievements
- Led Fact Fortress, a Zero-Knowledge Proof Framework, winning first prize at the ZKP/Web3 Hackathon 2023 by UC Berkeley.
- Contributed to DARPA's Symbiotic Design for Cyber-Physical Systems, focusing on innovative, correct-by-construction designs.
- Contributed to PACTI, a tool for system analysis and design.
- Part to the WASP Program on autonomous system.
- Applied formal verification at NASA’s DAIDALUS Project to ensure collision avoidance system safety.