2024-2025
- CS244: Advanced Topics in Networking
- CS250: Algebraic Error Correcting Codes
- CS357S: Formal Methods for Computer Systems
- EE21N: Making at the nanometer scale: A journey into microchips(
- EE180: Digital Systems Design
- EE271: Introduction to VLSI Systems
- EE282: Computer Systems Architecture