RNDr. Henrich Lauko

učo 410438


Computer Science, Faculty of Informatics
Programme FI D-INF Computer Science, doctoral degree programme
Supervisorprof. RNDr. Jiří Barnat, Ph.D.
ConsultantRNDr. Petr Ročkai, Ph.D.
Study Modefull-time specialized
Statusend of the period of disrupted studies
Research topicAbstrakce ve verifikaci programů s dynamickou pamětí
PlanFI DIIA Computing Technology and Methodology
9th semester, 5th year

The Personal Page is being displayed with the following user's consent: Henrich Lauko, 2/9/2019