Artificial Intelligence and Software Systems
The A.I. and Software Systems (AISS) research group focuses on computing technologies for designing, building and managing intelligent systems.
The A.I. and Software Systems (AISS) research group focuses on computing technologies for designing, building and managing intelligent systems.
The group develops and utilises high-performance computing tools for simulating and analysing data from complex (astro)physical systems, such as turbulent fluids, the Sun, interstellar matter in galaxies.
Complex systems are found at all scales in nature, from the complex machinery operating inside our cells to the human brain, from human sociality to the networked social organization.
The Computational Logic Group develops automated reasoning techniques for solving challenging computational problems in engineering and science.
The Digital Content Communities studies the intersection of groups, technology and society. This includes research aimed to produce novel technical tools for group interaction as well as more social science oriented examination on the implications new communication technology may have to groups and society.
Research focuses on the foundations of distributed computing. The key research question is related to the concept of locality in the context large computer networks.
Experiment-driven systems research analyzing, building, and optimizing distributed mobile computing systems and services.
Research group
The KEPACO group develops machine learning methods, models and tools for data science. Applications of interest include metabolomics, biomedicine, pharmacology and synthetic biology.
Computing education, educational technology and software visualization.
Machine learning models and methods for big data over networks
The group seeks to understand, model, and program naturally occurring or nature-inspired self-organising processes.
The Product Requirements and Architecture Research Group (Preago) is specialized in high quality research of topics related to requirements engineering, software architectures and variability.
We develop new methods for probabilistic modeling, Bayesian inference and machine learning. Our current focuses are in particular learning from multiple data sources, Bayesian model assessment and selection, approximate inference and information visualization.
The goal of the Secure Systems research group is to create new technologies and design and analysis methods for the development of secure computing and communication systems.
Research on semantic technologies, such as the Semantic Web and intelligent web services.