Prof. Dr. André Platzer
- Alexander von Humboldt Professor
- Logical foundations for cyber-physical systems and practical theorem proving tools
- Role at KCDS: MATH Supervisor
- Room:
CS 50.34 - logic.kastel.kit.edu/andre.html
- Am Fasanengarten 5
76131 Karlsruhe