Principles of Programming Group
Carnegie Mellon University, Computer Science Department
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 |