Mgr. Jiří Weiser

učo 374154

Studies

Programme FI N-AP Applied Informatics, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2016
Thesis/DissertationTCP Layer for Divine Model Checker
Field of StudyFI AP Applied Informatics
Record of Study Results
Programme FI B-AP Applied Informatics, Bachelor's degree programme
Statusstate examination passed and studies completed, degree conferred: Bc., in 2013
Thesis/DissertationDynamically growing shared hash table for DiVinE
Field of StudyFI BcAP Applied Informatics
Record of Study Results

The Personal Page is being displayed with the following user's consent: Jiří Weiser, 7/9/2016