Research Output per year
Research Output per year
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
Person: VIP
Person: VIP
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to conference › Paper › Research › peer-review
Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.
01/02/2020 → 01/06/2021
Project: Research
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
Project: Research
Henning Christiansen (Participant)
Activity: Participating in or organising an event › Organisation and participation in conference
John Patrick Gallagher (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
Jens Ulrik Hansen (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Irina Polyanskaya, Torben Braüner & Patrick Rowan Blackburn
21/03/2019
1 item of Media coverage
Press/Media: Press / Media
Jianqiu Xu (Recipient), Lu, Hua (Recipient) & Ralf Hartmut Güting (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions