Mgr. Miroslav Kratochvíl

kratochvil<at>ksi.mff.cuni.cz
doktorand, školitel RNDr. David Bednárek, Ph.D.

Oblasti zájmu

  • Kompilátory a programovací jazyky
  • Funkcionální programování

Výukanahoru

KódNázevOdkazy
NPRG005Neprocedurální programováníInformace
NPRG031Programování II
NPRG041Programování v C++Informace
NPRG045Ročníkový projektNápady na témata
NPRG051Pokročilé programování v C++
NPRG068Programování v HaskelluInformace
NSWI095Úvod do UNIXu
NSWI122Příprava disertační práce

Vedené prácenahoru

NázevŘešitelTypVypsánoObhájeno
C++ linter based on linear typesJiří BenešBc.2018
Scalable addressing and routing protocol for ad-hoc networksTomáš DrozdíkBc.2018
OCR for tabular dataLucia TódováBc.2018
iOS emulator for WindowsJan JonešBc.2018
(zobrazit všechny)

Další informace

Kontaktynahoru

Tato stránka podléhá licenci Creative Commons Uveďte autora-Neužívejte komerčně 3.0 Česko