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

2023-2024

• CS244: Advanced Topics in Networking
• CS340R: Rusty Systems
• EE271: Introduction to VLSI Systems
• EE282: Computer Systems Architecture
• EE309A: Semiconductor Memory Devices and Circuit Design
• EE309B: Emerging Non-Volatile Memory Devices and Circuit Design
• CS 357S: Formal Methods for Computer Systems