Maximilian Prokop, M.Sc.

odborný pracovník ve výzkumu – Katedra teorie programování

korespondenční adresa:
Botanická 554/68a, 602 00 Brno

e‑mail:

sociální a akademické sítě:

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

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