Theory of Computer Science

The Theory of Computer Science (TCS) Group does research on the theoretical foundations of computer science. The aim is to seek greater understanding of fundamental computational techniques and their inherent limitations. The TCS group forms an integral part of a vibrant community of TCS researchers in Amsterdam.

Latest News

KNAW Early Career Award for John van de Wetering

John van de Wetering, assistant professor in the TCS group, has received a KNAW Early Career Award from the Royal Netherlands Academy of Arts and Sciences. Congratulations!!

KNAW Early Career Award for John van de Wetering
VENI grant for Divya Ravi

Divya Ravi, assistant professor in the TCS group has been awarded a personal VENI grant from NWO, congratulations!!

VENI grant for Divya Ravi
TCS goes Pannenkoekenboot

This year’s summer outing went to the Pannenkoekenboot, a (not so) touristy attraction in Amsterdam. We had all-you-can-eat pancakes, and some very nice weather on the boat, thanks everybody for joining!

TCS goes Pannenkoekenboot
Koen authors a book about "Introduction to Quantum Computing for Business"

Check out Koen’s book about Introduction to Quantum Computing for Business, an open-access book that covers the use cases and practical impact of quantum technology, without resorting to complex mathematics of physics.

Koen authors a book about "Introduction to Quantum Computing for Business"
Nic featured in a new article!

Catch Nic share insights about cryptography and zero-knowledge in this UvA news article.

Nic featured in a new article!

TCS group pre 2022

The TCS group has a history of developing theory and tools in the field of algebraic specification which can be used to specify, analyse, and verify concurrent communicating and programmed systems. This link leads you back to the old group homepage, including publications from 1997-2018 and technical reports as well as software.

Team

Group Chair

Scientific Staff

Divya Ravi

Divya Ravi

Assistant Professor

Nicolas Resch

Nicolas Resch

Assistant Professor

Florian Speelman

Florian Speelman

Assistant Professor

John van de Wetering

John van de Wetering

Assistant Professor

Postdocs

PhD Students

Martijn Brehm

Martijn Brehm

PhD student

Maximilian Kamps

Maximilian Kamps

PhD student

Joost van der Laan

Joost van der Laan

PhD student

Sarah Li

Sarah Li

PhD student

Gina Muuss

Gina Muuss

PhD student

Daan Planken

Daan Planken

PhD student

Ailsa Robertson

Ailsa Robertson

PhD student

Mingrui Zou

Mingrui Zou

PhD student

Guests

Jan Bergstra

Guest Emeritus Professor

Kees Middelburg

Guest Researcher

Alban Ponse

Guest Researcher

Support

Petra Venema

Support

Alumni

Contact