CS

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

Department

Department of Computer Science - Faculty of Informatics (part-time cooperation)

Membership in academic institutions

Masaryk University
    Academic Senate
Faculty of Informatics
    Dean's Board
    Academic Senate

Studies

Programme FI D-IN4 Informatics (4-years), doctoral degree programme
Supervisorprof. RNDr. Jiří Barnat, Ph.D.
Study Modefull-time, single-subject
Statusenrolled
Field of StudyFI PST Computer Systems and Technologies
    Term7th semester, 4th year
FI N-IN Informatics, Master's degree programme, 2016 (completed)
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
FI B-IN Informatics, Bachelor's degree programme, 2013 (completed)
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

Other applications