EN

Osobní stránka RNDr. Vladimír Štill

  

RNDr. 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

Masarykova univerzita
    Akademický senát
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
    Semestr7. semestr, 4. 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

Další aplikace