| Number |
Name |
Instructor |
| 15-122 |
Principles of Imperative Computation |
Dilsun Kaynar; Iliano Cervesato |
| 15-150 |
Principles of Functional Programming |
Stephen Brookes |
| 15-210 |
Parallel and Sequential Data Structures and Algorithms |
Guy Blelloch; Charlie Garrod |
| 15-312 |
Foundations of Programming Languages |
Bob Harper |
| 15-317 |
Constructive Logic |
Karl Crary |
| 15-316 |
Software Foundations of Security and Privacy |
Matt Fredrikson |
| 15-330 |
Introduction to Computer Security |
Bryan Parno |
| 15-424 |
Logical Foundations of Cyber-Physical Systems |
Stefan Mitsch |
| 15-814 |
Types and Programming Languages |
Jan Hoffman |
| 15-816 |
Advanced Topics in Logic: Automated Reasoning and Satisfiability |
Marijn Heule |
| 15-836 |
Substructural Logics |
Frank Pfenning |
| 15-898 |
Quantum Computing Systems |
Umut Acar |
| 17-363 |
Programming Language Pragmatics |
Jonathan Aldrich; Benjamin Titzer |
| 18-732 |
Secure Software Systems |
Bryan Parno |
| 80-411 |
Proof Theory |
Jeremey Avigad |
| 80-715 |
Seminar on Homotopy Type Theory |
Steve Awodey |
