Research Output per year
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
- 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
- Department of People and Technology - Professor (MSO)
- Programming, Logic and Intelligent Systems - Professor (MSO)
Person: VIP
Henrik Bulskov
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems - Associate Professor
- Centre for Big Data
Person: VIP
Research Output 2006 2020
Implications of Assessing Student-Driven Projects: A Case Study of Possible Challenges and an Argument for Reflexivity
Pedersen, S. & Hobye, M., 2020, In : Education Sciences. 10, 1, 19.Research output: Contribution to journal › Journal article › Research › peer-review
Behavioral Complexity as a Computational Material Strategy
Hobye, M. & Ranten, M. F., 10 May 2019, (Accepted/In press) In : International Journal of Design. 35 p.Research output: Contribution to journal › Journal article › Research › peer-review
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepted/In press) In : Topics in Cognitive Science.Research output: Contribution to journal › Journal article › Research › peer-review
Projects 2005 2019
- 22 Finished
INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)
Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.
01/01/2016 → 31/12/2018
Project: Research
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
Activities 1999 2020
25th International Symposium on Methodologies for Intelligent Systems
Henning Christiansen (Participant)20 May 2020 → 22 May 2020
Activity: Participating in or organising an event › Organisation and participation in conference
Energy-aware software engineering
John Patrick Gallagher (Speaker)1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
Invited talk: Hybrid logic and its Proof-Theory
Torben Braüner (Speaker)27 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
Press / Media
Venstrefløjen vender det blinde øje til bagsiden af indvandringen
02/04/2016
1 item of Media coverage
Press/Media: Press / Media