Mgr. Martin Kurečka
Institute for Theoretical Computer Science
office: C515
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 1890 |
|---|---|
| e‑mail: |
-
Modeling, analysis, and verification (2025) (MUNI/A/1600/2024)
MU Researcher: doc. RNDr. David Svoboda, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2025 — 12/2025Investor: Masaryk University / Specific research - support for student projects -
Modeling, analysis, and verification (2024) (MUNI/A/1592/2023)
MU Researcher: doc. RNDr. David Svoboda, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2024 — 12/2024Investor: Masaryk University / Specific research - support for student projects -
Analýza a vzorkování molekulárních simulací pomocí kontradiktorních autokodérů (GA22-29667S)
MU Researcher: Mgr. Aleš Křenek, Ph.D. MU Faculty or unit: Institute of Computer Science Project Period: 1/2022 — 12/2024Investor: Czech Science Foundation / Standard Projects -
Praktické úlohy v učebnici Brisk Guide to Mathematics (MUNI/FR/1448/2018)
MU Researcher: prof. RNDr. Jan Slovák, DrSc. MU Faculty or unit: Faculty of Science Project Period: 1/2019 — 12/2019Investor: Masaryk University / MU Development Fund