Research output per year
Research output per year
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:
Analysis of programming languages and program properties, AI and decision support tools, logic, databases and data science.
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.
Person: VIP
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Andreasen, T., Bulskov, H., Christiansen, H., Nielsen, T. T. & Tinning, M.
01/11/2023 → 31/03/2025
Project: Research
Mayerhöffer, E. & Hansen, J. U.
01/10/2023 → 30/09/2026
Project: Research
29/03/2022 → …
Project: Research
Nicolas Padfield (Speaker), Mads Hobye (Speaker), Henning Christiansen (Speaker), Matthew J. Spaniol (Speaker), Niels Jensen (Speaker) & Abdul Halim Bin Abdul Rahman (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Torben Braüner (Member)
Activity: Membership › Membership in committee, council, board
Torben Braüner (Member)
Activity: Membership › Membership in committee, council, board
08/11/2023
1 item of Media coverage
Press/Media: Press / Media
04/11/2023
1 item of Media coverage
Press/Media: Press / Media
Xu, Jianqiu (Recipient), Lu, Hua (Recipient) & Güting, Ralf Hartmut (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions
Li, H. (Creator), Yi, L. (Creator), Tang, B. (Creator), Lu, H. (Creator) & Jensen, C. S. (Creator), Zenodo, 25 May 2022
DOI: 10.5281/zenodo.7053904, https://zenodo.org/record/7053904
Dataset