Research Group Logic and Semantics

Welcome to the research group in Logic and Semantics at the Institute for Software Engineering and Theoretical Computer Science at the Technical University Berlin.

Please follow this link to our preliminary pages for information about our group.