School of Science
Science for tomorrow’s technology, innovations and businesses
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 research focuses on probabilistic machine learning and computational biology.
crai-cis.aalto.fi
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.
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.
Science for tomorrow’s technology, innovations and businesses
We are an internationally-oriented community and home to world-class research in modern computer science.