The courses taught by our group members.

Regular Offerings

Course number Name Taught by When offered
CS 240E Data Structures and Data Management (enriched version) Prabhakar Ragde fall
CS 241, CS 241E Foundations of Sequential Programs (enriched version) Ondřej Lhoták fall
CS 245E Logic and Computation (enriched version) Prabhakar Ragde fall
CS 343 Concurrent and Parallel Programming Peter Buhr fall or winter
CS 442/642 Principles of Programming Languages Brad Lushman, Prabhakar Ragde winter
CS 444/644 Compiler Construction Ondřej Lhoták, Brad Lushman winter
CS 798 Software Foundations Prabhakar Ragde fall