Programmering, logik og intelligente systemer



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.


Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Best Vision Paper Award

    Xu, Jianqiu (Modtager), Lu, Hua (Modtager) & Güting, Ralf Hartmut (Modtager), 20 aug. 2019

    Pris: Priser, stipendier, udnævnelser