Centrum Wiskunde & Informatica

Logic, programming, and type systems

Formal Methods in Verification

Complexity and Algorithms in Graphs

Logic, Reasoning, and Knowledge

Cryptography and Data Security

Quantum Computing Algorithms and Architecture

Advanced Database Systems and Queries

Computability, Logic, AI Algorithms

Advanced Queuing Theory Analysis

Distributed systems and fault tolerance

Semantic Web and Ontologies

Algorithms and Data Compression

Advanced Software Engineering Methodologies

Quantum Information and Cryptography

semigroups and automata theory

Data Management and Algorithms

Multimedia Communication and Technology

Optimization and Search Problems

Advanced Graph Theory Research

Advanced Numerical Methods in Computational Mathematics

Model-Driven Software Engineering Techniques

Software Engineering Research

Numerical methods for differential equations

Video Analysis and Summarization

Machine Learning and Algorithms