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

Divya Ravi joins TCS group and the CiCS project

Divya Ravi has switched groups within IvI to become a member of the TCS group. Her research interests in Secure Multi-Party Computation fit well our current expertise. For the coming 5 years, Divya will be working on the new NWO Gravitation project “Challenges in Cyber Security (CiCS)”.

VENI grant for John van de Wetering

John van de Wetering, assistant professor in the TCS group has been awarded a personal VENI grant from NWO, congratulations!!

Jana Sotáková’s PhD defense

On Friday, 28 June 2024, Jana successfully defended her PhD thesis entitled “Isogenies and cryptography” in the Aula of the University of Amsterdam. Watch back her defense here.

Congratulations, Dr. Sotáková!



TCS Alumni lunch 2024

On Wednesday, 26 June 2024, the IvI TCS group organized a TCS alumni lunch from 12.00 to 14.00 in L3.36 at Lab42. The goal of the meeting to get to know about current and past research of the IvI TCS group. From 12.00 - 12.30 the current TCS members gave a quick personal introduction and overview of their ongoing research, education and valorisation activities. After that, the retired guests of the TCS group (Inge Bethke, Jan Bergstra, Alban Ponse, Kees Middelburg, Piet Rodenburg) presented their ongoing research efforts.

TCS BBQ 2024

To celebrate (Dutch) summer, Chris invited the TCS group members for a BBQ to his house on IJburg. Sarah volunteered as chef to prepare loads of tasty Korean BBQ.



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

Avatar

Divya Ravi

Assistant Professor

Avatar

Nicolas Resch

Assistant Professor

Avatar

John van de Wetering

Assistant Professor

Postdocs

PhD Students

Avatar

Martijn Brehm

PhD student

Avatar

Sarah Li

PhD student

Avatar

Gina Muuss

PhD student

Avatar

Daan Planken

PhD student

Avatar

Ailsa Robertson

PhD student

Avatar

Lydia Tasiou

PhD student

Guests

Jan Bergstra

Guest Emeritus Professor

Inge Bethke

Guest Researcher

Kees Middelburg

Guest Researcher

Alban Ponse

Guest Researcher

Support

Petra Venema

Support

Alumni

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.

Contact