Mgr. Josef Podaný
grad. 2022, 2025, učo 485460




Studies
Theoretical computer science, Faculty of Informatics | ||
---|---|---|
Programme | FI N-TEI Theoretical computer science, Master's degree programme | |
Status | state examination passed and studies completed, degree conferred: Mgr., in 2025 | |
Thesis/Dissertation | A Rust library for manipulating sentential decision diagrams | |
Plan | FI PPJ Principles of programming languages |
Informatics, Faculty of Informatics | ||
---|---|---|
Programme | FI B-IN Informatics, Bachelor's degree programme | |
Status | state examination passed and studies completed, degree conferred: Bc., in 2022 | |
Thesis/Dissertation | On Dynamicity of Metric Hull Trees | |
Field of Study | FI MI Mathematical Informatics |
The Personal Page is being displayed with the following user's consent: Josef Podaný, 4/2/2025