Research output per year
Research output per year
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:
Programming and program analysis, artificial intelligence, logic & reasoning, big data, language analysis.
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.
Person: VIP
Person: VIP
Person: VIP
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Journal article › Research
Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.
01/02/2020 → 01/06/2021
Project: Research
Torben Braüner (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Torben Braüner (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Torben Braüner (Participant)
Activity: Participating in or organising an event › Organisation and participation in conference
Irina Polyanskaya, Torben Braüner & Patrick Rowan Blackburn
21/03/2019
1 item of Media coverage
Press/Media: Press / Media
Xu, J. (Recipient), Lu, Hua (Recipient) & Güting, R. H. (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions