Stanovisko habilitační komise

Transkript

1 Stanovisko habilitační komise Stanovisko komise na jmenování uchazeče: Irena Holubová (Mlýnková), RNDr., Ph.D. docentem pro obor: Informatika - softwarové inženýrství Složení habilitační komise Předseda: Členové: prof. RNDr. Peter Vojtáš, DrSc, MFF UK Praha doc. Ing. Michal Krátký, PhD., VŠB TU Ostrava doc. RNDr. Tomáš Skopal, PhD., MFF UK Praha doc. Ing. Jaroslav Zendulka, CSc, FIT VUT Brno prof. Ing. Pavel Zezula, CSc, Fl MU Brno Název obhájené habilitační práce Evolution and Adaptability of Complex XML Applications" Jména tří oponentů habilitační práce: Doc. Dr. Ing. Dušan Kolář, FIT VUT Brno Assoc. prof. Wenny Rahayu, LaTrobe University, Melbourne doc. Ing. Vojtěch Svátek, Dr., VŠE Praha 1. Základní údaje o uchazeči 1.1 Jméno, příjmení (dřívější příjmení), tituly, místo a datum narození Irena Holubová (Mlýnková), RNDr., Ph.D., narozena ve Zlíně, Průběh vzdělání a získání vědeckých hodností: Mgr., MFF UK, studijní program Informatika RNDr., MFF UK, studijní program Informatika Ph.D., MFF UK, studijní program Informatika 1.3 Průběh zaměstnání říjen dosud: odborný asistent na Katedře softwarového inženýrství, MFF UK únor dosud: odborný asistent (č. ú.) na Katedře počítačů, FEL ČVUT 1.4 Zahraniční pobyty srpen - listopad 2011 (tři měsíce): - Department of Computer Science & Computer Engineering, La Trobe University, Melbourne, Australia (Dr. Eric Pardede) - Centrum excelence National ICT Australia (NICTA), ATP lab, Sydney, Australia (Dr. Sherif Sakr)

2 2. Pedagogická činnost 2.1 Výuka v preqraduálním studiu Poznámka: První sčítanec je výuka na MFF UK, druhý výuka na FEL ČVUT celkový počet hodin. Akad. rok -3 Akad. rok -2 Akad. rok -1 Běžící akad. rok (ZS + odhad LS) Přednášky, hod. ročně 36, , Semináře, hodin ročně Cvičení, hodin ročně CZV - hodin ročně 2.2 Vedení absolventů preqraduálního a doktorského studia Poznámka: počet na MFF UK (druhý sčítanec FEL ČVUT) Akad. rok -3 Akad. rok -2 Akad. rok -1 Běžící akad. rok Bc. vedení z toho absolventi Mgr. Vedení z toho absolventi Ph.D.vedení z toho absolventi Doktorandi - statistika: Tomáš Knap Jakub Stárka Martin Svoboda Marek Polák Ročník počet publikací s impaktním faktorem počet recenzovaných publikací na mezinárodních konferencích počet recenzovaných publikací na lokálních konferencích počet publikací indexovaných ve WoS počet publikací indexovaných ve SCOPUS oceněné publikace (předpokládaná) zahraniční stáž DERI, Irsko U Queensland, Australia LS 2015 předpokládaný termín odevzdání práce obhajoba Stručná charakteristika hlavních vyučovaných předmětů červen 2013 LS 2014 ZS 2016 NPRG036 - Technologie XML (MFF UK) resp. A7B36XML Technologie XML (FEL ČVUT) Přednáška vznikla v roce 2005 a v současné době je bakalářským povinně volitelným (resp. na FEL ČVUT povinným oborovým) předmětem. Pro přednášku byly vytvořeny skripta a na základě nich později i obecný učební text (monografie) - viz sekce V LS 2013 bude pro účely nové akreditace na MFF UK a využití pro zahraniční studenty převedena do anglického jazyka. Cílem přednášky je seznámit studenty s XML technologiemi, které se využívají v mnoha navazujících oblastech souvisejících především s webovými a datověorientovanými aplikacemi. V první polovině semestru se studenti seznámí se základními XML technologiemi jako je DTD, XML Schéma, XPath, XQuery, XSLT. Ve druhé polovině

3 pak s aktuálními způsoby využití těchto technologií v praxi a s problematikou jejich efektivní implementace. NPRG039 - Teoretické a pokročilé aspekty XML technologií (MFF UK) (přednášku realizuje ve spolupráci s prof. RNDr. Jaroslavem Pokorným, CSc.) Přednáška vznikla v roce 2010 jako navazující kurz pro přednášku NPRG036, v současné době je volitelným předmětem. V nové akreditaci je plánována její změna na povinně volitelný předmět. Z tohoto důvodu od ZS 2012 probíhá její aktualizace, částečně změna náplně a převod do anglického jazyka. Cílem kurzu je rozšířit znalosti studentů o formální pozadí technologií XML (např. pokročilé algoritmy vyhodnocování dotazů, formální základy XML gramatik či evoluci XML aplikací) a oblasti, na které se v základním kurzu z časových důvodů nedostalo (např. proudy XML dat, podpora XML technologií v databázích Oracle, IBM DB2 a MS SQL Server nebo existující nativní XML databáze). NDBI040 - NoSQL databáze (MFF UK) Pro účely nové akreditace a v reakci na nové trendy v oblasti databázových systémů od ZS 2012 vzniká nová přednáška zaměřující se na nové typy databázových systémů, tzv. NoSQL. V současné době se jedná o volitelný předmět, v nové akreditaci je plánována jeho změna na povinně volitelný. Přenáška má dvě části. Po představení základních pojmů a principů v oblasti NoSQL databází, tj. především distribuce dat, se zaměřena na praktické seznámení s nejznámějšími systémy jednotlivých typů, tj. databází typu klíč-hodnota, dokumentových databází, sloupcových databází a grafových databází. Ve druhé části je zaměřena na teoretické a formální pozadí problematiky, jako je efektivní vyhodnocování dotazů, zajištění konzistence dat, transakční zpracování v distribuovaném prostředí či na problematiku výpadků uzlů. A7B36DBS - Databázové systémy (FEL ČVUT) ('přednášku realizuje ve spolupráci s Mgr. Martinem Nečaským, Ph.D., od ZS 2013 sama) Přednáška je povinným předmětem pro studenty bakalářského studia. Studenti se seznámí s obecnými základy databázových technologií, jako je konceptuální modelování, logický datový model a fyzické uložení dat na disku. V další části se pak zaměří na praktické seznámení s jazykem SQL - částmi pro vytváření i manipulaci dat. V poslední části semestru se pak věnuje problematice transakcí, jiným databázovým modelům, formálním základům dotazování jako jsou relační algebry a kalkuly a problematice správného návrhu databáze. NPRG045 - Ročníkový projekt (MFF UK) a NPRG046 - Softwarová praxe (MFF UK) Vedení ročníkových projektů studentů bakalářského studia. NPRG023 - Softwarový projekt (MFF UK) Vedení softwarových projektů studentů magisterského studia. Ve výzkumné skupině XRG se klade důraz na to, aby měly projekty vědecké pozadí a bylo je možné dále rozšířit do diplomových prací a výsledky publikovat. U všech tří softwarových projektů (Analyzer, jlnfer, DaemonX), které dosud vedla (ve dvou případech ve spolupráci s Mgr. Martinem Nečaským, Ph.D.) se to podařilo. Většina studentů již navazující diplomovou práci obhájila, ostatní dokončují. Publikační potenciál mají zatím všechny obhájené práce. Autorství učebnic a dalších studijních pomůcek učebnice a skripta Mlynkova, I. - Pokorný, J. - Richta, K. - Toman, K. - Toman, V.: XML technologie. Skriptum. Univerzita Karlova, Praha, září ISBN atlasy e-learningové programy další

4 3. Vědecko-výzkumná činnost 3.1 Publikace vědecko výzkumného charakteru a tvůrčího charakteru české a slovenské celkem posl. 5 let hlavní autor Monografie cizojazyčné celkem posl. 5 let hlavní autor kap. v monografiích periodika s IF rec. časopisy rec. sborníky krit. ed. pramenů koment. překlady 3.2. Vydavatelé monografie Nakladatelství GRADA. 3.3 Nejvyznamněiší práce uchazeče (tři) [10] Necasky, M. - Mlynkova I. - Klimek, J. - Maly, J.: When Conceptual Model Meets Grammar: A Duál Approach to XML Data Modeling. IJDKE 72 (2012) 1-30 Teprve nedávno vydaná publikace, která byla po přísném recenzním řízení přijata do prestižního časopisu Data & Knowledge Engineering. Shrnuje a především formálně pokrývá hlavní výsledky výzkumu, na které se ve výzkumné skupině XRG zaměřovali posledních několik let - problematiku evoluce množiny provázaných XML schémat. U tohoto článku lze očekávat velký zájem především teoretiků v dané oblasti, neboť je to jedna z mála prací, která dokládá korektnost navržených algoritmů formálními důkazy. [11] Wojnar, A. - Mlynkova, I. - Dokulil, J.: Structural and Semantic Aspects of Similarity of Document Type Definitions and XML Schemas. IJIS 180,10 (2010) Publikace se zabývá podobností XML schémat na úrovni strukturální i sémantické a detailně rozebírá možná vylepšení a modifikace obecného přístupu k řešení podobnosti (editační vzdálenost) aplikovaného na konkrétní problematiku (podobnost XML schémat). Výsledky byly nejprve publikovány na konferenci IDC 2008 a z ní vybrány mezi nejlepší články, jejich rozšířené verze prošly recenzním řízením časopisu Information Sciences s poměrně vysokým impaktním faktorem. Publikace byla několikrát citována z významných časopiseckých publikací. [59] Mlynkova,!., Toman,K., Pokorný, J.: Statistical Analysis of Real XML Data Collections. In Proc. COMAD'06, Tata McGraw-Hill Publishing, Pp , ISBN Publikace popisuje výsledky statistických analýz reálných XML kolekcí (dat, schémat a především dat vs. schémat), které je možné využít pro optimalizace nejrůznějších algoritmů a heuristické přístupy. Práce získala ocenění the Best Student Paper Award na mezinárodní konferenci COMAD 2006 a sklidila (a stále sklízí) rozsáhlý citační ohlas, včetně např. citací z významných databázových konferencí ACM SIGMOD a DEXA nebo renomovaných časopisů. Na tuto práci navazuje v dalším výzkumu práce [8] s návrhem obecného framework Analyzer pro provádění analýz reálných dat, přijat do impaktovaného časopisu. 3.4 Citace celkový počet citací dle WOS bez autocitací (za autocitaci je považováno, je-li uchazeč na seznamu autorů citovaného i citujícího díla.) počet citovaných prací dle WOS 10

5 3.4.3 autocitací počet citací prací uchazeče vydaných v posledních pěti letech dle WOS bez H - index uchazeče dle WOS údaje až dle jiné metodiky (SCOPUS, další - uvést název) WoS: - celkem citací z publikací indexovaných ve WoS: 43 - z toho citací publikací indexovaných ve WoS: 11 SCOPUS: - celkem citací z publikací indexovaných ve SCOPUS: 81 - z toho citací publikací indexovaných ve SCOPUS: 19 - H-index: 2 Obecně: - celkem citací: z toho citací z recenzovaných publikací: 81 - z toho citací z nerecenzovaných publikací: 18 - z toho citací z bakalářských/diplomových/disertačních prací: Celkové hodnocení publikační činnosti uchazeče Předkládaná habilitační práce je souborem uveřejněných vědeckých prací doplněných komentářem. Práce se věnuje netriviálnímu a důležitému problému častých změn v aplikacích založených na XML datech. Dr. Holubová se ve své práci věnovala klíčovému aspektu řízení evoluce a adaptace změn v těchto datech. Dosavadní řešení ve světě se věnovala většinou propagaci změn shora-dolů", od obecnějších úrovní modelů k specifičtějším, až k extenzionálním datům. Autorčin přínos od analýzy dat (T3), přes inferenci (reinženýring) změn do schématu (T4) až po podobnostní integraci (T2) do vrchních vrstev modelu, přináší novou propagaci zdolanahoru", tolik potřebnou pro reálné použití. Tento přínos je v kvalitní týmové (T1) práci zastřešen publikací [9], kterou považujeme za úspěšné završení celého projektu evoluce a adaptability XML dat a důkaz proveditelnosti. Nejdůležitější výsledky jsou obsaženy v pracích [11] (kapitola 5 habilitace) a pracích mimo habilitaci [10] a [59]. Práce [59] má 26 citací, z toho 10 mimo ČR/SR a 20 v článcích evidovaných ve WoS a/nebo Scopus). Uchazečka svými výsledky vysoce překračuje doporučená kriteria UK, v netriviální a důležité doméně, kde je soustředěná pozornost mnohých, dosáhla světových výsledků. Web of Science* Results Auttior=(m!ynKova i') Tmespan=4lfyears Databases^SCt-EXRiUÍGED SSCI. ASHCI, CPCI-3 CPCI-SSH. CCR-EXRwMDEO. K. OeateAlefl/rjRSS Scientidc Web:' 1 '; wewweí Results»!-'í1 r: PubíícatKjn Gale - ne.ves;! otíest h^j Předkládané výsledky jsou publikovány vesměs v kvalitních časopisech s vysokým impaktním faktorem. Ještě výraznější je citační ohlas - odezva je celosvětová. Mimo ČR/SR má přes 70 citací, z toho víc než 40 v článcích evidovaných ve WoS. Požadovaná kriteria na citaci splňuje dokonce pracemi, kde je jedinou autorkou, a pouze ze zahraničních citací. Dr. Holubová se stala vedoucí osobností ve výzkumu XML evoluce ve světě. Orientaci výzkumu od své dizertace úspěšně rozšířila o úplně nová témata (stav WoS dne ).

6 Citatlon Report Autnc-MiniynKova i') T.maspan=Afl years Dalacases-SGEXPAI.ZED S5C- AaUCi CC.-S CPCI-SStl CCR-E/ft^.iríQ, TMI rfcpún t^hacta c&tkhm to source fani U-i:ftyfii1 wulil ',','ao oí Scénce Perlcm; a Crte.j Referent Eearc/t tu ncit,ja CMUms to fiúms r,tu irrexed '.vtllui weu til Scierce Published Items in Each Year Citations in Each Year 3.6 Řešitelství grantů, výzkumných záměrů a center roky realizace název a číslo grantu, VZ nebo VC poskytovatel Správa XML dat v (objektově) relačních databázích a GACR (hlavní řešitel) související problémy, 201/09/P (spoluřešitel) (člen týmu) (člen týmu) (člen týmu) (člen týmu) (supervizor) (supervizor) (supervizor) (supervizor) Zpracování XML dat v heterogenních a dynamických prostředích, P202/10/0573 Inteligentní knihovna INTLIB, TA Zpracování XML dat, 201/09/0990 Vývoj nativního úložiště pro XML data, 201/06/0756 GACR TACR GACR GACR SemWeb - Inteligentní modely, algoritmy, metody a MSMT nástroje pro vytváření sémantického webu, 1ET Evoluce a adaptabilita komplexních aplikací, GAUK Efektivní zpracování Linked Data, Architektura pro důvěryhodná Linked Data, 3110 Evoluce a adaptabilita XML aplikací, GAUK GAUK GAUK 3.7 Autorství (případně spoluautorstvf) patentů Patenty Patenty v České republice v zahraničí (kde? - EU, USA, JV Asie,...) podané přijaté Patenty aplikované v praxi (stručná charakteristika) licenční smlouva pro Českou republiku zahraničí (kde? - EU, USA, JV Asie,...) v jednání uzavřena 3.8 Zhodnocení vědecko výzkumné činnosti uchazeče Hlavní témata výzkumu tvoří: [T1] Evoluce a adaptabilita XML aplikací Problematika evoluce aplikací je obecně velmi složité téma, které přináší řadu problémů. Ve skupině XRG v týmové práci se zaměřili na problematiku evoluce komplexních XML aplikací, u nichž je třeba řešit především evoluci schémat popisujících XML data, s nimiž aplikace pracují. Vzhledem k tomu, že jsou tato schémata typicky provázána (určité části

7 popisují tutéž část reality), změna v jednom schématu může ovlivnit schémata další. Mámeli složitou aplikaci, která zahrnuje desítky, či stovky schémat, není možné, aby byla tato změna, a především její propagace, prováděna ručně. V dalších fázích je pak potřeba uvažovat nejen vliv na ostatní XML schémata, ale také vliv na XML data, operace nad nimi a v nejobecnějším případě také vliv na jakékoli jiné související datové struktury, např. úložiště dat. [T2] Podobnost XML schémat Podobnost dat je velmi obvyklým optimalizačním principem, který se využívá v mnoha oblastech datového zpracování. Existuje několik ověřených obecných principů na vyhodnocování podobnosti, které je však třeba pro účely konkrétní aplikace přizpůsobit. V případě uchazečky se využívá problematika podobnosti pro účely vzájemného mapování XML schémat, tedy pro účely hledání vazeb a vztahů, které jsou pak využity pro správné řešení evoluce množiny XML schémat. Vzhledem k tomu, že je v uvažovaném případě nutná spolupráce s uživatelem, zaměřuje se především na způsoby, jak minimalizovat uživatelské zásahy a využívat předchozích rozhodnutí uživatele v dalších krocích. [T3] Analýzy reálných XML dat Znalost reálných dat je metodou, která umožňuje optimalizovat techniky zpracování dat pro nejtypičtější případy použití, nebo se na tyto omezit a docílit tak mnohem vyšší efektivity algoritmů. Princip analýzy dat je velmi jednoduchý, ale jejich efektivní a především opakovatelné využití je problém, který vede k tomu, že je takových výsledků málo a velmi rychle zastarávají. Zde se zaměřuje především na realizaci systému, který umožní maximálně zautomatizovat nutné kroky (stažení dat, opravy, výběr analýz, agregaci a vizualizaci výsledků) a tudíž možnost analýzy kdykoli opakovat. Z hlediska dynamičnost Internetu, je tato vlastnost přímo nutností, nicméně žádný takový systém doposud neexistuje. [T4] Odvozování XML schémat Existence XML schématu je často nutným předpokladem nebo vhodnou cestou k optimalizaci mnoha metod pro zpracování XML dat. Existuje několik známých metod pro odvozování XML schémat, které se dělí na heuristické, jejichž výstupem jsou obecné regulární stromové gramatiky a metody odvozující gramatiku (podtřídu regulárních stromových gramatik). Nicméně všechny stávající metody se zaměřují na problematiku odvozování regulárních výrazů v rámci jazyka DTD na základě dané množiny příkladů XML dat. Tyto metody je však možné dále rozšiřovat. V přístupech zavedených uchazečkou se využívají další typy vstupů, jako např. (zastaralá a již neplatná) XML schémata, XML dotazy nebo interakce s uživatelem, odvozuje výstupy v jiných jazycích jako je XML Schéma (které přináší např. neuspořádané sekvence a hierarchie datových typů) a Schematron (v němž se nespecifikuje gramatika, ale sada podmínek, které musejí data splňovat), popř. se také optimalizují stávající odvozovací přístupy. Cílem je vytvořit co nejrealističtější a nejpřirozenější XML schémata. 4. Další tvůrčí činnost relevantní k oboru habilitace 4.1 Další profesní kvalifikace dosažená kvalifikace v oboru a datum dosažení výlučnost práce v oboru 4.2 Autorství významných uměleckých děl či organizace tvůrčích akcí nejvýznamnější díla nebo jiné realizace hlavní přínos k umělecké činnosti v daném oboru organizace významných akcí recenze a jiné ohlasy na umělecká díla a tvůrčí činnost

8 4.3 Popularizující publikace popularizující monografie kapitoly v popul. monografiích studie v nerecenz. časopisech a sbornících recenze v tisku a nerecenz.časopisech překlady edice sborníků články v tisku české a slovenské Cizojazyčné 5. Ostatní činnosti 5.1 Aktivní účast na mezinárodních vědeckých konferencích přednášející ve smyslu invited speaker jako organizátor konference, člen jejího přípravného výboru workshop BenchmarX '10 při konferenci DASFAA '10 workshop X-Schemas'09 při konferenci ADBIS '09 workshop MoViX '09 při konferenci DEXA ' předseda sekce konference (chairman) ISD2011 WISE 2010 ADC Členství ve vědeckých nebo uměleckých radách Evaluátor grantů FP7-ICT Call-Scalable Data Analytics 5.3 Členství v redakčních radách vědeckých časopisů 5.4 Významná ocenění za vědeckou činnost v oboru [41] Mlynkova, I. - Necasky, M.: Towards Inference of More Realistic XSDs. SAC'09: Proceedings of the 24th Annual ACM Symposium on Applied Computing - track Web Technologies, pages , Honolulu, Hawaii, USA, March ACM Press, ISBN: The Best Paper Award [55] Mlynkova, I.: A Journey towards More Efficient Processing of XML Data in (O)RDBMS. CIT'07: Proceedings of the 7th IEEE International Conference on Computer and Information Technology, pages 23-28, Fukushima, Japan, October IEEE Computer Society Press, ISBN The Excellent Paper Award [58] Mlynkova, I. - Pokorný, J.: Adaptability of Methods for Processing XML Data using Relational Databases - the State of the Art and Open Problems. RCIS'07: Proceedings of the 1st International Conference on Research Challenges in Information Science, pages , Ouarzazate, Morocco, April Ecole Marocaine des Sciences de Hngénieur, The Best Paper Award [59] Mlynkova, I. - Toman, K. - Pokorný, J.: Statistical Analysis of Real XML Data Collections. In Proceedings of the 13th International Conference on Management of Data, pages 20-31, New Delhi, India, December Tata McGraw-Hill Publishing Company Limited, ISBN The Best Student Paper Award

9 6. Závěr stanoviska habilitační komise Předkládaná habilitační práce je souborem uveřejněných vědeckých prací doplněných komentářem. Předkládané výsledky jsou publikovány vesměs v kvalitních časopisech s vysokým impaktním faktorem. Ještě výraznější je citační ohlas - odezva je celosvětová. Mimo ČR/SR má přes 70 citací, z toho víc než 40 v článcích evidovaných ve WoS, z toho 11 citací na články ve WoS. Uchazečka svými výsledky v netriviální a důležité doméně, kde je soustředěná pozornost mnohých, dosáhla světových výsledků. Dr. Holubová je také vynikající pedagog. Jeden doktorand pod jejím vedením stojí před obhajobou , mnozí z jejich studentů už publikují samostatně. Konstatujeme, že uchazečka podle mínění komise přesahuje množstvím svých publikací nejen hodnoty určené předpisy, ale i běžný srovnatelný výkon v mezinárodním kontextu. Většina jejích publikací znamená přínos k rozvoji poznání. Přednášková činnost a péče o studenty při vedení závěrečných prací je také nadprůměrná. Komise dále kladně kvitovala působení dr. Holubové v zahraničí. Všichni tři oponenti předloženou habilitační práci doporučili. Na základě podnětů oponentů komise doporučuje uchazečce, aby se vyjádřila ke svému podílu na předkládaných výsledcích. Po zhodnocení výsledků vědecké a pedagogické práce uchazečky, její publikační činnosti a po obdržení kladných posudků na habilitační práci, se komise ve věci jmenování RNDr. Ireny Holubové (Mlýnkové), Ph.D. docentkou pro obor Informatika - softwarové inženýrství tajným hlasováním usnesla takto: počet členů komise oprávněných hlasovat: 5" počet přítomných členů oprávněných hlasovat: 5" Bylo odevzdáno hlasů: kladných záporných neplatných O. o V Brně doc. Ing. Michal Krátký, PhD., VŠB TU Ostrava doc. RNDr. Tomáš Skopal, PhD., MFF UK Praha prof. RNDr. Peter Vojtáš, DrSc, MFF UK Praha doc. Ing. Jaroslav Zendulka, CSc, FIT VUT Brno prof. Ing. Pavel Zezula, CSc, Fl MU Brno