Centrum Wiskunde & Informatica

Logic, programming, and type systems

Complexity and Algorithms in Graphs

Formal Methods in Verification

semigroups and automata theory

Advanced Database Systems and Queries

Quantum Information and Cryptography

Cryptography and Data Security

Algorithms and Data Compression

Quantum Computing Algorithms and Architecture

Model-Driven Software Engineering Techniques

Advanced Queuing Theory Analysis

Logic, Reasoning, and Knowledge

Computability, Logic, AI Algorithms

Advanced Graph Theory Research

Advanced Numerical Methods in Computational Mathematics

Parallel Computing and Optimization Techniques

Advanced Software Engineering Methodologies

Probability and Statistical Research

Advanced Algebra and Logic

Optimization and Search Problems

Multi-Agent Systems and Negotiation

Coding theory and cryptography

Computational Fluid Dynamics and Aerodynamics

Information Retrieval and Search Behavior

Probability and Risk Models