RNDr. Henrich Lauko

učo 410438

Pracoviště

Studium

Informatika, Fakulta informatiky
Program FI D-INF Informatika, doktorský studijní program
Školitelprof. RNDr. Jiří Barnat, Ph.D.
KonzultantRNDr. Petr Ročkai, Ph.D.
Formaprezenční se specializací
Stavukončení doby narušení studia
Výzkumné zaměřeníAbstrakce ve verifikaci programů s dynamickou pamětí
PlánFI DIIA Technologie a metodologie počítačových systémů
6. semestr, 3. ročník

Osobní stránka je zobrazena se souhlasem uživatele: Henrich Lauko, 2. 9. 2019