معرفی
Tomáš Jakl is a mathematician and computer scientist affiliated with the Czech Technical University (CTU). His research focuses on the intersection of topology, algebra, and category theory, with applications in theoretical computer science and logic. He is currently conducting the Marie Skłodowska-Curie project ALGACOM (Algorithms and Game Comonads), which bridges category theory with parameterized complexity through game comonads.
- Supervisor: Dušan Knop (CTU)
- Funding: EU Horizon Europe grant agreement No 101111373
Research Highlights: Jakl explores dualities between topology and algebra, leveraging category theory's compositional tools to analyze algorithmic efficiency and limitations in computational problems. His recent work includes applying game comonads to finite model theory and constraint satisfaction problems.
Scientific Contributions: Jakl has published preprints on categorical approaches to PCSP and constraint satisfaction, and collaborated with researchers like Anna Laura Suarez, Max Hadek, and Jakub Opršal. His ALGACOM project integrates category theory into algorithm analysis and parameterized complexity.
Awards & Activities:
- Marie Skłodowska-Curie Fellowship
- Lecturer at ESSLLI 2025
- Submitted ERC Starting proposal and GACR grant
- Presented at Summer School on General Algebra and Ordered Sets
- Active in CTU's GGOAT seminar
