Research
- research themes
- research groups
- Algorithms and Complexity
- Computational Dynamics
- Cryptology
- Database Architectures
- Distributed and Interactive Systems
- Formal Methods
- Information Access
- Intelligent Systems
- Life Sciences
- Multiscale Dynamics
- Networks and Optimization
- Scientific Computing
- Software Analysis and Transformation
- Stochastics
- research staff
- In brief




































































































(click a picture to view the person's profile page)
Research groups
Research within CWI is organised into the following groups:
- Algorithms and Complexity (A&C) - Harry Buhrman
- Computational Dynamics (CD) - Jason Frank
- Cryptology (CR) - Ronald Cramer
- Database Architectures (DA) - Stefan Manegold
- Distributed and Interactive Systems (DIS) - Dick Bulterman
- Formal Methods (FM) - Frank de Boer
- Information Access (IA) - Arjen de Vries
- Intelligent Systems (IS) - Han La Poutré
- Life Sciences (LS) - Gunnar Klau
- Multiscale Dynamics (MD) - Ute Ebert
- Networks and Optimization (N&O) - Monique Laurent
- Scientific Computing (SC) - Kees Oosterlee
- Software Analysis and Transformation (SWAT) -Jurgen Vinju
- Stochastics (ST) - Bert Zwart

