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:
- Computer Science basic research:
Programming and program analysis, artificial intelligence, logic & reasoning, big data, language analysis.
- Innovative applications in a variety of areas:
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.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Projects per year
01/02/2020 → 30/09/2020
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
Activities per year
Henning Christiansen (Participant)
Activity: Participating in or organising an event › Organisation and participation in conference
1 item of Media coverage
Press/Media: Press / Media