Welcome to my website. Please feel free to check out my resume, projects, personal interests, or contact me.


I'm a postdoctoral researcher in computer science and engineering at UC Berkeley. I'm interested in cyber-physical systems (modeling, design, and analysis), AI and machine learning (deep and reinforcement learning), formal methods (model checking, run-time verification, reactive synthesis), and software engineering. Mainly, I like to be at the intersection of these research areas.


I am working on the DARPA project Symbiotic Design for Cyber-Physical Systems. Developing AI‑based approaches to enable correct‑by‑construction designs of Cyber-Physical Systems.