Mgr. Ondřej Huvar
učo 492849
Odborný pracovník ve výzkumu KSUZD FI MU
mail
muni
Pracoviště
| Katedra strojového učení a zpracování dat – Fakulta informatiky | |
|---|---|
| Pracovní zařazení | odborný pracovník ve výzkumu |
Studium
| Informatika, Fakulta informatiky | ||
|---|---|---|
| Program | FI D-INF Informatika, doktorský studijní program | |
| Školitel | doc. RNDr. David Šafránek, Ph.D. | |
| Konzultant | RNDr. Samuel Pastva, Ph.D. | |
| Forma | prezenční se specializací | |
| Stav | řádný zápis | |
| Výzkumné zaměření | Identifying Qualitative Dynamic Models from Experimental Data and Literature Knowledge | |
| Plán | FI DIIA Technologie a metodologie počítačových systémů | |
| 1. semestr, 1. ročník | ||
| Umělá inteligence a zpracování dat, Fakulta informatiky, 2025 (úspěšně abs., Mgr.) | ||
|---|---|---|
| Program | FI N-UIZD Umělá inteligence a zpracování dat, magisterský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2025 | |
| Závěrečná práce | SketchBook: Tool for Inference of Logical Models of Gene Regulatory Networks | |
| Plán | FI BIO Bioinformatika a systémová biologie | |
| Informatika, Fakulta informatiky, 2022 (úspěšně abs., Bc.) | ||
|---|---|---|
| Program | FI B-INF Informatika, bakalářský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2022 | |
| Závěrečná práce | Symbolic Model Checking of Hybrid CTL | |
| Plán | FI IN Informatika | |