ČÍSLO Student UČO Student příjmení Student jméno Vedoucí příjmení Vedoucí jméno Oponent příjmení Oponent jméno Obor Zkouška Doplnění Název práce Vedoucí katedry 1 422654 Ajdarów Michal Gruska Jozef Pivoluska Matej MI Minimality problems for promise versions of finite automata Křetínský 2 410320 Ambrozková Petra Kozlíková Barbora Jarešová Miroslava BcAP Logická hra pro rozvoj dětí s poruchou autistického spektra Matula 3 422808 Bakalova Viktoriia Rambousek Adam Tišnovský Pavel PSZD Analýza požadavků aplikace na profil JVM Horák 4 396061 Barto� Tomáš Bayer Jaroslav Čižik Matej MI SOBHA Framework pro tvorbu BBMMOGs Hladká 5 422583 Benkovský Ondřej Tovar�ák Daniel Nguyen Filip PDS Proudové zpracování událostí v jazyce Erlang Hladká 6 400481 Be�ová Katarína Koščík Michal Myška Matěj INVS Autorskoprávní ochrana software Křetínský 7 410105 Bernát Pavel Baisa Vít Kovář Vojtěch PSZD Grafický webový editor dotazů v jazyce CQL Horák 8 422743 Bezek Matúš Hliněný Petr Obdržálek Jan MI Charakterizace DAG-depth orientovaného grafu Křetínský 9 409776 Bielovič Oliver Rygl Jan Grác Marek UMI Stylom autora Horák 10 422285 Bokša Martin Přenosil Václav Veškrna Martin BcAP Návrh řídicího systému časosběrného zařízení pro digitální fotografické přístroje Horák 11 422628 Bončo Jaroslav Pitner Tomáš Ministr Jan BcAP Detekce bezpečnostních rizik u síťových prvků domácí sítě Hladká 12 409904 Bončo Tomáš Obšívač Tomáš Bayer Jaroslav BcAP Knihovna pro efektivní nahrávání obrázků na webový server Hladká 13 410433 Boniš Andrej Bártek Luděk Ševčík Jonáš BcAP Databáze gramatik pro podporu rozpoznávání řeči Hladká 14 422733 Bordovská Linda Sochor Jiří Stupka Václav INVS Testování jako služba Matula 15 409816 Bosák Peter Pitner Tomáš Záhora Zdeněk INVS Využití herních principů v marketingových strategiích Hladká 16 410011 Burda Marek Maška Martin Svoboda David GRA Detekce křivočarých struktur v biomedicínském obraze pomocí tenzoru fázové kongruence Matula 17 410353 Buša Martin Matěj Zdeněk Mravec Filip PDS P Zdokonalený komunikační protokol Horák 18 410047 Cerman Martin Bártek Luděk Pelikán Jaroslav GRA Správa bioplynové stanice Hladká 19 422684 Cieslarová Radka Švenda Petr Sýs Marek MI An impact of cryptographic function's blocks on the randomness properties Hladká 20 422612 Cyprian Patrik Pitner Tomáš Jankovský Peter PSZD Návrh a realizace grafického uživatelského rozhraní pro tvorbu a testování parserů/konektorů pro SIEM Hladká 21 422534 Čokinová Jana Hřebíček Jiří Komenda Martin BcAP Integrovaný zákaznický portál Hladká 22 409782 Dařbujanová Agáta Brož Milan Šťavová Vlasta SOCI Uživatelské rozhraní aplikace pro šifrování disku Hladká 23 422695 Dendis Ivan Šťavová Vlasta Brož Milan BcAP Vývoj frameworku pro detekci a vizualizaci anomálií v datech Hladká 24 422217 Domkař Petr Rambousek Adam Baisa Vít BcAP Aplikace pro pomoc při učení pro Firefox OS Horák 25 373915 Doubek Jan Baisa Vít Rambousek Adam BcAP TBX editor and viewer Horák 26 409076 Dúcky Peter Gešvindr David Chren Stanislav BcAP P Příprava výukových materiálů o automatickém testování software Hladká 27 373920 Dugáček Ján Matěj Zdeněk �eřucha Šimon BcAP Komplexnímu zpracování experimentálních dat Horák 28 433502 Dvořáková Zuzana Lexa Matej Šafránek David BIO Výpočetní nástroj pro automatickou anotaci vnoření transposonů v genomech z NGS dat Horák 29 422617 Evin Matej �íha Zdeněk Krhovják Jan PSZD Útoky na A11y (Accessibility) interface Hladká 30 422370 Fedor Jaroslav Pitner Tomáš Raj�ačok Pavel BcAP Systém kontinuální integrace pro rychlý vývoj webových aplikací Hladká 31 422790 Galbavý Juraj �íha Zdeněk Šťavová Vlasta BcAP Využití sledování spotřeby baterie v OS Android Hladká 32 422328 Gallo Matej Popelínský Lubomír Brázdil Pavel UMI Sumarizace textu metodami strojového učení Křetínský 33 422473 Gluszny Roman Liarokapis Fotios Chmelík Jiří BcAP Moral Serious Game Matula 34 409865 Golomb Martin Grác Marek Medveď Marek BcAP Vývojové prostředí pro digitalizaci deskových her Horák 35 422795 Grman Maroš �íha Zdeněk Sýs Marek BcAP Textové výstupy testů náhodnosti Hladká 36 422527 Grundmann Jan Malinka Kamil �íha Zdeněk BcAP Disaster recovery at ICS MU Hladká 37 422787 Guoth Matúš Rebok Tomáš Vizváry Martin PSK Mechanismy přechodu tradičních počítačových sítí na technologie SDN Hladká 38 422606 Guzma Filip �íha Zdeněk Kumpošt Marek BcAP Dynamická hesla Hladká 39 422190 Hajas Michal �íha Zdeněk Švenda Petr PSZD Rozšíření frameworku EACirc o simulátor Java bytecodu Hladká 40 422551 Hála Václav Nguyen Filip Guričan Miroslav BcAP Network Device Testing Framework for Java Hladká 41 422714 Harčár Matej Brož Milan Švenda Petr BcAP Generátory náhodných čísel v multiplatformním prostředí Hladká 42 409961 Hežeľová Vladimíra Svoboda David Karas Pavel GRA P Implementace vybraných algoritmů na vyvažování bílé na platformě Android Matula 43 395986 Hlava Jan Kuba Martin Křenek Aleš BcAP Nástroj pro úpravy hlaviček FITS souborů Hladká 44 422661 Hlaváčik Matúš Hliněný Petr Gajarský Jakub MI Case analysis of a splitter theorem Křetínský 45 422673 Hlávka Vojtěch Černá Ivana Beneš Nikola MI Experimentální srovnání algoritmů pro hledání maximálního toku v síti Křetínský 46 373865 Hodina Václav Grác Marek Brož Milan INVS Vizualizace rozdělování disků Horák 47 422464 Holásek Vít Pelikán Jaroslav Mravec Filip BcAP Měření spotřeby elektrické energie v domácnosti Hladká 48 409851 Holík Antonín Kozlíková Barbora Maška Martin BcAP Vizualizace rodokmenu v buněčných populacích Matula 49 400584 Hroníková Ivona Plhák Jaromír Kopeček Ivan SOCI P Výuková hra pro děti se specifickými poruchami učení Horák 50 422765 Hudák Frederik Strejčková Adriana Rossi Bruno UMI Revize aplikace Výpůjčky Hladká 51 422182 Hudák Patrik Bukač Vít Kumpošt Marek PSK Automated SQL injection attacks validation system Hladká 52 422483 Chodil Miroslav Kunc Michal Zábojník Tomáš MI Vlastnosti konečných automatů a jejich přechodových monoidů Křetínský 53 396073 Janoštiak Peter �íha Zdeněk Šťavová Vlasta PSZD Bezpečnostní aspekty QR kódů Hladká 54 410390 Janovský Adam Slovák Jan Bulant Michal MI Algebraic cryptanalysis of Hidden Field Equations family Křetínský 55 409960 Jurák Jiří Gešvindr David Vašeková Andrea BcAP Statické generování a optimalizace načítání webových aplikací ve frameworku DotVVM Hladká 56 410191 Jurík Adam Liarokapis Fotios Sochor Jiří GRA Fractal Terrain Generation Matula 57 422690 Köberling Peter Nižnan Juraj Stanislav Vít PSZD Automatizované stahování dat a agregace Horák 58 422542 Kocák Martin Prokeš Josef Svoboda Tomáš PSK Návrh a vývoj mobilní aplikace pro výpočet mzdy na platformu Android Horák 59 421131 Kočiský Martin �íha Zdeněk Kumpošt Marek BcAP Forenzní analýza filesystému mobilního telefonu. Hladká 60 396499 Kolařík Matouš Holub Petr Matela Jiří PDS GPU akcelerace DCT/IDCT pro nepravidelné rozměry kodovacích bloků Hladká 61 410347 Kosť Dávid Jirsík Tomáš Vizváry Martin BcAP Kypo Exercises: Penetrační testování v praxi Hladká 62 422264 Kováč Peter Svoboda David Ulman Vladimír BcAP Optimalizace simulací v biomedicíně Matula 63 410214 Koza Peter Ráček Jaroslav Schuma Jan BcAP Portál digitálního kulturního dědictví Hladká 64 422361 Kozák Kristián Škrabálek Jaroslav Dubrovský Jakub PSK Komunitní mobilní aplikace pro Apple iOS platformu zajišťující službu hlídání dětí Hladká 65 422783 Krajčovič Michal Kuba Martin Křenek Aleš BcAP Nástroj pro vyhledání fotometrických dat stelárních objektů Hladká 66 422668 Krasnayová Martina Jarešová Miroslava "Lukášová, Matula" "Helena, Petr" BcAP GD Vývoj pohybové hry pro aplikaci Newron Hladká 67 410419 Kratochvíl Radim Bayer Jaroslav Čižik Matej PSK Umělá inteligence pro OpenTTD Hladká 68 410131 Kremláček Jakub Čejka Jan Jurčík Adam PSZD Metody pro urychlení paralelních algoritmů s pomocí GPU Matula 69 422515 Kruml Jiří Tovar�ák Daniel Pitner Tomáš BcAP Integrace nástroje Esper a fronty zpráv RabbitMQ Hladká 70 410315 Kruppová Simona Licehammer Slávek Kouřil Daniel BcAP Využítí key-value databáze pro ukládání atributů systému Perun Hladká 71 410055 Kubini Štefan Přenosil Václav Mravec Filip PSZD P Zákaznický informační systém malé firmy Horák 72 410077 Kuchař Jan Pitner Tomáš Ševčík Jonáš BcAP Sencha ExtJS 5 and Doctrine 2 Data Bridge Hladká 73 422581 Kvaš�ovský Rudolf Švenda Petr �íha Zdeněk PSZD The detailed performance analysis of JavaCard cryptographic smartcards Hladká 74 409855 Lamser Tomáš Kučera Antonín �ehák Vojtěch MI Algoritmická analýza bezpečnostních her Křetínský 75 422256 Lapár Radovan Lexa Matej Holub Petr MI Nástroj pro vizualizaci biomedicínských dat v projektu Thalamoss Horák 76 409793 Le Michael Strejčková Adriana Vašeková Andrea PSZD Simulátor událostí vznikajících v přístupových systémech Hladká 77 422422 Lédl Jakub Kunc Michal Jonáš Martin MI Vícedruhová rovnostní logika Křetínský 78 422548 Lehotský Miroslav Minařík Pavel Viteker Jaromír PSK Systém pro sazbu webových formulářů Hladká 79 422468 Leknerová Kristýna Matula Pavel Maška Martin BcAP Tvorba kaligrafického písma Matula 80 421021 Lipčák Peter Přenosil Václav Roth Filip BcAP Ovladač kamery Horák 81 210210 Lobotka Andrej Kalvodová Věra Kuchta Josef INVS Navazování nedovolených kontaktů s dítětem Křetínský 82 410403 Lukačka Miloš Hliněný Petr Obdržálek Jan BcAP Návrh pokročilých teoretických problémů pro účely výuky Křetínský 83 422640 Lupták Dávid Sojka Petr Růžička Michal BcAP Sazba bibliografie dle normy ISO 690 Matula 84 396328 Maceček Miroslav Švenda Petr Stetsko Andriy PSK Využití aplikace Metasploit ve vývojovém procesu Hladká 85 410195 Mačejovský Oliver Rebok Tomáš Rybka Tomáš BcAP Zátěžové testování webových aplikací Hladká 86 410127 Mačor Miroslav Kouřil Daniel Licehammer Slávek BcAP Sada testů pro aplikaci Remsig Hladká 87 410360 Macháč Martin Rebok Tomáš Kuba Martin BcAP Dokumentace národního gridového prostředí MetaCentrum Hladká 88 422715 Malček Štefan Stuchlík Dalibor Eliáš Petr BcAP Map Designer pro aplikaci Frank 2 Hladká 89 422725 Maťko Martin Stanislav Vít Papoušek Jan BcAP Mobilní klient na platformě Android pro aplikaci na učení anatomie Horák 90 422255 Matta Štefan Stetsko Andriy �íha Zdeněk BcAP Testování webových aplikaci podle příručky od OWASP Hladká 91 422567 Mečko Vladimír �íha Zdeněk Šťavová Vlasta PDS Multiplatformní měření rychlosti programu Hladká 92 409817 Milo Tomáš Kumpošt Marek �íha Zdeněk BcAP Rodičovský web filtr pro platformu Windows Hladká 93 422188 Minátová Martina Sojka Petr Líška Martin BcAP Generování vrstevnatých PDF Matula 94 374012 Miškeje Martin Novotný Marián �íha Zdeněk BcAP P Návrh a implementace nástroje pro bezpečnostní audit operačních systémů Microsoft Windows Hladká 95 410181 Mižík Bruno Hladká Eva Bayer Jaroslav BcAP Implementace testů pro dyslektiky na základě jayzka DysX Hladká 96 409827 Moutelík Tomáš �ehák Vojtěch Forejt Vojtěch MI Drawing of PRISM models Křetínský 97 325430 Mozola Marián Troubil Pavel Rus�ák Vít PSK Konfigurace paketového reflektoru za běhu Hladká 98 409832 Mráz Mikuláš Dohnal Vlastislav Batko Michal PSZD Relační databázové systémy a NewSQL Hladká 99 422279 Mrázek Jan Barnat Jiří Jonáš Martin PDS Caching SMT Queries in SymDivine Křetínský 100 410035 Mrázik Oliver Procházka Michal Kuba Martin PSZD Nasazení OAuth2 pro systém Perun Hladká 101 409943 Mrvá� Filip Hladká Eva Bayer Jaroslav BcAP Úprava textových dokumentů pro dyslektiky Hladká 102 392784 Nathans Riva Zezula Pavel Eliáš Petr BcAP Dolování informací z textů na základě nízkorozměrných reprezentací Hladká 103 422774 Nespešný Simon �íha Zdeněk Stetsko Andriy PSZD Podpora protokolu SRP v OS Android Hladká 104 410258 Obert Michal Chmelík Jiří Jarešová Miroslava BcAP Vývoj rehabilitační hry s využitím zařízení Leap Motion Matula 105 422158 Obetko Šimon Bauch Petr Tovar�ák Daniel PSZD Monitorování distribuovaných systémů nástrojem Riemann Křetínský 106 422495 Oravčok Ondrej �íha Zdeněk Brož Milan BcAP Získávání náhodných dat ze senzorů v OS Android Hladká 107 422208 Pačut Oliver Bauch Petr Nálepa Filip BcAP Broker and Filter Log Messages Křetínský 108 422453 Pálenik Jakub Jozef Matula Pavel Kozubek Michal GRA Segmentace exosomů v TEM Matula 109 359817 Páleník Martin �íha Zdeněk Ukrop Martin PSZD Operační systém Qubes Hladká 110 422425 Paulovič Jakub Samuel Jirsík Tomáš Čermák Milan PSK Analýza konektivity chytrých zařízení Hladká 111 421489 Pecuch Tomáš �íha Zdeněk Sýs Marek BcAP Získávání náhodných dat ze senzorů v iOS Hladká 112 422334 Petrovič Filip Filipovič Jiří Křenek Aleš PDS Autotuning OpenCL implementace výpočtu mapy elektrostatického potenciálu Hladká 113 422756 Petýrek Martin Kozlíková Barbora Čejka Jan BcAP 2D herní engine na webové platformě Matula 114 422476 Poklemba Matej Strejček Jan Černá Ivana BcAP Pohodlné vkládání regulárních jazyků do webového formuláře Křetínský 115 410266 Polášek Vojtěch Stetsko Andriy �íha Zdeněk PSK Nástroje pro dynamickou bezpečnostní analýzu webových aplikací Hladká 116 410116 Pospíchal Jan Chmelík Jiří Ferková Zuzana GRA Měření vlivu uživatelského rozhraní na morální rozhodování Matula 117 422462 Přikryl Ondřej Procházka Michal Kouřil Daniel PSZD Integrace RemSig do klientských aplikací Hladká 118 409796 Pudil Jiří Prokeš Josef Másilko Lukáš SOCI Hlasem ovládaná webová aplikace pro komunikaci v reálném čase Horák 119 410395 Půlpán Václav Víšek Jiří Kalčok Lukáš BcAP SOBHA GD Aplikace metod user experience na konkrétní e-shop. Matula 120 385909 Remšíková Romana Hladká Eva Bayer Jaroslav SOCI Testování dopl�ku DysHelper modifikujícího online text podle individuálních potřeb dyslektických uživatelů Hladká 121 422794 Révay Petr Plhák Jaromír Ošlejšek Radek PSK Systém pro správu sportovního klubu karate Horák 122 410361 Rolník Ladislav Grác Marek Švenda Petr BcAP Automatický hráč pro hru poker Horák 123 422196 Románek Michal Gajarský Jakub Obdržálek Jan BcAP Parametrizované algoritmy pro grafy s omezenou modulární šířkou Křetínský 124 409838 Salajková Dita Bártek Luděk Plhák Jaromír SOCI Ontologie sociální role pro potřeby syntézy řeči Hladká 125 422601 Savčinský Michal Ulman Vladimír Svoboda David BcAP Implementace a otestování modelu DNA pro simulace živých buněk Matula 126 410087 Schmidl Tomáš Sojka Petr Kuba Martin BcAP Návrh a implementace RESTových rozhraní Matula 127 422317 Skalický Marek Rambousek Adam Frodl Martin BcAP Nástroj pro zobrazení rozdílu dvou Linux kontejnerů Horák 128 409915 Skýba Ondřej Kuba Martin Křenek Aleš BcAP P Webová aplikace pro astronomické pozorovací deníky Hladká 129 422678 Smik Branislav Švenda Petr Ošťádal Radim BcAP Webové platformy pro správu IoT (Internet of Things) Hladká 130 422437 Staruch Andrej Matěj Zdeněk Mravec Filip BcAP Automatizované zpracování a archivování velkého objemu dat Horák 131 422360 Stričko Jaroslav Čermák Milan Medková Jana BcAP Detekce slovníkových útoků na základě podobnosti Hladká 132 422698 Strnad Milan Svoboda David Škrabálek Jaroslav BcAP Mobilní aplikace sloužící k organizaci fitness aktivit na platformě iOS Matula 133 422522 Struk Šimon Čeleda Pavel Minařík Pavel PSK Monitorování síťových toků protokolu TDS Hladká 134 422580 Styk Martin �íha Zdeněk Brož Milan BcAP Analýza instalačních APK souborů pro OS Android Hladká 135 376267 Sukeník Lukáš Křenek Aleš Pazúriková Jana BcAP Reimplementace výpočtu hrubozrnné simulace peptidů Hladká 136 422171 Szomolányiová Alexandra Lexa Matej Martínek Tomáš BIO Nástroj pro podrobnou anotaci LTR sekvencí v rostlinných retroelementech Horák 137 422220 Šalata Martin Bauch Petr Barnat Jiří PSK Konfigurovatelná konzistence pro distribuované systémy Hladká 138 422624 Šeleng Maroš Rambousek Adam Večeřa Martin BcAP Mobile application for Symphonia.io Horák 139 422365 Ševčík Martin Matěj Zdeněk Elich Martin PSZD Nástroj na analýzu videozáznamů Horák 140 422355 Šindelář Michal Ulman Vladimír Matula Pavel GRA Optické měření srdečního pulsu z krátkého kamerového záznamu Matula 141 374540 Šiška Robert Rambousek Adam Schmidt Marek PSK SOBHA Extrakce multimediálních dat pro úložiště ModeShape Horák 142 422633 Šmíd Martin Baisa Vít Suchomel Vít UMI Textové korpusy ze závěrečných prací Horák 143 422186 Štěbra Václav Pitner Tomáš Pyszko Tomáš BcAP WebRTC Meeting Portal Hladká 144 422237 Štefánik Michal Suchomel Vít Baisa Vít BcAP Nástroj pro odhalování plagiátů v esejích Horák 145 422697 Štefanko Martin Večeřa Martin Grác Marek PSZD Poskytovatelé zasílání zpráv pro platformu mikroslužeb SilverWare Hladká 146 380706 Štromajerová Adéla Baisa Vít Jakubíček Miloš UMI Parallel Corpus from Wikipedia Horák 147 410024 Teršl Adam Bayer Jaroslav Novosad Jiří BcAP Paralelní programování a datové struktury v C++ Hladká 148 422677 Tomášek Jan Pitner Tomáš Kubečka Libor BcAP Cross-platform System for Time Scheduling Hladká 149 396044 Tomčo Michal Bayer Jaroslav Suchomel Šimon PSZD Kvalitativní a kvantitativní podobnost potravin Hladká 150 422536 Trembecký Richard Strejček Jan Štill Vladimír BcAP Portování nástroje Symbiotic na LLVM 3.8 Křetínský 151 422805 Turis Marek Bayer Jaroslav Jakubík Daniel BcAP Nástroj na správu logů Hladká 152 410103 Umlaufová Markéta Sochor Jiří Eichler Zdenek BcAP UX design sociální sítě pro komunitu se zájmem o fitness Matula 153 422802 Vahala Jiří Brázdil Tomáš Popelínský Lubomír PDS Predikce vývoje cen na finančních trzích pomocí hlubokého učení Křetínský 154 410492 Válek Karel Grác Marek Kolman Martin INVS Serializace datových struktur konfigurace datových úložišť Horák 155 410154 Valenta Michal Ulman Vladimír Maška Martin BcAP SOBHA Porovnání výkonnosti počítání konvoluce v knihovnách i3dlibs a OpenCV Matula 156 422718 Válka Tomáš Bühnová Barbora Rosecký Jan BcAP Komplexní zpracování událostí z inteligentních energetických sítí v prostředí Elasticsearch Hladká 157 409886 Valter Maroš Matěj Zdeněk Veškrna Martin PTS Ovládací panel řídící jednotky měřícího zařízení Horák 158 422502 Vaněk Matěj Pelánek Radek �ihák Jiří UMI Detekce skupin uživatelů v datech ze systému Slepé mapy Horák 159 422458 Vašíček Milan Kopeček Ivan Bártek Luděk SOCI Analýza sociální struktury šachové komunity a vytvoření webových stránek šachového oddílu Horák 160 422713 Vaško Matej �íha Zdeněk Švenda Petr BcAP Síťová komunikace aplikace Whatsapp Hladká 161 422680 Velíšek Ondřej Procházka Michal Kuba Martin BcAP Nasazení OAuth 2.0 pro systém Perun Hladká 162 422489 Vilček Michal Plhák Jaromír Kopeček Ivan SOCI Návrh uživatelského rozhraní pro orientační systém budov Horák 163 422167 Wörgötter Martin Baisa Vít Nevěřilová Zuzana UMI Automatická identifikace valenčních rámců ve volném textu Horák 164 422777 Živčic Jozef �íha Zdeněk Šťavová Vlasta PSZD Webové rozhraní k testování náhodnosti Hladká SOBHA - jde pouze k obhajobě P - už má vypracovány posudky GD - umělecká práce