Mgr. Jozef Mikušinec

grad. 2019, 2022, učo 456207
mik(tečka/dot)jozef(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz
Upload a file into this person's Depository

Studies

Theoretical computer science, Faculty of Informatics
Programme FI N-TEI Theoretical computer science, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2022
Thesis/DissertationWell-founded semantics for dependent, recursive record types with type complement
PlanFI PPJ Principles of programming languages

The Personal Page is being displayed with the following user's consent: Jozef Mikušinec, 17/5/2022

Report inappropriate content