Mgr. Jozef Mikušinec

abs. 2019, 2022, učo 456207
mik(tečka/dot)jozef(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz
Vložení souborů do Úschovny

Studium

Teoretická informatika, Fakulta informatiky
Program FI N-TEI Teoretická informatika, magisterský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2022
Závěrečná práceWell-founded semantics for dependent, recursive record types with type complement
PlánFI PPJ Principy programovacích jazyků

Osobní stránka je zobrazena se souhlasem uživatele: Jozef Mikušinec, 17. 5. 2022

Nahlásit závadný obsah