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.
Open Positions
Open positions:
- Assistant Professor in Cyber Security
- PhD position in code-based cryptography (with Nic Resch)
Latest News
John van de Wetering, assistant professor in the TCS group has been awarded a personal VENI grant from NWO, congratulations!!
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á!
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.
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.
The TCS Group of the Informatics Institute has the pleasure to host the following public lecture on Monday, June 10 from 4-5pm in the CWI Turingzaal. Following the lecture, we will host a reception in the Newtonzaal, where refreshments will be provided.
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
Christian Schaffner
Full Professor
Scientific Staff
Divya Ravi
Assistant Professor
Nicolas Resch
Assistant Professor
Steven de Rooij
Docent
John van de Wetering
Assistant Professor
Postdocs
Sebastian Verschoor
Postdoc
PhD Students
Martijn Brehm
PhD student
Sarah Li
PhD student
Gina Muuss
PhD student
Daan Planken
PhD student
Ailsa Robertson
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
Feline Lindeboom
Support
Ivana Marković
Support
Grace Millerson
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
- c.schaffner@uva.nl
- LAB42, Science Park 900, 1098XH Amsterdam, The Netherlands,
- https://ivi.uva.nl/contact/directions/directions.html