Mgr. Jakub Šárník

Institute for Theoretical Computer Science

e‑mail:

social and academic networks:

Modeling, analysis, and verification (2026) (MUNI/A/1784/2025)

MU Researcher:	doc. RNDr. David Svoboda, Ph.D.
MU Faculty or unit:	Faculty of Informatics
Project Period:	1/2026 — 12/2026
Investor:	Masaryk University / Specific research - support for student projects

MU Researcher:	doc. RNDr. David Svoboda, Ph.D.
MU Faculty or unit:	Faculty of Informatics
Project Period:	1/2025 — 12/2025
Investor:	Masaryk University / Specific research - support for student projects