Skip to content
At USC:
- Fall 2019, Fall 2020, Fall 2021, Fall 2022, and Spring 2024: EE 581 (CSI 593): Mathematical Foundations for System Design: Modeling, Analysis, and Synthesis
- Spring 2020, Fall 2020, Spring 2021, Fall 2021, Spring 2022, and Spring 2024: EE 598: Electrical Engineering Research Seminar on Cyber-Physical Systems
- Fall 2017, Spring 2019, and Spring 2020: EE 577a: VLSI System Design
- Spring 2019: EE 598: Electrical Engineering Research Seminar on Intelligent Autonomous Systems (co-organized with Rahul Jain)
- Spring 2017 and Spring 2018: EE 598: Cyber-Physical Systems Seminar (co-organized with Paul Bogdan)
- Spring 2018: EE 599: Mathematical Foundations for System Design: Modeling, Analysis, and Synthesis
- Spring 2017: EE 599: Design of Cyber-Physical Systems: Modeling, Analysis, and Synthesis
At UC Berkeley:
- Spring 2016: EECS 249B: Design of Embedded Systems: Models, Validation and Synthesis (Alberto L. Sangiovanni-Vincentelli), guest lectures on “Contracts for System Design” and “Design Space Exploration of Cyber-Physical System Architectures.”
- Fall 2015: EECS 149/249A: Introduction to Embedded Systems (Sanjit A. Seshia), guest lectures on “Symbolic Model Checking,” “Multitasking,” “Synchronous/Reactive and Dataflow Models.”
- Spring 2015: EECS 249B: Design of Embedded Systems: Models, Validation and Synthesis (Edward A. Lee), guest lectures on “Contracts for System Design.”
- Fall 2014: Teaching Conference for First-Time Graduate Student Instructors, Focus Session workshop leader on “Engaging Students in Discussion Sections” for Science, Technology, Engineering, and Mathematics (STEM).
- Fall 2012: EECS 249: Design of Embedded Systems: Models, Validation and Synthesis (Alberto L. Sangiovanni-Vincentelli), Graduate Student Instructor.
- Spring 2012: EECS 240: Advanced Analog Integrated Circuits (Elad Alon), Graduate Student Instructor.