Programmering, logik og intelligente systemer



Our research combines basic research in Computer Science with innovative applications in a technology driven way. The construction of reliable, intelligent, and resource-efficient systems requires basic research in the mathematical and logic foundations of knowledge representation, 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:

     Programming and program analysis, artificial intelligence, logic & reasoning, big data, language analysis.

  • Innovative applications in a variety of areas:

     Interaction design for data visualization, artistic and informative installations, virtual and augmented reality, robots and drones.

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

     Applications of logic in psychology and cognition.

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

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 2006 2020

Implications of Assessing Student-Driven Projects: A Case Study of Possible Challenges and an Argument for Reflexivity

Pedersen, S. & Hobye, M., 2020, I : Education Sciences. 10, 1, 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., 10 maj 2019, (Accepteret/In press) I : International Journal of Design. 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter 2005 2019

Aktiviteter 1999 2020

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Deltager)
20 maj 202022 maj 2020

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Energy-aware software engineering

John Patrick Gallagher (Oplægsholder)
1 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Oplægsholder)
27 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag


Algoritmerne kommer!

Henning Christiansen


1 Mediebidrag


Forsker vil åbne det skjulte internet

Troels Andreasen


1 element af Mediedækning