Translated using 
Machine-translated page for increased accessibility for English questioners.
Doctoral graduates in 2025
Ján Jančár
| Date of defence | 18. 12. 2025 |
|---|---|
| Field of study | Fundamentals of Computer Science |
| Doctoral thesis | Cryptographic implementations in the dark forest |
Matej Gallo
| Date of defence | 12. 11. 2025 |
|---|---|
| Area | Fundamentals of Informatics |
| Doctoral thesis | Explanaible AI in Digital Pathology |
Ondřej Sotolář
| Date of defence | 10. 10. 2025 |
|---|---|
| Area | Technology and Methodology of Computer Systems |
| Doctoral thesis | Computational Methods for Detecting Psychological Phenomena in Dialogues |
Michal Ajdarów
| Date of defence | 3. 10. 2025 |
|---|---|
| Area | Fundamentals of Computer Science |
| Dissertation | Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States |
David Klaška
| Date of defence | 1. 8. 2025 |
|---|---|
| Area | Fundamentals of Computer Science |
| Doctoral thesis | Efficient Strategy Synthesis for Patrolling Games and Further Infinite-Horizon Objectives |
David Kut'ák
| Date of defence | 7. 7. 2025 |
|---|---|
| Area | Fundamentals of Computer Science |
| Doctoral thesis | Three-dimensional Visualization and Interaction for Nanostructure Modeling |
Lukáš Sadlek
| Date of defence | 20. 6. 2025 |
|---|---|
| Area | Technology and Methodology of Computer Systems |
| Doctoral thesis | Automated Identification of Cyber Threat Scenarios |
Jan Tušil
| Date of defence | 12. 6. 2025 |
|---|---|
| Area | Fundamentals of Informatics |
| Dissertation | Progress in Programming Language Semantics Frameworks |
Antonín Dufka
| Date of defence | 20. 5. 2025 |
|---|---|
| Area | Technology and Methodology of Computer Systems |
| Doctoral thesis | Practical Threshold Cryptography on Resource-Constrained Security-Certified Hardware |
Kristýna Pekárková
| Date of defence | 16. 5. 2025 |
|---|---|
| Area | Fundamentals of Computer Science |
| Dissertation | Sparsity Methods in Combinatorics and Optimization |
Adam Janovský
| Date of defence | 20. 2. 2025 |
|---|---|
| Area | Fundamentals of Computer Science |
| Doctoral thesis | Real-world deployment of cryptographic functions. |
Michal Štefánik
| Date of defence | 6. 2. 2025 |
|---|---|
| Area | Fundamentals of informatics |
| Dissertation | Axes of Robustness of Neural Language Models |
Jaroslav Oľha
| Date of defence | 28. 1. 2025 |
|---|---|
| Area | Technology and methodology of computer systems |
| Doctoral thesis | Data-Driven Dynamic Autotuning: Optimizing Autotuning Overhead with Prior Tuning Data |