teach & supervise
2025/2026
- Winter semester:
- 1-AIN-152-22 Linear Algebra
- 1-AIN-413 Graphs, Graph Algorithms and Optimization | GIT
- Summer semester:
- 1-AIN-160 Discrete Mathematics (2)
- 2-AIN-205: Algorithmic Solution of Hard Problems
2024/2025
- Winter semester:
- 1-AIN-121 Discrete Mathematics (1)
- 1-AIN-413 Graphs, Graph Algorithms and Optimization | GIT
- Summer semester:
- 1-AIN-160 Discrete Mathematics (2)
- 2-AIN-205: Algorithmic Solution of Hard Problems
2023/2024
- Winter semester:
- 1-AIN-121 Discrete Mathematics (1)
- 1-AIN-413 Graphs, Graph Algorithms and Optimization | GIT
- Summer semester:
- 1-AIN-160 Discrete Mathematics (2)
- 1-AIN-412/22 Logic for computer science
Theses
Supervisor
Bachelor students
- Vladyslav Peresada, Asymmetric Graphs, 2025
- Samuel Varchol, Graph neural networks for Algebraic Graph Theory, 2026
- Vladimír Jančár, Graph neural networks for Algebraic Graph Theory, 2026
Master students
- Marek Danihel, Graphs identified by Weisfeiler-Leman, 2026
Opponent
- Timotea Chalupová, Token graphs, 2024
Student projects
- https://github.com/TIS2024-FMFI/kolmogorov (Metamath graph exploration tool)