André Platzer

https://lfcps.org/ [email protected]

Karlsruhe Institute of Technology Alexander von Humboldt Professor at Karlsruhe Institute of Technology leading Logical Systems Lab at Carnegie Mellon University