Masarykova univerzita, Fakulta informatiky
Oddělení doktorských a zahraničních studií
Botanická 554/68a, 602 00 Brno, Česká republika
T: +420 549 49 4963, E: phdoffice@fi.muni.cz, www.fi.muni.cz
Vyřizuje: Ada Nazarejová, E: nazarej@fi.muni.cz
Číslo jednací Místo / datum
MU-IS/99043/2025/2721217/FI-15 Brno / 16. dubna 2025
Rozhodnutí děkana o složení komisí pro státní doktorské zkoušky
Na základě návrhu Oborové rady FI MU ze dne 7. února a 16. dubna 2025, a v souladu se zákonem
č. 111/1998 Sb. o vysokých školách a Studijním a zkušebním řádem MU, jsem stanovil složení komisí
pro státní doktorské zkoušky konané ve čtvrtek 29. května 2025 takto:
9:00 Mgr. Adam Bajger
Concept-based XAI-oriented disentanglement of neural networks for digital pathology
předseda - prof. Dr.rer.nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., FI MU
členové - doc. Ing. Tomáš Martínek, Ph.D., FIT VUT v Brně
- doc. RNDr. Petr Matula, Ph.D., FI MU
- doc. Mgr. Bc. Vít Nováček, Ph.D., FI MU
- Ing. Filip Plešinger, Ph.D., ÚPT AV ČR
oponenti - doc. RNDr. Petr Matula, Ph.D., FI MU
- Ing. Filip Plešinger, Ph.D., ÚPT AV ČR
10:30 Maximilian Prokop, M.Sc.
Towards Practical LTL Synthesis through Machine Learning and Circuitry
předseda - prof. RNDr. Petr Hliněný, Ph.D., FI MU
členové - prof. RNDr. Ivana Černá, CSc., FI MU
- doc. Ing. Tomáš Martínek, Ph.D., FIT VUT v Brně
- doc. Mgr. Bc. Vít Nováček, Ph.D., FI MU
- Ing. Filip Plešinger, Ph.D., ÚPT AV ČR
oponenti - prof. Giuseppe De Giacomo, Oxford University
- prof. RNDr. Jan Strejček, Ph.D., FI MU
13:00 Mgr. Oldřich Pecák
Custom Hardware for Particle Transport Simulators
předseda - prof. Dr.rer.nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., FI MU
členové - RNDr. Jan Byška, Ph.D., FI MU
- doc. RNDr. Jiří Filipovič, Ph.D., FI MU
- doc. Ing. Tomáš Martínek, Ph.D., FIT VUT v Brně
- doc. Ing. Ivan Šimeček, Ph.D., FIT ČVUT v Praze
oponenti - doc. Ing. Tomáš Martínek, Ph.D., FIT VUT v Brně
- doc. Ing. Ivan Šimeček, Ph.D., FIT ČVUT v Praze
14:40 Mgr. Petr Zelina
Towards few-example clinical note element recognition
předseda - prof. Dr.rer.nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., FI MU
členové - doc. RNDr. Petr Matula, Ph.D., FI MU
- doc. RNDr. Pavel Pecina, Ph.D., MFF UK v Praze
- doc. Mgr. Pavel Rychlý, Ph.D., FI MU
- doc. Ing. Ivan Šimeček, Ph.D., FIT ČVUT v Praze
oponenti - doc. RNDr. Aleš Horák, Ph.D., FI MU
- doc. RNDr. Pavel Pecina, Ph.D., MFF UK v Praze
Jiří Barnat
děkan
podepsáno elektronicky
Masarykova univerzita, Fakulta informatiky
Oddělení doktorských a zahraničních studií
Botanická 554/68a, 602 00 Brno, Česká republika
T: +420 549 49 4963, E: phdoffice@fi.muni.cz, www.fi.muni.cz
Vyřizuje: Ada Nazarejová, E: nazarej@fi.muni.cz
Číslo jednací Místo / datum
MU-IS/99043/2025/2721217/FI-02 Brno / 12.března 2025
Rozhodnutí děkana o složení komisí pro státní doktorské zkoušky
Na základě návrhu Oborové rady FI MU ze dne 7. února 2025, a v souladu se zákonem č. 111/1998
Sb. o vysokých školách a Studijním a zkušebním řádem MU, jsem stanovil složení komisí pro státní
doktorské zkoušky konané v pátek 30. května 2025 takto:
9:00 Mgr. Roman Lacko
Enhancing Coverage of Measured Boot
předseda - prof. RNDr. Petr Hliněný, Ph.D., FI MU
členové - doc. Ing. Lukáš Malina, Ph.D., FEKT VUT v Brně
- doc. Mgr. Adam Rogalewicz, Ph.D., FIT VUT v Brně
- doc. RNDr. Vojtěch Řehák, Ph.D., FI MU
- Mgr. Marek Sýs, Ph.D., FI MU
oponenti - Dr.-Ing. Stefan Köpsell, Barkhausen Institute
- doc. Ing. Lukáš Malina, Ph.D., FEKT VUT v Brně
10:30 Jan Žižka, M.Sc.
Modeling Emergent Behaviors of Large-Scale Socio-Technical Systems
předseda - prof. RNDr. Petr Hliněný, Ph.D., FI MU
členové - doc. RNDr. Tomáš Brázdil, Ph.D., FI MU
- doc. RNDr. Eva Hladká, Ph.D., FI MU
- doc. Ing. Lukáš Malina, Ph.D., FEKT VUT v Brně
- doc. Mgr. Adam Rogalewicz, Ph.D., FIT VUT v Brně
oponenti - prof. Shaukat Ali, PhD., Simula Research Laboratory
- prof. Barbara Russo, PhD., Free University of Bozen - Bolzano
13:00 Mgr. Anna Řechtáčková
Code Quality in Introductory Programming
předseda - prof. RNDr. Petr Hliněný, Ph.D., FI MU
členové - prof. RNDr. Jiří Barnat, Ph.D., FI MU
- doc. RNDr. Tomáš Brázdil, Ph.D., FI MU
- doc. Ing. Radek Burget, Ph.D., FIT VUT v Brně
- doc. Dr. Ing. Dušan Kolář, FIT VUT v Brně
oponenti - RNDr. Nikola Beneš, Ph.D., FI MU
- Assist. Prof. Heike Keuning, PhD., Utrecht University
14:30 Xichao Shu
Selected Problems from Graph Theory
předseda - prof. RNDr. Antonín Kučera, Ph.D., FI MU
členové - doc. RNDr. Martin Balko, Ph.D., MFF UK v Praze
- prof. RNDr. Petr Hliněný, Ph.D., FI MU
- doc. Dr. Ing. Dušan Kolář, FIT VUT v Brně
- prof. Dr.rer.nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., FI MU
oponenti - doc. RNDr. Martin Balko, Ph.D., MFF UK v Praze
- prof. RNDr. Petr Hliněný, Ph.D., FI MU
Jiří Barnat
děkan
Podepsáno elektronicky