Prof. Dr. Stephan Kreutzer

Technische Universität Berlin

Institut für Softwaretechnik und Theoretische Informatik

Address
Ernst-Reuter-Platz 7
Room TEL 711a
10587 Berlin
Homepage

Graph Logic, Structural and Algorithmic Graph Theory, Computer-aided Verification and Finite Model Theory

Freie Universität Berlin
Technische Universität Berlin
Humboldt-Universität zu Berlin
Deutsche Forschungsgemeinschaft (DFG)