Supervised Student Theses

Student Thesis Name Supervisor Type Started Defended
Michal Belák Improving Face Recognition Methods with Body Tracking Sensor Martin Kruliš BS 2018 2018
Petr Mánek A system for 3D localization of gamma sources using Timepix3-based Compton cameras Filip Zavoral MS 2018 2018
Martin Mečiar Static data flow analysis for Java programs Filip Zavoral MS 2018 —
Lukáš Riedel Public Transport Timetables Filip Zavoral BS 2018 —
Michal Staruch Experimental Framework for Simplifying CUDA Applications Design Martin Kruliš MS 2018 —
Jan Buchar Load Balancing in an Evaluation System for Programming Assignments Martin Kruliš MS 2017 —
Daniel Douša Optimization of Stock Locations in Warehouses Filip Zavoral MS 2017 —
Tomáš Faltín Big Data Distributed Processing in Heterogeneous Environment Jakub Yaghob Ph.D. 2017 —
Jan Horák Web Editor and Simulator of Logic Gate Networks Martin Kruliš BS 2017 2018
Robert Husák Interactive Verification of Complex Software Filip Zavoral Ph.D. 2017 —
Michal Jurčo Remotely controlled multi-platform music player Martin Kruliš BS 2017 —
Petr Onderka System for extensions of the C# language Filip Zavoral MS 2017 —
Roman Staněk Board Games Tracking Using Camera and Depth Sensor Martin Kruliš BS 2017 —
Bruno Cuc Distributed Computations and Storage Using Javascript Martin Kruliš MS 2016 —
Filip Havel Searching and Updating Public Transport Timetables Filip Zavoral BS 2016 2018
Emanuel Buzek Web Platform for Parallel Programming Tutorials Martin Kruliš MS 2015 2017
Petr Čečil Cross-platform Mobile Development Filip Zavoral MS 2015 2016
Tomáš Faltín Streaming system scheduling for Xeon Phi Jakub Yaghob MS 2015 2017
Tomáš Faltín Streaming system scheduling for Xeon Phi Jakub Yaghob MS 2015 2016
Vít Habada An Application for Sharing Informal Academic Quotations Martin Kruliš BS 2015 —
Miroslav Kratochvíl Language support for data-intensive parallel computing David Bednárek Ph.D. 2015 —
Martin Mirbauer Peer-to-peer Network for Decentralized File Storage and Distributed Task Processing Filip Zavoral BS 2015 2016
Michal Raška Framework for Customizable Autopilot Solutions Filip Zavoral MS 2015 2017
Hynek Schlindenbuch A Testing Tool for Network Applications Martin Kruliš BS 2015 2016
Karel Tuček SIMD code generator David Bednárek BS 2015 2016
David Honzátko GPU Acceleration of Advanced Image Denoising Martin Kruliš BS 2014 2015
Pavel Kalvoda Implementation and evaluation of the CBOR protocol David Bednárek BS 2014 2015
Pavel Kratochvíl Artificial Intelligence for Settlers Filip Zavoral BS 2014 2016
Miroslav Kratochvíl Low-level functional programming language David Bednárek MS 2014 2015
David Ligr Parallel Evaluation of Numerical Models for Algorithmic Trading Martin Kruliš MS 2014 2016
Petr Malý Large data parallel processing Jakub Yaghob Ph.D. 2014 —
Petr Martišek Backing-track generator for music improvization Jakub Yaghob BS 2014 2015
František Nesveda Integrated Tool for Web Application Development Martin Kruliš BS 2014 2015
Petr Stefan Assessing Usability of Raspberry Pi for Distributed Computing Martin Kruliš BS 2014 2015
Jakub Vlček Parallelization of Clustering Algorithms Martin Kruliš MS 2014 —
Michal Brabec Procedural code integration in streaming environments David Bednárek Ph.D. 2013 2018
František Haas Parallel Processing of Huge Astronomical Data Filip Zavoral MS 2013 2016
Pavel Herrmann Fault-tolerant virtualization Jakub Yaghob MS 2013 2014
Michal Hošala Employing GPUs in Global Optimization Problems Martin Kruliš MS 2013 2014
Oskar Hýbl Space shooter game with mutually cooperating bots Filip Zavoral BS 2013 2015
Jozef Jirásek Distributed Bobox Filip Zavoral MS 2013 —
Marcel Kikta Evaluating relational queries in pipeline-based environment David Bednárek MS 2013 2014
Lucie Klimperová A SQL front-end for the Bobox system David Bednárek MS 2013 2015
Tomáš Krejčí Genetic programming in financial markets forecasting David Bednárek BS 2013 2015
Lukáš Krížik Bobox Runtime Optimization Filip Zavoral MS 2013 2015
Petr Malý Static analysis of C# programs David Bednárek MS 2013 2014
Oskar Maxa Implementation of process analysis of BORM OR diagrams Filip Zavoral BS 2013 2015
Jakub Mráček A decompiler for Objective-C Jakub Yaghob MS 2013 2016
Jan Novák Compiler from Scheme to C/C++ Jakub Yaghob BS 2013 2015
Jiří Pavlovský Computerized bookkeeper David Bednárek BS 2013 2015
Pavel Tupec Android components for business applications Filip Zavoral MS 2013 2015
Michal Brabec Parallelizability analysis based on bytecode David Bednárek MS 2012 2013
Tomáš Faltín Interactive disassembler for Intel 64 processors Jakub Yaghob BS 2012 2014
Miroslav Kratochvíl Implementation of cryptosystem based on error-correcting codes Jakub Yaghob BS 2012 2013
Ondřej Kupka Cider - An Event-driven Continuous Integration Server Filip Zavoral BS 2012 2014
Štěpán Šindelář Implementing control flow resolution in dynamic language Filip Zavoral MS 2012 2014
Matěj Zábský Optimizing scriptable generator of terrain maps David Bednárek MS 2012 2015
Daniel Balaš Advanced Optimizations in Dynamic Language Compiler Filip Zavoral MS 2011 2012
Karel Fišer A modern implementation of LALR(1) parser generator David Bednárek MS 2011 2013
Michael Grafnetter Modern virtualization techniques Jakub Yaghob Ph.D. 2011 —
Ondrej Kaprál Distropine - Distributed System for Anotation of Web Pages Filip Zavoral BS 2011 2012
Karel Klíma Full text of laws Filip Zavoral BS 2011 2013
Martin Major Application of User Ratings Prediction Methods for The Film Recommendations Martin Kruliš MS 2011 2013
Martin Urza Translating XQuery into a procedural language David Bednárek MS 2011 —
Miroslav Cicko A tool for modeling architecture of C# programs Filip Zavoral MS 2010 —
Ľubomír Dáni E-shop as a service David Bednárek BS 2010 2011
Zbyněk Falt Towards Efficient Parallel Data Processing on Modern Hardware Jakub Yaghob Ph.D. 2010 2014
Michael Grafnetter Dynamic resource balancing in virtualization clusters Jakub Yaghob MS 2010 2011
Jiří Horký Improving efficiency of HEP applications Filip Zavoral MS 2010 2011
Ján Majdan Implementation of selected database operations in parallel environment David Bednárek MS 2010 2013
Petr Malý Information System for Conference Planning Filip Zavoral BS 2010 2011
Štěpán Šindelář Design Patterns Support in Development Tools Filip Zavoral BS 2010 2011
Ivan Vacula Multi-platform environment for mobile-game development David Bednárek MS 2010 2011
Radim Vansa Parallel data-processing on GPGPU Martin Kruliš MS 2010 2012
David Brodský Compiling Sky bytecode into C++ Jakub Yaghob MS 2009 2010
Zbyněk Falt Scheduler and memory allocator for the Bobox system Jakub Yaghob MS 2009 2010
Peter Hrušovský Support for marketing and user preferences in e-commerce David Bednárek MS 2009 2010
Martin Kruliš Employing Parallel Architectures in Similarity Search Jakub Yaghob Ph.D. 2009 2013
Viktor Křivák Graphical Design of MySQL Database Filip Zavoral BS 2009 —
Kateřina Opočenská Dynamic setup for clusters with multi-master architecture Jakub Yaghob MS 2009 2010
Šimon Rajčan Adaptive e-mail classifier for IMAP servers David Bednárek BS 2009 2009
Šimon Rajčan Adaptive e-mail classifier for IMAP servers David Bednárek BS 2009 2009
Jiří Schejbal A system for analysis of collections of XML queries David Bednárek MS 2009 2010
Martin Suchan Semantics Detection in Partially Structured Sources Filip Zavoral MS 2009 2010
Róbert Šišaj Universal System for Delivery and Automatic Conversion of Messages Filip Zavoral MS 2009 —
Petr Trňák Information System for Software Projects Committee Filip Zavoral BS 2009 —
Miloslav Beňo Implementing the Dynamic Languages Using DLR Technology Filip Zavoral MS 2008 2010
Ondřej Dolejš Market Research Web Portal Filip Zavoral MS 2008 2009
Tomáš Fechtner Analyse of MMORPG Filip Zavoral BS 2008 2009
Karel Jakubec Ultimate Code Designer Jakub Yaghob BS 2008 2009
Martin Kruliš Algorithms for Parallel Searching in XML Datasets Jakub Yaghob MS 2008 2009
David Matoušek Windows process behavior checking Jakub Yaghob MS 2008 2010
Jakub Míšek IntelliSense Implementation of a Dynamic Language Filip Zavoral MS 2008 2009
Štěpán Poljak Turn-based strategy Filip Zavoral BS 2008 2010
Tomáš Stráník Parallel XML parsing Jakub Yaghob MS 2008 2010
Miroslav Blaško Modelling n-ary relations in description logics Filip Zavoral MS 2007 2008
Miroslav Cicko C# Profiler Filip Zavoral BS 2007 2008
Jan Forch Graphical engine for FPS Jakub Yaghob BS 2007 2010
Jakub Galgonek Query languages for the Semantic web Jakub Yaghob MS 2007 2008
Tomáš Hajas Alternative interface for XML Jakub Yaghob MS 2007 —
Marek Hanes Modular system for delivery and display of sensitive information Filip Zavoral BS 2007 2008
Adam Hraška Distributed containers Filip Zavoral BS 2007 2009
Lukáš Kopenec Musical notation editor David Bednárek MS 2007 2010
Václav Koudelka Semantic personalization Filip Zavoral MS 2007 2009
Jiří Mach An information system for sport schools David Bednárek BS 2007 2008
Miroslav Novotný Trust Management Systems in P2P Networks Filip Zavoral Ph.D. 2007 2012
Gábor Ocsovszky Simulation of automobile traffic Jakub Yaghob BS 2007 —
Jan Sochna Collecting XML data and meta-data from the Internet David Bednárek MS 2007 2010
Jiří Václavík Debugger for Windows Jakub Yaghob BS 2007 2008
Miloslav Beňo Semantic Data Extractor Filip Zavoral BS 2006 2007
Serghei Bondari Distributed WEB framework Filip Zavoral MS 2006 2009
Jan Červák Static analysis of XSLT programs David Bednárek MS 2006 2006
Pavol Gajarský Text editor with syntax-directed functions David Bednárek BS 2006 2008
Ondřej Hanslík 3D games in J2ME Jakub Yaghob MS 2006 2010
Luděk Hlaváček Modern lexical scanner generator Jakub Yaghob MS 2006 —
Martin Horváth Dimensional analysis for HD languages David Bednárek MS 2006 2007
Tomáš Imrich Reverse engineering on AS/400 platform David Bednárek MS 2006 2008
Pavel Jančík Pascal interpreter Jakub Yaghob BS 2006 2008
Pavol Juhos Source code generator David Bednárek MS 2006 2008
Lukáš Kopenec Music notation editor David Bednárek BS 2006 2007
Lenka Kreibichová Chemical laboratory Filip Zavoral BS 2006 2006
David Majda Translating Ruby to PHP David Bednárek MS 2006 2008
Jakub Malý Settlers of Catan Filip Zavoral BS 2006 2007
David Matoušek A tool for checking systems calls on Windows Jakub Yaghob BS 2006 2007
Jakub Míšek Paintball 3D for Symbian Filip Zavoral BS 2006 2007
Tomáš Petříček Client side scripting using meta-programming David Bednárek BS 2006 2007
Michal Podzimek Process models of semantic web Filip Zavoral MS 2006 2008
Martin Szablatura 3D realtime strategy Jakub Yaghob BS 2006 —
Martin Špaňo Visualization of algorithms Filip Zavoral BS 2006 2007
Jakub Váňa Porting HelenOS to IA-64 Jakub Yaghob MS 2006 2009
Jan Zouhar A retargetable code-generator David Bednárek MS 2006 2006
Martin Děcký Mechanisms for operating system virtualization Jakub Yaghob MS 2005 2006
Ondřej Dolejš Database manager Filip Zavoral BS 2005 2006
Nora Ibrahimová ER-diagrams editor Jakub Yaghob BS 2005 2007
Jan Krček A controlling language for 2D games David Bednárek MS 2005 2007
Martin Kruliš Vector editor for creating animations Filip Zavoral BS 2005 2007
Jiří Kulhánek Integration of Heterogeneous Information Systems Filip Zavoral MS 2005 2006
Luboš Kulič Automatic mail organizer for IMAP servers David Bednárek BS 2005 2006
Ondřej Kunčar SVN Proxy David Bednárek BS 2005 2006
Vojtěch Meluzín Crossplatform user interface API for C/C++ Filip Zavoral MS 2005 2006
Jiří Novák System for Distributed Computing Jakub Yaghob BS 2005 2009
Gábor Ocsovszky Simulation of automobile traffic Jakub Yaghob BS 2005 —
Tomáš Šafařík Compiler from BASIC language to assembler Jakub Yaghob BS 2005 2008
Jiří Tlach TCP/IP network controller Jakub Yaghob BS 2005 2006
Zdeněk Bulan Management system of WiFi access points Jakub Yaghob BS 2004 2005
Vojtěch Hála Using XML technologies to apply design patterns David Bednárek MS 2004 2006
Vojtěch Hála Using XML technologies to apply design patterns David Bednárek MS 2004 2009
Tomáš Marván Information system for educational agencies David Bednárek BS 2004 2007
Martin Nepivoda Wolfenstein 3D for X Window Filip Zavoral BS 2004 2005
Ondřej Palkovský Implementation Time Addressable Storage Filip Zavoral MS 2004 2008
Jaroslav Tykal Secure filesharing on Windows Jakub Yaghob MS 2004 2006
Petr Zika Garbage collection in the C++ environment David Bednárek MS 2004 2009
Petr Zika Garbage collection in the C++ environment David Bednárek MS 2004 2009
Jiří Krejsa Tools for experiments with grammar and languages David Bednárek MS 2003 2010
Jan Malý Heuristic analysis of viruses and similar treatments running Linux on i386 Jakub Yaghob MS 2003 2005
Mikuláš Patočka Design and Implementation of the Spad Filesystem Filip Zavoral Ph.D. 2003 2011
Mikuláš Patočka Design and Implementation of the Spad Filesystem Filip Zavoral Ph.D. 2003 2010
Milan Roubal Frameworks for Internet Application Development Filip Zavoral BS 2003 —
Michal Šída Compiling DDDS applications to a native code Jakub Yaghob MS 2003 2005
Petr Doležal Reverse parallel configuration manager Jakub Yaghob MS 2002 2006
Jakub Ouhrabka PHP framework for intranet applications development Filip Zavoral MS 2002 2005
Petr Plavjaník The Uniform Visualization of the Execution Plans of SQL Queries David Bednárek MS 2002 2005
Václav Veselý ASN.1 to C++ compiler Jakub Yaghob MS 2002 —
Martin Dvořák Data Manager Filip Zavoral MS 2001 —
The content is available under Creative Commons BY-NC 3.0 License