Courses
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