Publikationer pr. år
Publikationer pr. år
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
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Konferencebidrag › Paper › Forskning › peer review
01/12/2020 → 31/05/2024
Projekter: Projekt › Forskning
Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.
01/02/2020 → 01/06/2021
Projekter: Projekt › Forskning
Barrett, B. A., Holen, M., Tvilsted, S. S., Hartvig, D. L., Fahse, F., Krauth, H. H., Seger, K., Burmeister, E., Jernskæg, D. R., Kjær, T. W., Sørensen, T. L., Bulskov, H., Christiansen, H. & Andreasen, T.
01/01/2019 → 31/12/2021
Projekter: Projekt › Forskning
Henning Christiansen (Deltager)
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
John Patrick Gallagher (Redaktør)
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning
Jens Ulrik Hansen (Oplægsholder)
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Irina Polyanskaya, Torben Braüner & Patrick Rowan Blackburn
21/03/2019
1 element af Mediedækning
Presse/medie
Jianqiu Xu (Modtager), Lu, Hua (Modtager) & Ralf Hartmut Güting (Modtager), 20 aug. 2019
Pris: Priser, stipendier, udnævnelser