Zápis ze zasedání Vědecké rady Fakulty informatiky MU dne 26. dubna 2019
Přítomni: dle prezenční listiny (22 členů, později 23 a poté 20)
Program:
1. Představení nového člena VR
2. Habilitační řízení - Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
3. Habilitační řízení - RNDr. Vojtěch Řehák, Ph.D.
4. Habilitační řízení - RNDr. Petr Švenda, Ph.D.
5. Návrh přeměny stávajících doktorských studijních oborů na doktorské studijní programy
6. Záležitosti doktorského studia
7. Různé
1. Představení nového člena VR
Prof. Barnat, nynější předseda Vědecké rady Fakulty informatiky MU, seznámil členy VR se změnami
ve složení Vědecké rady Fakulty informatiky MU – 8. dubna rezignoval na svou funkci děkana prof.
Zlatuška, rektor pověřil výkonem funkce děkana FI prof. Barnata, následně byl prof. Zlatuška schválen
Akademickým senátem FI a od 15. dubna 2019 byl jmenován členem Vědecké rady Fakulty informatiky
MU.
2. Habilitační řízení – Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., TUM, Germany
Přednáška před vědeckou radou:„ Modern Probabilistic Verification“
Habilitační práce „Modern Probabilistic Verification“
předseda: prof. RNDr. Daniel Kráľ, Ph.D., DSc., FI MU
členové: prof. RNDr. Jiří Barnat, Ph.D., FI MU
prof. RND. Petr Jančar, CSc., UP v Olomouci
prof. Mgr. Michal Koucký, Ph.D., MFF UK v Praze
prof. Ing. Tomáš Vojnar, Ph.D., FIT VUT v Brně
- Byli zvoleni dva hodnotitelé přednášky – prof. Kozubek, prof. Sgall, dále dva skrutátoři – prof.
Přenosil a Ing. Zelený.
- Děkan představil Dr. rer. nat. RNDr. Mgr. Bc. Jana Křetínského, Ph.D.
- Dr. Křetínský přednesl v anglickém jazyce přednášku s názvem „Modern Probabilistic
Verification“.
- Prof. Kráľ, předseda habilitační komise, seznámil členy VR s hodnocením přednášky pro
odbornou veřejnost, s velmi kladnými závěry oponentských posudků, se stanoviskem komise a
s výsledkem tajného hlasování komise. Komise všemi hlasy navrhuje uchazeče jmenovat
docentem v oboru informatika s tím, že dr. Křetínský nejen splňuje, ale překračuje požadavky
kladené na uchazeče o habilitační řízení ve všech směrech.
- Následně proběhla veřejná rozprava, kde dr. Křetínský zodpověděl dotazy z oponentských
posudků a členů vědecké rady, které se týkaly testování a jejich náhrady verifikací, chyby
softwaru u Boeing 737 MAX, zapojení uchazeče do oblasti robotiky a do výzkumu
humanoidních robotů.
- V neveřejné rozpravě mimo jiné hodnotitelé okomentovali přednášku (hodnocení je součástí
přílohy k zápisu). Neveřejné rozpravy a následného hlasování se nezúčastnil z osobních důvodů
člen VR prof. Křetínský.
- Členové VR přistoupili k tajnému hlasování o návrhu, zda má být uchazeč jmenován docentem
Informatiky, s tímto výsledkem:
počet členů vědecké rady: 28
počet přítomných členů: 21
hlasujících pro: 21
hlasujících proti: 0
- Po sečtení hlasů sdělil prof. Barnat kladný výsledek dr. Křetínskému, VR fakulty postupuje
návrh na jmenování docentem rektorovi MU.
3. Habilitační řízení - RNDr. Vojtěch Řehák, Ph.D , FI MU
Přednáška před vědeckou radou: „Theoretical and Practical Aspects of Formal Methods“
Habilitační práce „Stochastic Real-Time Systems: Parameter Synthesis and Games“
předseda: prof. RND. Petr Hliněný, Ph.D., FI MU
členové: Prof Krishnendu Chatterjee, IST Austria
doc. RNDr. Pavel Matula, Ph.D., FI MU
prof. Ing. Michal Pěchouček, M.Sc., Dr., FEL ČVUT v Praze
doc. Mgr. Adam Rogalewicz, Ph.D., FIT VUT v Brně
- Byli zvoleni dva hodnotitelé přednášky – prof. Kráľ, prof. Vojnar, dále dva skrutátoři – prof.
Přenosil a Ing. Zelený.
- Děkan představil RNDr. Vojtěcha Řeháka, Ph.D.
- Dr. Řehák přednesl přednášku s názvem „Theoretical and Practical Aspects of Formal
Methods“.
- Prof. Hliněný, předseda habilitační komise, seznámil členy VR s hodnocením přednášky pro
odbornou veřejnost, se závěry oponentských posudků, se stanoviskem komise a s výsledkem
tajného hlasování komise. Prof. Hliněný vyzdvihl především pedagogické aktivity uchazeče a
také to, jak bylo relativně snadné sehnat pro dr. Řeháka významné zahraniční oponenty, což
dokazuje jeho mezinárodní uznání. Pětičlenná komise se 4 přítomnými členy navrhla uchazeče
jmenovat docentem v oboru informatika.
- Následně proběhla veřejná rozprava, kde dr. Řehák zodpověděl dotazy členů vědecké rady, které
se týkaly stability/nestability studovaných systémů, časové a prostorové složitosti, vizí uchazeče
do budoucna, časopiseckých článků a zvaných přednášek.
- V neveřejné rozpravě mimo jiné hodnotitelé okomentovali přednášku (hodnocení je součástí
přílohy k zápisu).
- Členové VR přistoupili k tajnému hlasování o návrhu, zda má být uchazeč jmenován docentem
Informatiky, s tímto výsledkem:
počet členů vědecké rady: 28
počet přítomných členů: 23
hlasujících pro: 21
hlasujících proti: 2
- Po sečtení hlasů sdělil prof. Barnat kladný výsledek dr. Řehákovi, VR fakulty postupuje návrh na
jmenování docentem rektorovi MU.
4. Habilitační řízení - RNDr. Petr Švenda, Ph.D, FI MU
Přednáška před vědeckou radou: „From smartcards security to analysis of cryptographic primitives
(and back)“
Habilitační práce „Examining and exploiting randomness for cryptography“
předseda: prof. RNDr. Antonín Kučera, Ph.D., FI MU
členové: prof. RNDr. Otokar Grošek, PhD., STU v Bratislave
doc. Dr. Ing. Petr Hanáček, FIT VUT v Brně
doc. Mgr. Jan Obdržálek, PhD., FI MU
prof. Ing. Petr Tůma, Dr., MFF UK v Praze
- Byli zvoleni dva hodnotitelé přednášky – prof. Černá, prof. Jančar, dále dva skrutátoři – prof.
Přenosil a Ing. Zelený.
- Děkan představil RNDr. Petra Švendu, Ph.D.
- Dr. Švenda přednesl přednášku s názvem „From smartcards security to analysis of
cryptographic primitives (and back)“
- Prof. Kučera, předseda habilitační komise, seznámil členy VR s hodnocením přednášky pro
odbornou veřejnost, se závěry oponentských posudků, se stanoviskem komise a s výsledkem
tajného hlasování komise. Vysvětlil důvod 4 posudků – oslovil 4 zahraniční oponenty a byl
překvapen, že všichni oslovení oponenti obratem oponování s potěšením přijali. Komise získala
také podpůrný dopis náměstka ředitele NÚKIB, který mimo jiné vysvětlil, že výsledky výzkumu
dr. Švendy jsou velmi přínosné, ale veřejné publikování těchto výsledků je silně omezené.
Závěrem komise ve svém stanovisku jednomyslně navrhla uchazeče jmenovat docentem v oboru
informatika.
- Následně proběhla veřejná rozprava, kde dr. Švenda zodpověděl dotazy členů vědecké rady,
které se týkaly možnosti/nemožnosti patentování výsledků výzkumu, stáže v Cambridge, použití
výsledků výzkumu v praxi mimo i na MU, generátorů založených na zpětnovazebních registrech,
bezpečnosti uložišť, používání výrazu náhodnost/pseudonáhodnost.
- V neveřejné rozpravě mimo jiné hodnotitelé okomentovali přednášku (hodnocení je součástí
přílohy k zápisu).
- Členové VR přistoupili k tajnému hlasování o návrhu, zda má být uchazeč jmenován docentem
Informatiky, s tímto výsledkem:
počet členů vědecké rady: 28
počet přítomných členů: 23
hlasujících pro: 22
hlasujících proti: 1
- Po sečtení hlasů sdělil prof. Barnat kladný výsledek dr. Švendovi, VR fakulty postupuje návrh na
jmenování docentem rektorovi MU.
5. Návrh přeměny stávajících doktorských studijních oborů na doktorské studijní programy
Dle interních dokumentů MU Návrh přeměny původních studijních oborů na nové studijní programy a
jejich garanty předkládá děkan ke schválení VR fakulty, která jej projedná za účasti navržených garantů
studijních programů. Detailní informace o schvalovaných studijních programech jsou k nahlédnutí v
podkladech pro jednání VR FI MU.
Navrhovaná struktura studijního programu v českém a anglickém jazyce:
 studijní program – Informatika, garant prof. Hliněný
Členové Vědecké rady Fakulty informatiky MU projednali a následně bez připomínek schválili
předloženou strukturu přeměny studijního programu včetně garanta a personálního zabezpečení (návrh
na jmenování školitelů, členů oborové rady a oborových komisí) - souhlasilo: 20, nesouhlasilo: 0,
zdrželo se: 0.
 studijní program – Computer Science, garant prof. Hliněný
Členové Vědecké rady Fakulty informatiky MU projednali a následně bez připomínek schválili
předloženou strukturu přeměny studijního programu včetně garanta a personálního zabezpečení (návrh
na jmenování školitelů, členů oborové rady a oborových komisí) - souhlasilo: 20, nesouhlasilo: 0,
zdrželo se: 0.
6. Záležitosti doktorského studia
Návrh na nové členy do komisí pro státní doktorské zkoušky a obhajoby disertací
Dle SZŘ MU čl. 34 … Členy komise jsou vždy a) profesoři a docenti jmenovaní děkanem na návrh oborové rady podle § 53
odst. 2 zákona, případně i b) další odborníci jmenovaní děkanem na návrh oborové rady a po schválení vědeckou radou
fakulty podle § 53 odst. 2 zákona.
Návrh Oborové rady FI MU ze dne 4. 2. 2019:
 Dr. Jiří Dokulil, University of Vienna (s: 19, n: 0, z: 1)
 Ing. Miloslav Konopík, Ph.D., FAV ZČU v Plzni (s: 20, n: 0, z: 0)
 Ao. Univ.-Prof. Dipl.-Ing. Dr. Renate Motschnig, University of Vienna
(s: 20, n: 0, z: 0)
 Ing. Lubomir Říha, Ph.D., VŠB TU v Ostravě (s: 20, n: 0, z: 0)
 Ing. Stanislav Saic, CSc., ÚTIA AV ČR (s: 14, n: 2, z: 4)
 Dr. Ing. Jan Schier, ÚTIA AV ČR (s: 0, n: 8, z: 12)
Členové Vědecké rady Fakulty informatiky MU hlasovali o navrhovaných členech jednotlivě a kromě
Dr. Ing. Jana Schiera schválili výše uvedené odborníky členy komisí pro SDZ a obhajoby disertační
práce na Fakultě informatiky MU.
7. Různé
- Prof. Barnat poděkoval současným členům Vědecké rady Fakulty informatiky MU za jejich práci pro
Fakultu informatiky. V současné době na FI MU probíhá volba děkana, od září 2019 bychom měli
mít nového děkana a s ním i nové složení vědecké rady
Brno, 29. dubna 2019 viděl: prof. Barnat
zapsala: Komárková