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 bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
Pries-Heje, J. (Projektleder), Christensen, T. B. (Projektdeltager), Boulus-Rødje, N. (Projektdeltager) & Kirkeby, M. H. (Projektdeltager)
01/01/2024 → 31/07/2028
Projekter: Projekt › Forskning
Andreasen, T. (Projektleder), Bulskov, H. (Projektdeltager), Christiansen, H. (Projektdeltager), Nielsen, T. T. (Projektdeltager) & Tinning, M. (Projektdeltager)
01/11/2023 → 30/06/2025
Projekter: Projekt › Forskning
Mayerhöffer, E. (Projektleder) & Hansen, J. U. (Projektleder)
01/10/2023 → 28/02/2027
Projekter: Projekt › Forskning
Braüner, T. (Oplægsholder)
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Braüner, T. (Medlem)
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Padfield, N. (Arrangør), Hobye, M. (Arrangør) & Bin Abdul Rahman, A. H. (Arrangør)
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
01/11/2024
1 element af Mediedækning
Presse/medie
11/10/2024
1 element af Mediedækning
Presse/medie
19/09/2024
1 element af Mediedækning
Presse/medie
Chan, H.K.-H. (Modtager), Liu, T. (Modtager), Li, H. (Modtager) & Lu, H. (Modtager), 2021
Pris: Priser, stipendier, udnævnelser
Wang, X. (Modtager), Xu, J. (Modtager) & Lu, H. (Modtager), 2021
Pris: Priser, stipendier, udnævnelser
Li, J. (Modtager), Liu, T. (Modtager) & Lu, H. (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