Kontakty

Fakulta informačních technologií

Automata@FIT, člen pracovní skupiny

Ústav inteligentních systémů, vědecký pracovník

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT, Ph.D. Student

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.