RNDr. Vladimír Štill

učo 373979
xstill(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz, pošta přeposílána jinam

Studium

Program FI D-IN4 Informatika (čtyřleté), doktorský studijní program
Školitelprof. RNDr. Jiří Barnat, Ph.D.
Formaprezenční jednooborové
Stavstudium v době narušeného studia
OborFI PST Počítačové systémy a technologie
    Semestr9. semestr, 5. ročník
FI N-IN Informatika, magisterský studijní program, 2016 (úspěšně abs.)
Program FI N-IN Informatika, magisterský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2016
Závěrečná práceLLVM Transformations for Model Checking
OborFI PDS Paralelní a distribuované systémy
FI B-IN Informatika, bakalářský studijní program, 2013 (úspěšně abs.)
Program FI B-IN Informatika, bakalářský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2013
Závěrečná práceState space compression for the DiVinE model checker
OborFI PSK Počítačové sítě a komunikace

Osobní stránka je zobrazena se souhlasem uživatele: Vladimír Štill, 22. 6. 2019