Mgr. Adam Štěpánek

Katedra vizuální informatiky

e‑mail:

Modelování, analýza a verifikace (2024) (MUNI/A/1592/2023)

Řešitel na MU:	doc. RNDr. David Svoboda, Ph.D.
Fakulta / Pracoviště MU:	Fakulta informatiky
Období řešení:	1/2024 — 12/2024
Investor/Program:	Masarykova univerzita / Specifický výzkum - podpora studentských projektů

Řešitel na MU:	doc. RNDr. Petr Sojka, Ph.D.
Fakulta / Pracoviště MU:	Fakulta informatiky
Období řešení:	8/2022 — 6/2023
Investor/Program:	Masarykova univerzita / Interní projekty FI