Sabine Rieder, M.Sc.
odborná pracovnice ve výzkumu – Katedra teorie programování
-
Modelování, analýza a verifikace (2025) (MUNI/A/1600/2024)
Řešitel na MU: doc. RNDr. David Svoboda, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2025 — 12/2025Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů -
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/2024Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů