Mgr. Xichao Shu
Katedra teorie programování
| e‑mail: |
|
|---|
Projekty
-
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ů -
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/2023Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů