Masarykova univerzita, Fakulta informatiky
Oddělení výzkumu, vývoje a doktorského studia
Botanická 554/68a, 602 00 Brno, Česká republika
T: +420 549 49 4963, E: research@fi.muni.cz, www.fi.muni.cz
Bankovní spojení: KB Brno-město, ČÚ: 85636621/0100, IČ: 00216224, DIČ: CZ00216224
1/1 V odpovědi, prosím, uvádějte naše číslo jednací.
Oznámení o konání obhajoby disertační práce
30. 4. 2020 od 10:20 hod – formou videokonference
RNDr. Martin Demko
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Komise
Předseda: prof. RNDr. Michal Kozubek, Ph.D., FI MU
Členové: prof. RNDr. Luboš Brim, CSc., FI MU – školitel
Ing. Jan Červený, Ph.D., ÚVGZ AV ČR
doc. RNDr. Vojtěch Řehák, Ph.D., FI MU
prof. Ing. Lukáš Sekanina, Ph.D., FIT VUT v Brně
doc. RNDr. David Svoboda, Ph.D., FI MU
Oponenti: Ing. Jan Červený, Ph.D., ÚVGZ AV ČR
Prof. Ion Petre, University of Turku
Bližší informace: nazarej@fi.muni.cz