Our research combines basic research in Computer Science with innovative applications. The construction of reliable, intelligent, and resource-efficient systems requires basic research in the mathematical and logic foundations of databases, algorithms, programming tools and languages. At the same time, this insight combined with a range of external collaborations provides an ideal starting point for creating novel technologies that fit the needs of the modern society – and inspires and helps defining goals for our basic research.

 Our research activities combine the following main directions:

• Computer Science basic research:

     Analysis of programming languages and program properties, AI and decision support tools, logic, databases and data science.

• Innovative applications in a variety of areas:

     Interaction design, artistic and informative installations, virtual and augmented reality, and robots.

     Analysis and application of big data: social networks, health data, bioinformatics, ...

     Applications of logic in psychology.

     Program analysis, e.g., for energy consumption and correctness properties.