RNDr. Vladimír Štill, Ph.D.

učo 373979
Lektor KPSK FI MU
xstill(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz still(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz

Pracoviště

Rektorát (externí spolupráce)

Studium

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