Teaching
UC Berkeley EECS149/249A Introduction to Embedded Systems
Fall Semester 2019: Graduate Student Instructor
Summer 2020: Developed an intelligent tutoring system-like, simulation-based tool for students to debug their robot planners and controllers on their own during COVID shutdown
UC Berkeley EECS 219C Formal Methods and Verification
Spring Semester 2021, 2022: Reader
Services
(Organizer) CPS-IoT Week 2026
Workshop on Interactive Co-Design of Safe and Assured Autonomous Systems
(Program Committee Member) AAAI 2026
Workshop on Graphs & more Complex Structures For Learning and Reasoning
(Organizer) CPS-IoT Week 2025
Tutorial: SCENIC: An Open-Source Probabilistic Programming System for Data Generation and Safety in Autonomy
(Organizer) ROSCon
Tutorial: SCENIC: An Interactive, Multi-Agent, and Probabilistic Scenario Modeling Language for ROS
(Organizer) Computer Vision and Pattern Recognition (CVPR) Conference 2024
Tutorial on Scenic: An Open-Source Probabilistic Programming System for Data Generation and Safety in AI-Based Autonomy
(Program Committee Member) NASA Formal Methods (NFM) Conference 2024
[Co-Organizer] Computer Vision and Pattern Recognition (CVPR) Conference 2022
Workshop on Human-centered Intelligent Services: Safe and Trustworthy
Outreach
To promote diversity in academia, I accepted and advised undergraduate programs through various research programs for underrepresented undergraduates:
Summer Undergraduate Research Program (SURF) (Advised: Alton Sturgis) in the summer of 2023
Berkeley Engineering Design Scholars Summer Program (Advised: Cathy Zhang) in the summer of 2023
Summer Undergraduate Program in Engineering Research at Berkeley (SUPERB) Program (Advised: Alton Sturgis) in the summer of 2022
Transfer-to-Excellence Summer Intern Program (Advised: Issac Gonzalez) in the summer of 2022
This program connects research opportunities at UC Berkeley to Community College Students
Diversifying Access to Research in Engineering (DARE) Program (Advised: Kesav Viswanadha, Qiangcheng Wu) from Spring 2020 to Spring 2022