RNDr. Vladimír Štill, Ph.D.
učo 373979
mail
municzDepartment
| Rector's Office (part-time cooperation) |
|---|
Studies
| Informatics, Faculty of Informatics, 2016 (completed, Mgr.) | ||
|---|---|---|
| Programme | FI N-IN Informatics, Master's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Mgr., in 2016 | |
| Thesis/Dissertation | LLVM Transformations for Model Checking | |
| Field of Study | FI PDS Parallel and Distributed Systems | |
| Informatics, Faculty of Informatics, 2013 (completed, Bc.) | ||
|---|---|---|
| Programme | FI B-IN Informatics, Bachelor's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Bc., in 2013 | |
| Thesis/Dissertation | State space compression for the DiVinE model checker | |
| Field of Study | FI PSK Computer Networks and Communication | |
The Personal Page is being displayed with the following user's consent: Vladimír Štill, 29/3/2024