Logic and Semantics

Head of the Research Group

Prof. Dr.

Stephan Kreutzer

Executive Director of the Institute for Software Engineering and Theoretical Computer Science


+49 30 314-29089

Organization name Logic and Semantics
Office TEL 7-3
Room TEL 711A
Address Ernst-Reuter-Platz 7
10587 Berlin
Office hourFridays from 12:00 p.m. to 1:00 p.m. / online possible by arrangement