Mgr. Martin Kučera
abs. 2014, 2016, učo 396248
Studium
Informatika, Fakulta informatiky | ||
---|---|---|
Program | FI N-IN Informatika, magisterský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2016 | |
Závěrečná práce | Efficient analysis of stochastic consumption games | |
Obor | FI TEI Teoretická informatika | |
Výsledky studia |
Informatika, Fakulta informatiky | ||
---|---|---|
Program | FI B-IN Informatika, bakalářský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2014 | |
Závěrečná práce | Znovupoužití známých výsledků SMT dotazů | |
Obor | FI MI Matematická informatika | |
Výsledky studia |
Osobní stránka je zobrazena se souhlasem uživatele: Martin Kučera, 5. 1. 2016