Mgr. Jiří Zárevúcky
učo 359656
Studies
Informatics, Faculty of Informatics, 2020 (completed, Mgr.) | ||
---|---|---|
Programme | FI N-IN Informatics, Master's degree programme | |
Status | state examination passed and studies completed, degree conferred: Mgr., in 2020 | |
Thesis/Dissertation | Safety Checkers for Termination Proofs | |
Field of Study | FI PDS Parallel and Distributed Systems | |
Record of Study Results |
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 | Improved VFS design for HelenOS | |
Field of Study | FI MI Mathematical Informatics | |
Record of Study Results |
The Personal Page is being displayed with the following user's consent: Jiří Zárevúcky, 8/2/2023