Teaching
UC Berkeley EECS149/249A Introduction to Embedded Systems
Fall Semester 2019: Graduate Student Instructor
Summer 2020: Developed a new remote lab course works to test students’ robot controllers to cope with COVID shutdown
UC Berkeley EECS 219C Formal Methods and Verification
Spring Semester 2021, 2022: Reader
Services
Tutorial at Computer Vision and Pattern Recognition (CVPR) Conference 2024 [Program Chair]
Scenic: An Open-Source Probabilistic Programming System for Data Generation and Safety in AI-Based Autonomy
NASA Formal Methods (NFM) Conference 2024 [Program Committee Member]
Workshop at Computer Vision and Pattern Recognition (CVPR) Conference 2022 [co-Program Chair]
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