Organization profile

Organisation profile

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.

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

Troels Andreasen

troels@ruc.dk

Department of People and Technology - Associate Professor
Programming, Logic and Intelligent Systems - Associate Professor
Centre for Big Data
Experience Lab

Person: VIP

Torben Braüner

torben@ruc.dk

Department of People and Technology - Professor (MSO)
Programming, Logic and Intelligent Systems - Professor (MSO)

Person: VIP

Henrik Bulskov

bulskov@ruc.dk

Department of People and Technology - Associate Professor
Programming, Logic and Intelligent Systems - Associate Professor
Centre for Big Data

Person: VIP

Research Output

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 19-35 (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Jun 2020. 16 p.

Research output: Contribution to conference › Paper › Research › peer-review

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, In : Topics in Cognitive Science. 12, 2, p. 504-534

Research output: Contribution to journal › Journal article › Research › peer-review

Projects

3 Active
22 Finished

FBB: Feedback Box

Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.

01/02/2020 → 01/06/2021

Project: Research

Energimærkning af Software og Software Installationer

Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.

01/02/2020 → 30/09/2020

Project: Research

NorDigHealth: Novel Regional Digital Solutions for Improving Health

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