Courses by André Platzer

Overview

Current, past, and upcoming courses that I teach at Carnegie Mellon University.

15-122: Principles of Imperative Computation (Sp'14)15-424: Foundations of Cyber-Physical Systems (Fa'14)
15-411: Compiler Design (Fa'12)15-819M: Data, Code, Decisions (Fa'09)