Center for Foundations of Contemporary Computer Science
Centrum základů současné informatiky
Center for Foundations of Contemporary Computer Science is a research center funded for the period 2024-2029 by Charles University in program UNCE whose goal is to support young scientists. The prinipal investigator of the center is Michal Koucký. The center is hosted by the following departments:
- Computer Science Institute of Charles University
- Department of Applied Mathematics
- Department of Theoretical Computer Science and Mathematical Logic
The team of the center
Senior researchers
Junior researchers
- Martin Balko (till 2024)
- Marika Ivanová
- Tereza Klimošová
- Martin Koutecký
- Martin Schmid
- Jiří Švancara
- Josef Tkadlec
- Pavel Veselý
- Václav Rozhoň (from 2025)
Postdoc researchers
- Ian Mertz (from Fall 2024)
- Ninad Rajgopal (from Fall 2024)
Doctoral students
- Sudatta Bhattacharya (from 2025)
- Martin Černý
- Tomáš Čížek (2024)
- Tomáš Domes (from 2025)
- Věra Flídrová
- Petr Illner
- Radovan Haluška (2024)
- Lada Kudláčková
- Gaurav Kucheriya
- Matej Lieskovský (from 2025)
- Kateřina Macková
- Amit Roy (from 2025)
- Lluís Sabater Rojas (2024)
- Sasha Sami (from 2025)
- Maximilian Strohmeier (2024)
- David Sychrovský
- Tung Anh Vu (2024)
- Hadi Zamani (2024)
Workshops
Workshop 2024
The first workshop of the Center for Foundations of Contemporary Computer Science will take place on Monday and Tuesday September 23 and 24, 2024, in Špindlerův Mlýn as a part of a joint meeting of CSI (IUUK) and KAM. Our junior members will present their research:
Monday September 23, 9:30 | Tereza Klimošová: 3-Coloring graphs of diameter 2 |
Monday September 23, 10:10 | Josef Tkadlec: Moran process on graphs |
Tuesday September 24, 9:30 | Martin Schmid: History and Future of AI Research in Games |
Workshop 2025
The second workshop of the Center for Foundations of Contemporary Computer Science will take place on Monday and Tuesday September 15 and 16, 2024, in Dolní Dvůr as a part of a joint meeting of CSI (IUUK) and KAM. Our junior members will present their research:
Monday September 15, 9:30 | Ian Mertz: How To Reuse Space |
Monday September 15, 16:30 | Tomáš Domes: Relative Error Streaming Quantiles with Seamless Mergeability via Adaptive Compactors |
Tuesday September 16, 9:30 | Pavel Veselý: From Approximately Shortest Superstrings to Space-Efficient Indexing of Genomic k-Mer Sets |
STTI 2025
On September 25-26, we co-organize small conference STTI 2025 - Současné Trendy Teoretické Informatiky which will take place in Prague at Malá Strana. Two of our current junior members and one formerly affiliated student will present their research:
Thursday September 25, 10:25 | Tung Anh Vu: (Near-)Optimal Algorithms for Sparse Integer Programming with Separable Convex Objectives |
Thursday September 25, 14:00 | Pavel Veselý: Proudové algoritmy pro odhad průměru množiny bodů ve vysoké dimenzi |
Thursday September 25, 14:25 | Václav Rozhoň: Beyond-worst-case heaps |
Goals of the project
The objective of the center is to engage in top-quality research focused on emerging and challenging subjects in the foundations of computer science. Our primary areas of interest encompass innovative domains such as processing of big data, computational questions about society and nature, algorithmic game theory in connection with artificial intelligence and optimization. In addition to these cutting-edge fields, we will also collaborate with traditional areas like graph theory, combinatorics and probability. By leveraging global trends, we aim to identify and initiate additional new avenues of research.
Our goal is to establish a dynamic and vibrant community of exceptional young researchers who possess extensive international experience, contacts, and collaborations with leading research institutions and universities across the world. This concerted effort will inject fresh momentum into the field of computer science in the Czech Republic, contribute to the education of a new generation of researchers and educators, and reinforce the influential global standing of Charles University in the realm of computer science.