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.
Divya Ravi, assistant professor in the TCS group has been awarded a personal VENI grant from NWO, congratulations!!
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!
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.
Catch Nic share insights about cryptography and zero-knowledge in this UvA news article.
We are very happy to announce that Florian Speelman has switched groups within IvI to become a member of the TCS group. His research interests include quantum communication, quantum cryptography and complexity theory.
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.