Our Research Groups

Algorithms and Complexity

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

Computer Security

Studying how to secure computational environments in the presence of strong adversaries where we formally model security guarantees such as privacy, integrity, correctness, and more.


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

Database Architectures

A leading data 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.

Human-Centered Data Analytics

Developing methods and techniques to better support users in accessing information. Working with social scientists and humanities researchers on technology to better 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 and Health

Designing and analyzing models and algorithms focused on their direct application to important challenges in the life sciences and health.

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 mathematical methods to simulate and predict real-world phenomena with inherent uncertainties, targeting applications in 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.


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