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 | |
Supervisor | prof. RNDr. Jiří Barnat, Ph.D. | |
Consultant | RNDr. Petr Ročkai, Ph.D. | |
Study Mode | full-time specialized | |
Status | end of the period of disrupted studies | |
Research topic | Abstrakce ve verifikaci programů s dynamickou pamětí | |
Plan | FI 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