| Type | Author and work title | Supervisor | Year | prog | disc |
|---|---|---|---|---|---|
| BP | Marika Slouková: Dependent Types and Specification in Type Theory (PDF) | Dostál Matěj | 2024 | OI | Základy umělé inteligence a počítačových věd |
| BP | Kristýna Kořenská: Graph drawing and aesthetics metrics (PDF) | Dostál Matěj | 2023 | OI | Počítačové hry a grafika |
| BP | Jiří Povolný: Graph drawing using algebraic graph theory (PDF) | Dostál Matěj | 2022 | OI | Počítačové hry a grafika |
| BP | Daria Dunina: Vietoris-Rips complex (PDF) | Dostál Matěj | 2021 | OI | Software |
| BP | Vojtěch Štěpančík: Computational trinitarianism and linear types (PDF) | Dostál Matěj | 2021 | OI | Software |
| BP | Teodor Delov: Geometric algebra (PDF) | Dostál Matěj | 2023 |
diploma
DEBUG: found in cache: