Teaching & Courses by André Platzer

Table of Subpages
15-122: Principles of Imperative Computation 15-411: Compiler Design 15-819/18-879L: Logical Analysis of Hybrid Systems 15-411: Compiler Design (Fa'10) 15-816: Modal Logic 15-819M: Data, Code, Decisions 15-819/18-879L: Hybrid Systems Analysis and Theorem Proving

Overview

From this page, you will find current, past, and upcoming courses that I teach at Carnegie Mellon University.