RNDr. Vladimír Štill

učo 373979
xstill(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz, email forwarded to another address

Department

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

Membership in academic institutions

Masaryk University
    Committee
    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
Statusstudies during disrupted studies
Field of StudyFI PST Computer Systems and Technologies
    Term9th semester, 5th 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

The Personal Page is being displayed with the following user's consent: Vladimír Štill, 22/6/2019