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