Teaching

Juncheng Yang

• COMPSCI 2640: Modern Storage Systems

Minlan Yu

• COMPSCI 1450: Networking at Scale
• COMPSCI 2430: Advanced Topics in Computer Networks

Nada Amin

• COMPSCI 1520: Programming Languages
• COMPSCI 2520R: Advanced Topics in Programming Languages

Stephen Chong

• COMPSCI 51: Abstraction and Design in Computation
• COMPSCI 1530: Compilers
• COMPSCI 2540: Formal Methods for Computer Security

Stratos Idreos

• COMPSCI 1650: Data Systems
• COMPSCI 2650: Big Data Systems

Eddie Kohler

• COMPSCI 61: Systems Programming and Machine Organization
• COMPSCI 1610: Operating Systems
• COMPSCI 2070: Systems Development for Computational Science
• COMPSCI 2600R: Projects and Close Readings in Software Systems
• COMPSCI 2610: Research Topics in Operating Systems
• COMPSCI 2620: Distributed Computing

H. T. Kung

• COMPSCI 1440R & 2440R: Networks Design Projects
• COMPSCI 2420: Computing at the Edge

Michael D. Mitzenmacher

• COMPSCI 1240: Data Structures and Algorithms
• COMPSCI 2241: Algorithms at the Ends of the Wire
• COMPSCI 2242: Probabilistic Analysis and Algorithms

Vijay Janapa Reddi

• COMPSCI 2490R: Topics in Edge Computing: Architecture 2.0: Agentic AI for Computer Systems Design

Jim Waldo

• COMPSCI 1050: Privacy and Technology
• COMPSCI 2620: Distributed Computing