Odborný asistent na Katedře informatiky a výpočetní techniky (KIV) Fakulty aplikovaných věd Západočeské univerzity v Plzni. Člen výzkumné skupiny ReliSA zaměřené na spolehlivé softwarové architektury.
Zabývám se možnostmi využití simulací pro testování a verifikaci software, generováním testovacích dat s podporou LLM a vizualizací rozsáhlých dat. Mimo akademickou sféru dlouhodobě organizuji jógové dětské tábory a věnuji se józe.
Důležitá oznámení, informace k výuce a provozu stránek
Analyzátor gramatik prošel rozsáhlým rozšířením. Přibyly obecné analyzátory (CYK, ALL(*), Earley s Leo tranzitivními položkami, ETTP, GLL a GLR), rekurzivní vzestup, hledání protipříkladů pro LR konflikty, průvodce transformacemi, zotavení z chyb i vylepšené rozhraní.
Celá zpráva →Do analyzátoru gramatik přibyla interaktivní simulace rekurzivního sestupu přímo v prohlížeči. Při krokování ukazuje nejen zásobník volání a derivační strom, ale i automaticky sestavovanou tabulku symbolů s vnořenými bloky. Jde o výukovou demonstraci principu konstrukce tabulky, která sice nemusí spolehlivě rozpoznat každý symbol, ale funguje a hezky ilustruje práci překladače.
Celá zpráva →Vizualizace duhy mi zatím dala ze všech modelů nejvíc práce – hezky totiž ukazuje, že když člověk přesně neví, co chce, AI mu zase tolik nepomůže. Vyzkoušejte novou interaktivní simulaci s trasováním paprsků, úhly 42° i 50,4°, 3D oblohou a průvodcem krok za krokem.
Celá zpráva →Materiály a cvičení k předmětům UUR, VSS, FJP, DBM1 i archiv starších semestrů.
Přejít k výuce →Vypsaná témata pro studenty FAV a archiv obhájených prací na Theses.cz.
Prohlédnout práce →Přehled odborných článků, konferencí, software a disertace včetně DOI odkazů.
Zobrazit publikace →
