
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
Code | Title | Links |
---|---|---|
NPRG005 | Non-procedural Programming | Course info |
NPRG031 | Programming II | |
NPRG041 | Programming in C++ | Course info |
NPRG045 | Individual Software Project | Topic ideas (czech) |
NPRG051 | Advanced C++ Programming | |
NPRG068 | Programming in Haskell | Course info |
NSWI095 | Introduction to UNIX | |
NSWI122 | Dissertation Thesis Preparation |
Supervised thesestop
Additional information
Contactstop
- kratochvil<at>ksi.mff.cuni.cz
- http://www.ksi.mff.cuni.cz/~kratochvil/
- room 202, 2nd floor
- +420 951 554 148