mail
muniDepartment
| Department of Computer Systems and Communications – Faculty of Informatics (part-time cooperation) |
|---|
Studies
| Applied Informatics, Faculty of Informatics, 2016 (completed, Mgr.) | ||
|---|---|---|
| Programme | FI N-AP Applied Informatics, Master's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Mgr., in 2016 | |
| Thesis/Dissertation | TCP Layer for Divine Model Checker | |
| Field of Study | FI AP Applied Informatics | |
| Record of Study Results | ||
| Applied Informatics, Faculty of Informatics, 2013 (completed, Bc.) | ||
|---|---|---|
| Programme | FI B-AP Applied Informatics, Bachelor's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Bc., in 2013 | |
| Thesis/Dissertation | Dynamically growing shared hash table for DiVinE | |
| Field of Study | FI BcAP Applied Informatics | |
| Record of Study Results | ||
The Personal Page is being displayed with the following user's consent: Jiří Weiser, 7/9/2016