Příloha 6: Posudek oponenta habilitační práce
Masarykova univerzita
Fakulta Fakulta informatiky MU
Habilitační obor Informatika
Uchazeč Mgr. Hana Rudová, Ph.D.
Pracoviště Fakulta informatiky, Masarykova univerzita
Habilitační práce Constraint-based Scheduling
Oponent prof. RNDr. Olga Štěpánková, CSc.
Pracoviště Fakulta elektrotechnická, české vysoké učení technické v Praze
Text posudku (rozsah podle zvážení oponenta)
Předložená disertační práce má dvě části. Část L vysvětluje čtivým a srozumitelným způsobem základní pojmy, problémy a metody, jejichž studiu jsou věnovány původní vědecké články tvořící část II. práce.
Mgr. Hana Rudová, Ph.D. se systematicky věnuje návrhu a vývoji efektivních algoritmů pro rozvrhování prostřednictvím řešení omezujících podmínek víc než 10 let. Dosáhla v této oblasti vynikajících úspěchů, které jsou dokumentovány řadou velmi kvalitních publikací, na nichž se spolu s ní podílejí také její studenti. Úctyhodný je výčet jejích původních vědeckých článků v časopisech s IF, které vyšly nebo vyjdou v letošním roce a které tvoří významnou část předložené habilitační práce. Články svědčí o jejím neúnavném hledání co nej efektivnějších postupů pro konstruktivní řešení různých typů studovaných úloh od tvorby školních rozvrhů po alokaci úloh na gridu v závislosti na čase, který je pro řešení k dispozici.
Souhrn citací jejích prací, hodnota jejího H-indexu i členství v programových či řídících výborech několika desítek mezinárodních konferencí jasně svědčí o tom, že uchazečka patří mezi mezinárodně uznávané autority v oblasti rozvrhování. Za velmi cenné považuji také to, že se jí daří pro práci v tomto vědeckém oboru získávat nadšené spolupracovníky mezi studenty.
Dotazy oponenta k obhajobě habilitační práce (počet dotazů podle zvážení oponenta)
1. Předpokládejme, že uvažujeme úlohy rozvrhování definované pouze pevnými (hard) omezujícími podmínkami. Je zde možné charakterizovat třídu zvlášť těžkých úloh? A jaký by bylo vhodné zvolit postup, pokud se ukáže, že uvažovaná úloha nemá řešení?
2. Vedle omezujících podmínek lze pro řešení úlohy rozvrhování použít i jiné postupy. Jakou roli by v tomto kontextu mohly sehrát například efektivní nástroje pro řešení S AT problémů?
Závěr
Habilitační práce Hany Rudové „Constraint-based Scheduling" splňuje požadavky standardně kladené na habilitační práce v oboru informatika
Praha, 21.9.2010 Olga Štěpán