Courses at UC Berkeley
EECS 290A: Advanced Methods in Logic Synthesis and Equivalence Checking
CS 263: Design of Programming Languages
CS 252: Graduate Computer Architecture
EECS 249: Embedded System Design: Models, Validation and Synthesis
IEOR 264: Computational Optimization (presentation, report)
EECS 244: Computer-Aided Design for Integrated Circuits (presentation)
IEOR 262A: Mathematical Programming I

Courses at Pitt
ECE 1286: Analysis and Design of Analog Integrated Circuits
ECE 2130: Topics in VLSI CAD
ECE 2140: Systems-on-a-Chip Design
ECE 2141: Validation and Verification Techniques of Digital Systems
ECE 2523: Digital Signal Processing
ECE 2646: Linear System Theory
ECE 2671: Optimization Methods
IE 3097: Algorithms for Engineers
I've been the GSI/TA for the following classes:
EECS 150: Components and Design Techniques for Digital Systems (UCB)
ECE 142: Computer Organization (Pitt)
ECE 501: Digital Systems Laboratory (Pitt)
ECE 1186: Software Engineering (Pitt)
ECE 1192: Introduction to VLSI Design (Pitt)
ECE 1193: VLSI Design (Pitt)
ECE 1238: Digital Electronics (Pitt)