Příloha 10: Návrh vědecké rady fakulty na jmenování uchazeče docentem Návrh na jmenování docentem podle § 72 zákona č. 111/1998 Sb., o vysokých školách a o změně a doplnění dalších zákonů (zákon o vysokých školách)1 Vysoká škola: Fakulta: Uchazeč: rodné číslo: stav: trvalé bydliště Obor: Vzdělání: Disertační práce: Obhájena: 2003 2006 2006 Průběh zaměstnání: 2005 - 2006 2006 - dosud Masarykova univerzita Fakulta informatiky Mgr. Radek Pelánek, Ph.D. odborný asistent Fakulty informatiky Masarykovy univerzity 800115/3985 ženatý Slovinská 1326/4, 612 00 Brno Informatika Masarykova univerzita, Fakulta informatiky (Mgr.) Masarykova univerzita, Fakulta informatiky (Ph.D.) Reduction and Abstraction Techniques for Model Checking Masarykova univerzita, Fakulta informatiky (Ph.D.) Masarykova univerzita, Fakulta informatiky (odborný pracovník) Masarykova univerzita, Fakulta informatiky (odborný asistent) Hlasování Vědecké rady FI MU proběhlo dne 25. března 2011 Téma přednášky: Experimentální výzkum v oblasti explicitního ověřování modelů počet členů celkem počet hlasů 24 17 V Brně dne 5. dubna 2011 přítomných 17 kladných 15 záporných 0 neplatných INFORMATIKY prof. RNDr. Jiří Zlatuška, CSc. děkan FI MU ' Děkan jako předseda Vědecké rady fakulty postupuje návrh rektorovi podle §72 odst. 11 zákona. Formulář je zpracován podle oficiálního vzoru Ministerstva školství, mládeže a tělovýchovy ČR. Odborná charakteristika uchazeče: Mgr. Radek Pelánek, Ph.D. pracuje na Fakultě informatiky Masarykovy univerzity od roku 2005. Je absolventem Fakulty informatiky MU, za vynikající výsledky během svého bakalářského, magisterského a doktorandského studia obdržel Cenu děkana (2000 a 2003) a Cenu rektora (2003 a 2007). Radek Pelánek se ve svém výzkumu zaměřuje především na oblast formální verifikace, konkrétně na metodu ověřování modelu. Během magisterského a doktorského studia se věnoval především teoretickým aspektům výzkumu v této oblasti, například návrhem nových distribuovaných algoritmů a spojitostem metody ověřování modelů s logikou a teorií automatů. V rámci postdoktorského grantu GAČR se pak zaměřil na experimentální výzkum v oblasti ověřování modelu, především na analýzy prakticky užívaných modelů, experimentální srovnání algoritmů a možnosti kombinace existujících technik. Výstupy tohoto grantu, který byl hodnocen jako vynikající, tvoří jádro předkládané habilitační práce. Nyní se Radek Pelánek pokouší aplikovat zkušenosti s modelováním a experimentální analýzou modelů v nové oblasti - zkoumání lidského řešení problémů. V rámci grantu GAČR pracuje jeho tým na internetovém sběru dat o tom, jak lidé řeší problémy, na analýze těchto dat a na vytváření modelů lidského chování. Uchazeč je autorem 3 článků v mezinárodních časopisech, 21 článků v mezinárodních recenzovaných sbornících a 12 technických zpráv na FI MU. Radek Pelánek uvádí 205 citací v recenzovaných článcích s mezinárodním dopadem na vybraných 9 publikací, 25 citací na další články a dalších asi 100 citací v jiných publikacích. WoS uvádí 57 citací bez autocitací. Uchazeč proslovil 5 zvaných přednášek, z toho 2 v zahraničí. Kromě odborného výzkumu se Radek Pelánek věnuje také pedagogické činnosti a popularizaci vědy. Na fakultě vede přednášky Modelování a simulace, Real time systems, Programování a algoritmizace. Kromě přednášek vede také cvičení v předmětech Modelování a simulace, Programování a algoritmizace a Konstrukce číslicových počítačů a semináře Seminář řešení programátorských úloh, Seminář o komplexních systémech, Seminář z konstrukce digitálních systémů a Programovatelné struktury. Kromě toho vedl na fakultě 20 bakalářských prací, 17 diplomových prací a je konzultantem 1 disertační práce. Zvlášť aktivní je Radek Pelánek v netradičních formách aktivit s vysokoškolskými a středoškolskými studenty, např. korespondenční semináře, soustředění pro talentované studenty a soutěže. Je také autorem několika pedagogických a popularizačních knih a článků. V Brně dne 5. dubna 2011 prof. RNDr. Jiří Zlatuška, CSc. děkan FI MU razítko fakulty