Miroslav Kratochvíl, M.Sc.

kratochvil<at>ksi.mff.cuni.cz
Ph.D. student, supervisor David Bednárek, Ph.D.

Research topics

  • Compilers and programming languages
  • Functional programming

Teachingtop

CodeTitleLinks
NPRG005Non-procedural ProgrammingCourse info
NPRG031Programming II
NPRG041Programming in C++Course info
NPRG045Individual Software ProjectTopic ideas (czech)
NPRG051Advanced C++ Programming
NPRG068Programming in HaskellCourse info
NSWI095Introduction to UNIX
NSWI122Dissertation Thesis Preparation

Supervised thesestop

TitleStudentTypeStartedDefended
C++ linter based on linear typesJiří BenešBS2018
Scalable addressing and routing protocol for ad-hoc networksTomáš DrozdíkBS2018
OCR for tabular dataLucia TódováBS2018
iOS emulator for WindowsJan JonešBS2018
(show all)

Additional information

Contactstop

The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic