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
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 › Book chapter › Research › peer-review
Pries-Heje, J. (Project manager), Christensen, T. B. (Project participant), Boulus-Rødje, N. (Project participant) & Kirkeby, M. H. (Project participant)
01/01/2024 → 31/07/2028
Project: Research
Andreasen, T. (Project manager), Bulskov, H. (Project participant), Christiansen, H. (Project participant), Nielsen, T. T. (Project participant) & Tinning, M. (Project participant)
01/11/2023 → 30/06/2025
Project: Research
Mayerhöffer, E. (Project manager) & Hansen, J. U. (Project manager)
01/10/2023 → 28/02/2027
Project: Research
Braüner, T. (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Hansen, J. U. (Examiner)
Activity: Examination
Braüner, T. (Member)
Activity: Membership › Membership in committee, council, board
01/11/2024
1 item of Media coverage
Press/Media: Press / Media
11/10/2024
1 item of Media coverage
Press/Media: Press / Media
19/09/2024
1 item of Media coverage
Press/Media: Press / Media
Chan, H.K.-H. (Recipient), Liu, T. (Recipient), Li, H. (Recipient) & Lu, H. (Recipient), 2021
Prize: Prizes, scholarships, distinctions
Wang, X. (Recipient), Xu, J. (Recipient) & Lu, H. (Recipient), 2021
Prize: Prizes, scholarships, distinctions
Li, J. (Recipient), Liu, T. (Recipient) & Lu, H. (Recipient), 26 Jun 2024
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/records/7053904
Dataset