Miroslav Kratochvíl, M.Sc.

Ph.D. student, supervisor David Bednárek, Ph.D.

Research topics

  • Compilers and programming languages
  • Functional programming


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

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
High-performance inverted index databaseDávid JavorskýBS2018
Traffic scheduler for Differentiated ServicesMichal BaliBS20182018
Modern approach to user interfaces for e-mailMarcel HruškaBS20172018
Pattern recognition for in-game spell systemsPavel MikušBS20172018
Post-quantum alternative to secure socketsMarek BehúnBS20162017
Efficient simulation of environment destruction in gamesMarek DobranskýBS20162017

Additional information


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