Organisationsprofil

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.

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.

Profiler

Troels Andreasen

troels@ruc.dk

Institut for Mennesker og Teknologi - Lektor
Programmering, logik og intelligente systemer - Lektor
Centre for Big Data
Experience Lab

Person: VIP

Torben Braüner

torben@ruc.dk

Institut for Mennesker og Teknologi - Professor (MSO)
Programmering, logik og intelligente systemer - Professor (MSO)

Person: VIP

Henrik Bulskov

bulskov@ruc.dk

Institut for Mennesker og Teknologi - Lektor
Programmering, logik og intelligente systemer - Lektor
Centre for Big Data

Person: VIP

Publikationer

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. (red.). Springer, LNCS, Bind 12042. s. 19-35

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., jun. 2020. 16 s.

Publikation: Konferencebidrag › Paper › Forskning › peer review

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

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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Projekter

3 Igangværende
22 Afsluttet

FBB: Feedback Box

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

01/02/2020 → 01/06/2021

Projekter: Projekt › Forskning

Energimærkning af Software og Software Installationer

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

01/02/2020 → 30/09/2020

Projekter: Projekt › Forskning

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

Projekter: Projekt › Forskning