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

Intro

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.

Currently

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.

Previously

• Part of the Wallenberg AI, Autonomous Systems and Software Program (WASP). Developed solutions to design and build safe Autonomous Systems.
• Worked on Detect and AvoID Alerting Logic for Unmanned Systems DAIDALUS at NASA Langley Research Center.
• Worked within the CHI+MED research team to developed analysis tools for medical devices.

• Learn More
• Projects