Posudky závěrečné kvalifikační práce

Student se více než dva roky věnoval práci na náročném tématu, které začalo jako školitelův rozmar, a dotáhl jej bez výrazně intenzivního vedení do všestranně kvalitního vědeckého výsledku (inovativní technické řešení, implementace, experimentální vyhodnocení, text), publikovatelného na prestižních fórech. Je třeba zdůraznit, že se nejedná o případ zapojení se do rozjetého výzkumného směru, kde student využije zkušeností a infrastruktury požité v předchozí a současné práci skupiny. Prokázal výjimečnou schopnost samostatně a všestranně vědecky pracovat, jakou očekáváme od kvalitního seniorního doktorského studenta. Práce a student si myslím zaslouží ocenění.

Dílčí hodnocení
Kritérium	Známka	Body	Slovní hodnocení
Informace k zadání			Velmi náročné výzkumné téma, na kterém student pracuje již několik let. Kromě technické náročnosti jde o téma nové a velmi otevřené a neprobádané.
Práce s literaturou			Student zvládl samostatně a do hloubky nastudovat poměrně hodně literatury o automatových technikách.
Aktivita během řešení, konzultace, komunikace			Student byl velmi aktivní, kompetentní a samostatný. Jedná se o zcela neprobádaný a technicky a velmi náročný směr výzkumu, a intenzita mého vedení nebyla zdaleka obrovská. Student ale perzistentně generoval nápady a výsledky a překonával problémy tak dlouho a v takové kvalitě, až vznikla vědecká práce, kterou bude možné publikovat na kvalitní konferenci.
Aktivita při dokončování			Práce byla dokončena v dostatečném předstihu, rok před odevzdáním. Poté probíhalo jen občasné a poklidné ladění textu, se kterým mě student nezatěžoval.
Publikační činnost, ocenění			EXCEL, a plánujeme publikovat na konferenci typu FM, TACAS, a pravděpodobně navážeme aplikací práce v akceleraci rozpoznávání regulárních vzorů pomocí FPGA v monitorování síťového provozu.

Posudek oponenta

Češka, Milan

Vzhledem k obtížnému zadání, velice kvalitnímu zpracovaní realizační i textové části DP, a dosaženým výsledkům navrhuji hodnotit tuto práci známkou A. Vzhledem k tomu, že dosažené výsledky mají značný publikační potenciál, navrhuji práci ocenit cenou děkana a zvážit nominaci do soutěže IT SPY.

Dílčí hodnocení
Kritérium	Body	Slovní hodnocení
Náročnost zadání		Jednalo se o náročné zadaní s výzkumným zaměřením, které vyžadovalo nastudování pokročilých technik pro redukci nedeterministických automatů.
Rozsah splnění požadavků zadání		Hlavním cílem DP bylo navrhnout, implementovat a vyhodnotit novou metodu pro redukci automatů založenou na využití podstruktur. Z mého pohledu bylo zadání splněno a dosažené výsledky jsou velice dobré, což otvírá cestu k přípravě kvalitní publikace.
Rozsah technické zprávy		Práce je v obvyklém rozsahu a většina kapitol je informačně přínosná. Je však nutné dodat, že úvodní kapitoly popisují základní definice a metody z oblasti formálních jazyků a automatů, a tudíž mají kompilační charakter.
Prezentační úroveň technické zprávy	92	Logická struktura textové části, návaznosti kapitol a celková pochopitelnost textu je na velmi dobré úrovni. Velice pozitivně hodnotím dostatečný rozsah a kvalitu prezentace v kapitolách 4 a 5, které popisují navržený přístup. Menší výhrady mám ke kapitole 6 popisující experimenty, kde je trochu problematické se vyznat a interpretovat dosažené redukčních faktory. Student někdy uvádí redukci vzhledem k originální velikosti a někdy vzhledem k velikosti získané po použití state-of-the-art redukčních nástrojů. Rovněž bych očekával intepretaci výsledků, které ukazují redukci zásobníkové abecedy (viz můj dotaz níže).
Formální úprava technické zprávy	95	Typograficky a jazykově je DP na vynikající úrovni. Zejména oceňuji kvalitní zpracování obrázků (tj. automatů), které demonstrují hlavní principy a rovněž pochopitelný popis navržených metod, které jsou technicky poměrně komplikované.
Práce s literaturou	90	Práce s literaturou je rovněž na vynikající úrovni. Úvod DP je velice dobře zpracován včetně motivace a related work. Je zřejmé, že student se v této oblasti velice dobře orientuje.
Realizační výstup	95	Realizační část práce mi byla řádně demonstrována a mohu konstatovat, že je funkční a kvalitně zpracovaná. Její rozsah je na dostatečné úrovni a student rovněž prokázal dobrou orientaci v kódu. Výhradu mám k testovaní korektnosti implementace: text DP explicitně o testování nemluví a reakce studenta na otázku testovaní, kterou jsem položil během demonstrace nebyla zpočátku úplně přesvědčivá. Je však nutné dodat, že implementace zahrnuje funkcionalitu, která by měla případné chyby v redukovaném automatu odhalit.
Využitelnost výsledků		Vzhledem k dosaženým výsledkům, které demonstrují, že navržený přístup je schopný významně redukovat automaty, které již byly redukovány state-of-the-art nástroji, předpokládám, že z této DP brzy vznikne kvalitní publikace. Výsledky DP již byly oceněny na soutěži Excel@FIT, kde student získal cenu odborného panelu.

Posudky

Posudek vedoucího

Holík, Lukáš

Posudek oponenta

Češka, Milan

Otázky