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

učo 373979
Lecturer 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

Studies

Programme FI N-IN Informatics, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2016
Thesis/DissertationLLVM Transformations for Model Checking
Field of StudyFI PDS Parallel and Distributed Systems
Programme FI B-IN Informatics, Bachelor's degree programme
Statusstate examination passed and studies completed, degree conferred: Bc., in 2013
Thesis/DissertationState space compression for the DiVinE model checker
Field of StudyFI PSK Computer Networks and Communication