Skip to top bar Skip to header Skip to content Skip to footer

People

Personal Page RNDr. Henrich Lauko

RNDr. Henrich Lauko

učo 410438

xlaukomailmunicz

Upload a file into this person's Depository

Workplace and Studies
Teaching
Supervisor
Publications
Projects
Profile

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
Plan	9^th semester, 5^th year

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