mail
muniStudies
| Mathematics, Faculty of Science, 2019 (completed, Mgr.) | ||
|---|---|---|
| Programme | PřF N-MA Mathematics, Master's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Mgr., in 2019 | |
| Thesis/Dissertation | API for Monitoring of Program Behaviour in DIVINE Model Checker | |
| Field of Study | PřF MINF Mathematics with Informatics | |
| Mathematics, Faculty of Science, 2016 (completed, Bc.) | ||
|---|---|---|
| Programme | PřF B-MA Mathematics, Bachelor's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Bc., in 2016 | |
| Thesis/Dissertation | Implicit operations on finite algebras | |
| Field of Study | PřF OM Mathematics | |
| Record of Study Results | ||
The Personal Page is being displayed with the following user's consent: Tadeáš Kučera, 15/6/2017