RNDr. Henrich Lauko

učo 410438
xlauko(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz
Upload a file into this person's Depository

Department

Department of Computer Science - Faculty of Informatics (part-time cooperation)

Studies

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
6th semester, 3rd year

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