Translated using 
Machine-translated page for increased accessibility for English questioners.
Doctoral graduates in 2022
Stanislav Chren
| Date of defence | 12. 12. 2022 |
|---|---|
| Field of study | Technology and Methodology of Computer Systems |
| Doctoral thesis | Multi-layered Reliability Analysis of Smart Grids |
Jana Komárková
| Date of defence | 5. 12. 2022 |
|---|---|
| Area | Technology and methodology of computer systems |
| Doctoral thesis | Decision Support in Network Defence |
Dušan Klinec
| Date of defence | 28. 11. 2022 |
|---|---|
| Area | Fundamentals of Informatics |
| Doctoral thesis | Randomness and cryptographic functions |
Jacob Cooper
| Date of defence | 25. 10. 2022 |
|---|---|
| Area | Foundations of Computer Science |
| Dissertation | Discrete methods in computer science |
David Střelák
| Date of defence | 24. 10. 2022 |
|---|---|
| Area | Technology and methodology of computer systems |
| Doctoral thesis | Acceleration of image processing algorithms for single particle analysis by electron microscopy |
Jana Dražanová
| Date of defence | 7. 10. 2022 |
|---|---|
| Area | Fundamentals of informatics |
| Dissertation | Abstraction-Based Analysis of Continuous-Time Models in System Biology |
Dominik Velan
| Date of defence | 14. 9. 2022 |
|---|---|
| Area | Fundamentals of Computer Science |
| Doctoral thesis | Termination Time of Vector Addition Systems with States |
Martin Ukrop
| Date of defence | 22. 8. 2022 |
|---|---|
| Area | Technology and methodology of computer systems |
| Doctoral thesis | Two Cases of Human-Centered Computer Science: Usable Developer Interaction with TLS Certificates and Effective Teaching Assistant Training |
Valdemar Švábenský
| Date of defence | 1. 7. 2022 |
|---|---|
| Scope | Technology and Methodology of Computer Systems |
| Doctoral thesis | Automated Feedback for Cybersecurity Training |
Samuel Pastva
| Date of defence | 20. 6. 2022 |
|---|---|
| Area | Fundamentals of Computer Science |
| Dissertation | Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems |
Lukáš Němec
| Date of defence | 17. 6. 2022 |
|---|---|
| Branch | Technology and Methodology of Computer Systems |
| Doctoral thesis | Introducing key extraction to secrecy amplification protocols for ad-hoc networks |
Marek Chalupa
| Date of defence | 12. 4. 2022 |
|---|---|
| Area | Fundamentals of informatics |
| Doctoral thesis | Program Slicing and Symbolic Execution for Verification |
Martin Laštovička
| Date of defence | 23. 2. 2022 |
|---|---|
| Area | Technology and Methodology of Computer Systems |
| Doctoral thesis | Improving Cybersecurity Through Situational Awareness |
Vít Novotný
| Date of defence | 17. 2. 2022 |
|---|---|
| Area | Fundamentals of Informatics |
| Dissertation | Interpretable Representations for Fast and Accurate Retrieval of Mathematical Information |
Tomáš Raček
| Date of defence | 17. 2. 2022 |
|---|---|
| Area | Technology and Methodology of Computer Systems |
| Doctoral thesis | Empirical methods for calculating partial atomic charges |
Matej Antol
| Date of defence | 10. 2. 2022 |
|---|---|
| Area | Technology and methodology of computer systems |
| Doctoral thesis | Advancing Management of Complex Data in Metric Spaces |
Vladimír Sedláček
| Date of defence | 9. 2. 2022 |
|---|---|
| Area | Fundamentals of Informatics |
| Dissertation | On cryptographic weaknesses related to elliptic curves |
Bojan Kerouš
| Date of defence | 25. 1. 2022 |
|---|---|
| Area | Fundamentals of Computer Science |
| Doctoral thesis | Stress exposure and self-regulation in Virtual reality |