Centrum Wiskunde & Informatica Learn more

This page lists public profiles for Centrum Wiskunde & Informatica. To include your profile here, set your affiliation to Centrum Wiskunde & Informatica and verify an email address at this institution. hide
Alexander Schrijver

Alexander Schrijver

University of Amsterdam and CWI
Verified email at cwi.nl
Cited by 45582
discrete mathematics optimization
Paul Vitanyi

Paul Vitanyi

CWI and University of Amsterdam
Verified email at cwi.nl
Cited by 22987
Theory of Computation Pattern Recognition Kolmogorov complexity
Krzysztof R. Apt

Krzysztof R. Apt

CWI fellow, CWI , The Netherlands
Verified email at cwi.nl
Cited by 17928
Game theory program verification logic and constraint programming
Peter Boncz

Peter Boncz

Professor, VU University Amsterdam & CWI
Verified email at cwi.nl
Cited by 14632
Database Systems Column Stores Vectorized Execution Graph/RDF querying
Ute Ebert

Ute Ebert

CWI, Amsterdam, and Eindhoven Univ Techn, The Netherlands
Verified email at cwi.nl
Cited by 12204
Martin Kersten

Martin Kersten

Research Fellow, CWI, Amsterdam
Verified email at cwi.nl
Cited by 12186
Database systems
Frank de Boer

Frank de Boer

Leader research group Formal Methods at Centrum Wiskunde & Informatica and prof …
Verified email at cwi.nl
Cited by 11460
Theoretical Computer science Programming Logics and Semantics
Valentin Robu

Valentin Robu

Senior Researcher, CWI Amsterdam and Full Professor, TU Eindhoven
Verified email at cwi.nl
Cited by 11373
AI Multi-Agent Systems Smart Grids Automated Negotiation Algorithmic Game Theory
Léo Ducas

Léo Ducas

CWI, Amsterdam & Leiden University, The Netherlands
Verified email at cwi.nl
Cited by 11366
Cryptography Lattices
Paul Klint

Paul Klint

Prof. in Software Engineering, Univ. of Amsterdam and Head of Software Engineering, CWI
Verified email at cwi.nl
Cited by 11037
Software engineering meta-programming domain-specific languages software analysis software transformation
1 - 10