Teaching

Courses

Current

Past

Master students

Student Title
Karolina Hrnčiříková Profiler for the R programming language
Adam Plodek Out of process byte-code copiler for the R programming language
Petr Adámek Using malware detection techniques for dependency detection of R programs
Michal Štěpánek Enriched contextual dispatch for Ř
Michael Vrána Automated data analysis pipelines
Jan Bína SWM - Simple Window Manager
Václav Král Ahead-of-time compiler for the microC langauge
Róbert Selvek Desktop agnostic power manager for Linux
Vít Medřický Localization system PROWiLOS v1.0
Marek Foltýn Shere - notes and document management application
Alexander Bublik Grammatica - an app for practicing grammar

Bachelor students

Student Title
Filip Říha Simple Object Machine implementation in functional programming language
Rostislav Blaha An overview of gradual typing approaches in dynamic programming languages
Ondřej Kvapil Haskell Dynamic Tracing
Vít Medřický Web application PWiL – System for localization of patients
Jan Jindráček Pattern matching in C11
Tomáš Jozífek ArtilEcho - a strategy game for blind people
Narek Vardanjan An actor model implementation for the OCaml programming language
Bc. Otakar Vinklář Analyze Scala Code Using Graph Database
Filippo Ghibellini Dynamic test generation for R packages
Petr Polívka Conjugata - conjugation training app - backend
Matěj Sedlák Conjugata - conjugation training app - frontend
Marek Foltýn Interactively controlled PC games using smart phones