The courses taught by our group members.
| 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 |