Research output per year
Research output per year
Organization profile
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:
- Computer Science basic research:
Analysis of programming languages and program properties, AI and decision support tools, logic, databases and data science.
- Innovative applications in a variety of areas:
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.
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Troels Andreasen
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems
- Centre for Big Data
Person: VIP
-
A Case for Exploration: Exploratory Data Analysis in Neural Networks for Renal Tumor Classification
Pedersen, M. & Bulskov, H., 2022, (Accepted/In press). 11 p.Research output: Contribution to conference › Paper › Research › peer-review
-
A Framework to Support Continuous Range Queries over Multi-Attribute Trajectories
Xu, J., Bao, Z. & Lu, H., 2022, In: IEEE Transactions on Knowledge and Data Engineering. Early accessResearch output: Contribution to journal › Journal article › Research › peer-review
File -
Analysis and Transformation of Constrained Horn Clauses for Program Verification
De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A. & Proietti, M., 2022, In: Theory and Practice of Logic Programming. 22, 6, p. 974-1042 69 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile
-
Effects-driven improvement of bio-production processes with AI (2022-2023)
Simonsen, J. & Gyldenkærne, C.
15/03/2022 → 30/06/2023
Project: Research
-
Stowage Algorithms and AI for Energy Efficient Liner Shipping
Reinhardt, L. & Sivertsen, A. V. T.
01/03/2022 → 28/02/2025
Project: Research
-
Activities
-
International Joint Conference on Artificial Intelligence (Event)
Jens Classen (Member)
25 Jan 2022 → 29 Jul 2022Activity: Membership › Membership in committee, council, board
-
Nordic Workshop on Programming Theory (Event)
Morten Rhiger (Peer reviewer)
2 Nov 2022 → 4 Nov 2022Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
The 34th Symposium on Implementation and Application of Functional Languages (Event)
Morten Rhiger (Peer reviewer)
31 Aug 2022 → 2 Sep 2022Activity: Editorial work and peer review › Peer review of manuscripts › Research
Press / Media
-
RUC vil hjælpe den blå branche med at blive grøn
07/04/2022
1 item of Media coverage
Press/Media: Press / Media
-
RUC vil hjælpe den blå branche med at blive grøn
07/04/2022
1 item of Media coverage
Press/Media: Press / Media
-
Prizes
-
Best Vision Paper Award
Xu, J. (Recipient), Lu, Hua (Recipient) & Güting, R. H. (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions