| Table of Subpages |
|---|
Overview
Current, past, and upcoming courses that I teach at Karlsruhe Institute of Technology (KIT) or at Carnegie Mellon University. If you want to do research in my group you should sign up for the Logical Foundations of Cyber-Physical Systems course.
 |  |
 |