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.
- 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.