Home
Publications
Research
Tools
Courses
A. Platzer
Courses by André Platzer
FCPS Fa13
PIC Sp13
Compiler Fa12
PIC Sp12
Compiler Fa11
LAHS Sp11
Compiler Fa10
ModalLog. Sp10
DCD Fa09
HSATP Sp09
Table of Subpages
15-424: Foundations of Cyber-Physical Systems (Fa'13)
15-122: Principles of Imperative Computation (Sp'13)
15-411: Compiler Design (Fa'12)
15-122: Principles of Imperative Computation (Sp'12)
15-411: Compiler Design (Fa'11)
15-819/18-879L: Logical Analysis of Hybrid Systems (Sp'11)
15-411: Compiler Design (Fa'10)
15-816: Modal Logic (Sp'10)
15-819M: Data, Code, Decisions (Fa'09)
15-819/18-879L: Hybrid Systems Analysis and Theorem Proving
Overview
Current, past, and upcoming courses that I teach at
Carnegie Mellon University
.
