Programming, Logic and Intelligent Systems

Organization profile

Organisation profile

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.

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2020

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., 10 May 2019, (Accepted/In press) In : International Journal of Design. 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Projects 2005 2019

Activities 1999 2020

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)
20 May 202022 May 2020

Activity: Participating in or organising an eventOrganisation and participation in conference

Energy-aware software engineering

John Patrick Gallagher (Speaker)
1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)
27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Press / Media

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 Media contribution

Press/Media: Press / Media

Venstrefløjen vender det blinde øje til bagsiden af indvandringen

Torben Bech Dyrberg

02/04/2016

1 item of Media coverage

Press/Media: Press / Media

Forsker vil åbne det skjulte internet

Troels Andreasen

11/02/2015

1 item of Media coverage

Press/Media: Press / Media