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
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 →Kdo na papíře odstraňoval levou rekurzi, ví, jak snadno se cestou ztratí apostrof nebo rovnou celý symbol. Nový analyzátor gramatik provede úpravy krok za krokem, zkontroluje, jestli se nezměnil jazyk, a ukáže LL i LR automaty. Otevřít ho jde přímo z příkladů ve cvičeních.
Celá zpráva →Jak daleko je skutečný obzor, proč pozorovatel na stěžni lodi vidí znatelně dále než námořník na palubě a jak vysoká rozhledna stačí k zahlédnutí protějšího kopce? Vyzkoušejte novou interaktivní simulaci s vizualizací zakřivení, dalekohledem, trigonometrickým postupem a exportem úloh pro výuku.
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 →
