Publikationer pr. år
Publikationer pr. år
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
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Pries-Heje, J., Christensen, T. B., Boulus-Rødje, N. & Kirkeby, M. H.
01/01/2024 → 31/07/2028
Projekter: Projekt › Forskning
Andreasen, T., Bulskov, H., Christiansen, H., Nielsen, T. T. & Tinning, M.
01/11/2023 → 30/06/2025
Projekter: Projekt › Forskning
Mayerhöffer, E. & Hansen, J. U.
01/10/2023 → 30/09/2026
Projekter: Projekt › Forskning
Torben Braüner (Oplægsholder)
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Torben Braüner (Medlem)
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Jens Classen (Deltager)
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
19/09/2024
1 element af Mediedækning
Presse/medie
04/09/2024
3 elementer af Mediedækning
Presse/medie
Wang, Xieyang (Modtager), Xu, Jianqiu (Modtager) & Lu, Hua (Modtager), 2021
Pris: Priser, stipendier, udnævnelser
Chan, Harry Kai-Ho (Modtager), Liu, Tiantian (Modtager), Li, Huan (Modtager) & Lu, Hua (Modtager), 2021
Pris: Priser, stipendier, udnævnelser
Li, Jialiang (Modtager), Liu, Tiantian (Modtager) & Lu, Hua (Modtager), 26 jun. 2024
Pris: Priser, stipendier, udnævnelser
Li, H. (Ophavsmand), Yi, L. (Ophavsmand), Tang, B. (Ophavsmand), Lu, H. (Ophavsmand) & Jensen, C. S. (Ophavsmand), Zenodo, 25 maj 2022
DOI: 10.5281/zenodo.7053904, https://zenodo.org/records/7053904
Datasæt