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.
Nicolas Resch, tenure-track assistant professor in the TCS group has been awarded a personal VENI grant from NWO, congratulations!!
All the TCS group members joined up for our first group outing, which doubled as good-bye event for Feline, who has been assisting the TCS groups over the last few months.
We are happy to announce the hiring of John van de Wetering as new assistant professor in the theory of computer science group. John van de Wetering (PhD Radboud University 2020), currently postdoc at Oxford University, will join the TCS group at the Informatics Institute in December 2022.
This is an archived version of the official ad which is not online anymore!
Have you ever wondered about the mathematical techniques that underpin the information revolution that, for example, allow you to read this website? Do you have a passion for mathematics and a desire to solve problems arising in the theoretical study of computation? Are you excited by the prospect of collaborating with other mathematically-inclined researchers to attack these questions? We are seeking a PhD student to carry out cutting-edge research in theoretical computer science (TCS).
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.