Welcome to the Logic and Semantics Research Group

We are part of the Institute for Software Engineering and Theoretical Computer Science at Technische Universit├Ąt Berlin.