Mgr. Vladimír Štill

učo 373979
xstill(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz xstill(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz

Pracoviště

Katedra teorie programování - Fakulta informatiky (externí spolupráce)

Členství v akademických orgánech

Fakulta informatiky
    Akademický senát
    Kolegium děkana

Studium

Program FI D-IN4 Informatika (čtyřleté), doktorský studijní program
Školitelprof. RNDr. Jiří Barnat, Ph.D.
Formaprezenční jednooborové
Stavřádný zápis
OborFI PST Počítačové systémy a technologie
    Semestr4. semestr, 2. 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

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 15. 12. 2017 17:06, 50. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému