Research group for theoretical computer science - Logic, Spatial reasoning, Formal methods.
Our research and teaching focuses on the development and application of formal and semantic (i.e. mathematically grounded) methods to the study, modeling and verification of complex systems in various fields of computer science, varying from constraint reasoning about space and time to software specification, ontologies and conceptual blending.
A central topic is heterogeneity, arising from different viewpoints onto a system, formulated in different spatio-temporal constraint calculi or different logical formalisms. Modularity and heterogeneity are key techniques for a divide-and-conquer approach to complex systems.