
Mgr. Martin Kurečka
Katedra teorie programování
kancelář: C515
Botanická 554/68a
602 00 Brno
telefon: | 549 49 1890 |
---|---|
e‑mail: | 485413@mail.muni.cz |
-
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ů -
Analýza a vzorkování molekulárních simulací pomocí kontradiktorních autokodérů (GA22-29667S)
Řešitel na MU: Mgr. Aleš Křenek, Ph.D. Fakulta / Pracoviště MU: Ústav výpočetní techniky Období řešení: 1/2022 — 12/2024Investor/Program: Grantová agentura ČR / Standardní projekty -
Praktické úlohy v učebnici Brisk Guide to Mathematics (MUNI/FR/1448/2018)
Řešitel na MU: prof. RNDr. Jan Slovák, DrSc. Fakulta / Pracoviště MU: Přírodovědecká fakulta Období řešení: 1/2019 — 12/2019Investor/Program: Masarykova univerzita / Fond rozvoje MU