Funding, Projects & Grants
Computer-assisted mathematical proofs
- Provider: Ministry of Education, Youth, and Sports
- Call name: Inter Excellence II
- Principal Investigator(s): Dušan Knop
- Collaborators: Jan Volec, Daniela Černá (née Opočenská)
- Years: 04/2026 - 06/2028
GRAND - Graphs and non-hereditarity
- Provider: Ministry of Education, Youth, and Sports
- Call name: MSCA CZ
- Principal Investigator(s): Foivos Fioravantes
- Collaborators:
- Years: 11/2024 - 10/2026
Algacom
- Provider: European Union
- Call name: MSCA Postdoc 22
- Principal Investigator(s): Tomáš Jakl
- Collaborators: Dušan Knop
- Years: 09/2024 - 08/2026
DiGeo: Fundamental Questions in Discrete Geometry
- Provider: Czech Science Foundation
- Call name: Expro Project
- Principal Investigator(s): Pavel Valtr
- Collaborators: Maria Saumell
- Years: 01/2023 - 12/2027
Extremal and Probabilistic Combinatorics
- Provider: Czech Science Foundation
- Call name: Junior Star
- Principal Investigator(s): Jan Volec
- Collaborators: Pedro Araújo, Alexander Clifton, Daniela Černá (née Opočenská)
- Years: 01/2023 - 12/2027
New Frontiers in Computational Social Choice
- Provider: Czech Science Foundation
- Call name: Standard Project
- Principal Investigator(s): Dušan Knop
- Collaborators: Václav Blažej, Jan Matyáš Křišťan, Michal Opler, Ondřej Suchý, Šimon Schierreich, Tomáš Valla
- Years: 04/2022 - 12/2024
Tight Parameterized Results for Directed Connectivity Problems
- Provider: Czech Science Foundation
- Call name: Standard Project
- Principal Investigator(s): Ondřej Suchý
- Collaborators: Radovan Červený, Dušan Knop, Josef Malík
- Years: 01/2017 - 12/2019