Zápis z hybridního zasedání Vědecké rady Fakulty informatiky MU 3. června 2022
(on-line přenos přes MS Teams)
Přítomni: osobně bylo přítomno 23 členů VR FI MU, on-line byli připojeni 2 členové, 1 člen odešel
v průběhu jednání a později se připojil online, omluveni byli 3 členové VR FI MU
1. Zahájení jednání
 Děkan přivítal členy VR FI MU a přítomné hosty, sdělil technické informace ohledně
hybridního přenosu.
 Členové Vědecké rady FI MU schválili program jednání.
2. Záležitosti doktorského studia
Návrhy Oborové rady FI MU z průběhu února až května 2022:
A) noví školitelé doktorských studentů
 doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
 doc. RNDr. Jan Sedmidubský, Ph.D.
Výše uvedení docenti byli (25 hlasy z 28 členů VR FI MU) schváleni jako školitelé doktorského studia
na FI MU.
B) noví členové do komisí pro státní doktorské zkoušky a obhajoby disertací
 Prof. Lujo Bauer, Carnegie Mellon University
 Assist. Prof. Matthew Kwan, Institute of Science and Technology Austria
 Prof. Paul van Oorschot, Carleton University
 Prof. László Végh, London School of Economics
Uvedení odborníci byli (25 hlasy z 28 členů VR) schváleni jako členové komisí pro SDZ a obhajoby
disertačních prací na FI MU.
3. Habilitační řízení – Mgr. Bc. Vít Nováček, PhD, FI MU
Přednáška před vědeckou radou:
„My Journey in Biomedical Discovery Informatics: the Results so Far and a Vision for the Future"
Habilitační práce „A Journey in Biomedical Discovery Informatics: From Ontology Learning
to Knowledge Graph Embeddings“
Složení habilitační komise:
předseda: prof. RNDr. Michal Kozubek, Ph.D., FI MU
členové: doc. Ing. Radek Burget, Ph.D., FIT VUT v Brně
Assoc. Prof. Robert Hoehndorf, PhD, KAUST, Saudi Arabia
doc. RNDr. Lubomír Popelínský, Ph.D., FI MU
prof. Ing. Filip Železný, Ph.D., FEL ČVUT v Praze
Hlasování v ISu: https://is.muni.cz/auth/volba/44404
- Děkan představil dr. Víta Nováčka.
- Byli zvoleni dva hodnotitelé přednášky- prof. Kybic a prof. Přenosil, dále dva skrutátoři –
prof. Matyáš, prof. Barnat.
- Dr. Nováček přednesl přednášku s názvem „My Journey in Biomedical Discovery Informatics:
the Results so Far and a Vision for the Future“.
- Prof. Kozubek, 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ů, návrhem komise a s výsledkem tajného
hlasování komise. Komise doporučila, aby návrh byl postoupen k dalšímu řízení.
- Následně proběhla veřejná rozprava, kde pan Vít Nováček zodpověděl podrobně dotazy
oponentů.
- 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 (v ISu MU – evolba), 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ů: 25
hlasujících pro: 25
hlasujících proti: 0
- Po sečtení hlasů sdělil děkan kladný výsledek dr. Vítu Nováčkovi, VR fakulty postupuje návrh
na jmenování docentem rektorovi MU.
4. Řízení ke jmenování profesorem - doc. RNDr. Jan Strejček, Ph.D., FI MU
Přednáška před vědeckou radou:„Formal methods: from theory to practice"
Složení hodnoticí komise:
předseda: prof. RNDr. Petr Hliněný, Ph.D., FI MU
členové: Prof. Dr. Armin Biere, University of Freiburg, DE
prof. RNDr. Radim Bělohlávek, DSc., UP, Olomouc
prof. RNDr. Václav Matyáš, M.Sc.,Ph.D., FI MU
Prof. Jiří Srba, Ph.D., Aalborg University, DK
Hlasování v ISu - https://is.muni.cz/auth/volba/44407
- Děkan představil doc. Strejčka.
- Byli zvoleni dva hodnotitelé přednášky- prof. Jančar a prof. Sgall, dále dva skrutátoři –
prof. Barnat a prof. Vojnar.
- Doc. Strejček přednesl přednášku s názvem „Formal methods: from theory to practice“.
- Prof. Hliněný, předseda hodnoticí komise, seznámil členy VR s hodnocením přednášky pro
odbornou veřejnost, návrhem komise a s výsledkem tajného hlasování komise. Komise
doporučila, aby návrh byl postoupen k dalšímu řízení.
- Následně proběhla veřejná rozprava, kde doc. Strejček vysvětlil svůj podíl na vývoji softwaru
Symbiotic a popsal vývoj kariéry svých doktorských absolventů.
- 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 (v ISu MU – evolba), zda má být uchazeč
jmenován profesorem Informatiky, s tímto výsledkem:
počet členů vědecké rady: 28
počet přítomných členů: 24
hlasujících pro: 24
hlasujících proti: 0
- Po sečtení hlasů sdělil děkan kladný výsledek panu Janu Strejčkovi, VR fakulty postupuje návrh
na jmenování profesorem Vědecké radě MU.
5. Řízení ke jmenování profesorem - doc. Dr.rer.nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., TUM
Přednáška před vědeckou radou: „Intelligence-oriented verification"
Složení hodnoticí komise:
předseda: prof. RNDr. Daniel Kráľ, Ph.D., DSc., FI MU
členové: prof. RNDr. Jiří Barnat, Ph.D., FI MU
Prof. Mikołaj Bojańczyk, PhD, University of Warsaw, Pl
prof. RNDr. Petr Jančar, CSc., UP, Olomouc
prof. RNDr. Jiří Sgall, DrSc., MFF UK v Praze
Hlasování v ISu: https://is.muni.cz/auth/volba/44410
- Děkan představil doc. Křetínského.
- Byli zvoleni dva hodnotitelé přednášky- prof. Kratochvíl a prof. Zemčík, dále dva skrutátoři prof.
Matyáš a prof. Vojnar.
- Doc. Křetínský přednesl přednášku s názvem „Intelligence-oriented verification“.
- Prof. Kráľ, předseda hodnoticí komise, seznámil členy VR s hodnocením přednášky pro
odbornou veřejnost, návrhem komise a s výsledkem tajného hlasování komise. Komise
doporučila, aby návrh byl postoupen k dalšímu řízení.
- Následně proběhla veřejná rozprava, kde doc. Křetínský upřesnil termíny obhajob svých
absolventů, zodpověděl dotazy ohledně podchycení měřítka podobnosti sousedství neuronů
pomocí teorie grafů, škálovatelnosti přístupu a použitých metodologií.
- V neveřejné rozpravě mimo jiné hodnotitelé okomentovali přednášku (hodnocení je součástí
přílohy k zápisu). Prof. Mojmír Křetínský, člen Vědecké rady FI MU, se z osobních důvodů
neveřejné části tohoto bodu jednání nezúčastnil a nehlasoval.
- Členové VR přistoupili k tajnému hlasování o návrhu (v ISu MU – evolba), zda má být uchazeč
jmenován profesorem Informatiky, s tímto výsledkem:
počet členů vědecké rady: 28
počet přítomných členů: 24
hlasujících pro: 24
hlasujících proti: 0
- Po sečtení hlasů sdělil děkan kladný výsledek panu Janu Křetínskému, VR fakulty postupuje
návrh na jmenování profesorem Vědecké radě MU.
6. Různé
 Prof. Hliněný seznámil členy VR s postupem příprav evaluace FI konsorciem Informatics Europe.
 Děkan shrnul proběhlá hlasování per rollam, VR FI MU schválila:
- v únoru 2022 – hodnoticí komisi pro profesorské řízení Prof. Stanislava Živného ve složení prof.
Kučera (předseda), Prof. Dawar, prof. Hliněný, prof. Koucký a prof. Vojnar;
- v dubnu 2022 – nové členy komisí pro SDZ a obhajoby disertační práce na FI MU - dr. Beneš,
Dr. Feret, Prof. Finkbeiner, Prof. Fokkink, Assoc. Prof. Katt, Prof. Lazic, Prof. Miller,
Prof. Mishra, Prof. Piterman, Dr. Roman, Prof. Schmitz a Dr. Vaarandi.
Brno, 13. června 2022 viděl: prof. Zlatuška
zapsala: Komárková