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

Advanced Queuing Theory Analysis

Computability, Logic, AI Algorithms

Distributed systems and fault tolerance

Semantic Web and Ontologies

Algorithms and Data Compression

Advanced Software Engineering Methodologies

Multimedia Communication and Technology

Data Management and Algorithms

semigroups and automata theory

Quantum Information and Cryptography

Optimization and Search Problems

Advanced Numerical Methods in Computational Mathematics

Model-Driven Software Engineering Techniques

Advanced Graph Theory Research

Software Engineering Research

Numerical methods for differential equations

Video Analysis and Summarization

Matrix Theory and Algorithms