Courses by André Platzer @ KIT || Carnegie Mellon University

  1. Home
    2. >>
  2. Courses
Table of Subpages

Overview

Current, past, and upcoming courses that I teach at Karlsruhe Institute of Technology or at Carnegie Mellon University.

15-122: Principles of Imperative Computation (Sp'14)KIT Course: Logical Foundations of Cyber-Physical Systems (WS'22)
15-411: Compiler Design (Fa'12)Textbook: Logical Foundations of Cyber-Physical Systems

Copyright © by André Platzer        Last modified: 2023-01-07

Publications | Research | Tools | Courses | A. Platzer