CWI Research Groups

At CWI, there are 15 individual research groups. They focus on the following key areas:

Algorithms and Complexity

Designing quantum software for future quantum computers, using fundamentally different techniques and approaches based on superposition, interference and entanglement.

Cryptology

Investigating how cryptologic methods can contribute to solving security issues, for example through encryption, digital signatures and secure computation.

Database Architectures

A leading database systems research group, active in the broad area of data management systems and infrastructure for supporting data science.

Distributed and Interactive Systems

Facilitating and improving the way people access media and communicate with others and the environment, in areas such as wearable technology and smart textiles, immersive media, languages and infrastructures.

Formal Methods

Technological foundations that underpin software engineering and service-oriented computing, adding stability and reliability to those foundations and the third-party applications built on them.

Information Access

Developing methods and techniques to better support users in accessing information. Working together with social scientists and humanities researchers how technology can be used to best interpret complex data.

Intelligent and Autonomous Systems

Studying generic and fundamental mechanisms that enable the emergence of various degrees of organization, intelligence and autonomy in complex systems, and apply them to concrete problems of societal relevance.

Life Sciences

Creating fundamental knowledge and applied solutions in the broad field of life sciences, promoting understanding of how biological processes work in detail.

Machine Learning

Focusing on how computer programs can learn from and understand data, and then make useful predictions based on it, using insights from statistics and neuroscience.

Multiscale Dynamics

Combining scientific computing with model reduction and machine learning, with particular focus on plasma dynamics in lightning and space weather, and in high voltage and plasma technology.

Networks and Optimization

Developing algorithmic methods to tackle complex optimization problems by combining techniques from mathematics and computer science, with applications in planning, scheduling and routing.

Scientific Computing

Investigating and developing methods that contribute to a better understanding of hard-to-predict developments in vital areas such as climate, energy, and finance.

Software Analysis and Transformation

SWAT studies software systems: their design, their construction, and their inevitable evolution. Our mission is to learn to understand software systems and to improve their quality. We focus on complexity as the primary quality attribute of software systems.

Stochastics

Developing and studying probabilistic, operational and statistical models to model, describe, and improve communication, energy, information, logistics, and transportation systems.