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
-
Henrik Bulskov
- 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. Firstview, p. 1-69 69 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile
-
Stowage Algorithms and AI for Energy Efficient Liner Shipping
Reinhardt, L. & Sivertsen, A. V. T.
01/03/2022 → 28/02/2025
Project: Research
-
-
Roskilde Universitet, Accelerating the Green Transition of the Blue Economies
Reinhardt, L., Spaniol, M. J. & Dorland, J.
15/12/2021 → 15/12/2024
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
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Event)
Maja Hanne Kirkeby (Member)
7 Sep 2021Activity: Membership › Membership in committee, council, board
-
The 8th Workshop on Probabilistic Logic Programming
Henning Christiansen (Participant)
20 Sep 2021 → 27 Sep 2021Activity: Participating in or organising an event › Organisation and participation in conference
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