Čí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. 466663 Alfery Vladimír Bühnová Barbora Vaškových Petra SSME Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících Hladká 2. 410320 Ambrozková Petra Furmanová Katarína Byška Jan INS Vizualizace interakcí mezi proteiny Matula 3. 461445 Babčan Gabriel Batko Michal Budíková Petra SSME Informačný systém na evidenciu školení pre vyhradené technické zariadenia Horák 4. 433272 Baláž Šimon Bühnová Barbora Chrápek David AP Advanced video storage and viewer application Hladká 5. 409062 Behrami Patrik Bühnová Barbora Gešvindr David SSME Implementation of a web application Hladká 6. 433807 Benčík Peter Švenda Petr Klinec Dušan BIT APDUFuzzer: blackbox recovery of smartcard API Hladká 7. 422189 Beran Michal Kouřil Daniel Ošlejšek Radek AP Analýza incidentů pomocí metadat ze systémů souborů Hladká 8. 422366 Bertko Michal Ge Mouzhi Rossi Bruno SSME A Comparative Analysis for Big Data Architectures Hladká 9. 396257 Bőhm Marek Barnat Jiří Štill Vladimír SSME SOBHA Recent Approaches to Web Service Implementation Křetínský 10. 422628 Bončo Jaroslav Ráček Jaroslav Cenek Pavel SSME Tvorba špecifikácie nového SW produktu Hladká 11. 422733 Bordovská Linda Ráček Jaroslav Daňa Josef SSME Podpora profesního růstu v IT firmách Hladká 12. 433320 Borzová Silvia Kumpošt Marek Malinka Kamil SSME Webová aplikácia pre správu informácií o zariadeniach Kernun Hladká 13. 433392 Brůža Vojtěch Kozlíková Barbora Byška Jan AP Záznam videosekvencí molekulárních struktur ve virtuální realitě Matula 14. 461428 Brůžek Václav Horák Aleš Rychlý Pavel SSME Automatické hodnocení důvěryhodnosti internetové domény Horák 15. 433364 Břoušek Pavel Procházka Michal Kouřil Daniel BIT Využití vícefaktorové autentizace ve velkých organizacích Hladká 16. 475970 Budai Ondřej Rusňák Vít Burská Karolína AP Vizualizace dat z průběhu kyberbezpečnostních cvičení Matula 17. 395875 Cmarko Martin Rambousek Adam Medveď Marek AP Aplikační rozhraní pro rezervační systém Ticketware Horák 18. 395973 Dušičková Katarína Dočkal Jaroslav Říha Zdeněk PSK "Měření na Cisco směrovačích a L3 přepínačích v oblasti redundance, SLA a sledování objektů" Hladká 19. 422496 Eliáš Richard Přenosil Václav Matěj Zdeněk PSK Rate limiting and traffic shaping Hladká 20. 410335 Figula Denis Walletzký Leonard Ge Mouzhi SSME "Návrh optimalizace řešení organizace IPC (Incident, Problem and Change) managementu po transformaci z distribuované infrastruktury do cloudu" Hladká 21. 459190 Gonashvili Mariami Vykopal Jan Čegan Jakub BITA Knowledge management for incident response teams Hladká 22. 475976 Granec Richard Bühnová Barbora Králíček Tomáš SSME Zber a vizualizácia dát z kokpitu pomocou cloud technológií Hladká 23. 421143 Grůza Ondřej Pitner Tomáš Halmo Peter SSME Analýza a implementace systému správy obsahu pro webový portál státní správy Hladká 24. 422787 Guoth Matúš Rebok Tomáš Tovarňák Daniel AP SOBHA Návrh a implementace datového skladu pro analýzu objemných heterogenních dat Hladká 25. 422606 Guzma Filip Říha Zdeněk Šťavová Vlasta SSME SOBHA Online útoky na APK súbory Hladká 26. 410430 Hanák Dominik Večeřa Martin Rambousek Adam SSME GraphQL as modern access to jBPM process engine Hladká 27. 433311 Harmann Peter Říha Zdeněk Kumpošt Marek AP Distributed Trusted Timestamping Hladká 28. 422578 Heldová Lenka Bühnová Barbora Lukáš Radek SSME Data Consistency in Distributed Systems Hladká 29. 395986 Hlava Jan Říha Zdeněk Šťavová Vlasta AP Nástroj pro optimalizace databáze Hladká 30. 422483 Chodil Miroslav Kučera Antonín Brázdil Tomáš TEI Problém splnitelnosti pro pravděpodobnostní temporální logiky Křetínský 31. 433524 Jakubcová Júlia Lukášová Helena Kozlíková Barbora AP GD Mobilní aplikace rozvíjející kreativní přístupy k fotografování Matula 32. 433794 Janík Dušan Minařík Pavel Čeleda Pavel SSME Reakce na moderní hrozby prostřednictvím metod behaviorální analýzy Hladká 33. 475938 Janíková Silvia Bayer Jaroslav Čižik Matej SSME UX redesign informačného systému Hladká 34. 433804 Jochec Tomáš Ráček Jaroslav Prokeš Josef SSME Aplikace pro správu a prezentaci archeologických nálezů Hladká 35. 475981 Jurdová Natália Walletzký Leonard Kunc Martin SSME Dynamické vytváření reportů Hladká 36. 409748 Kajaba Pavel Ráček Jaroslav Schuma Jan INS Nástroj pro určování autorství v textech Hladká 37. 433820 Kejstová Katarína Ročkai Petr Sýs Marek PDS Model Checking with System Call Traces Hladká 38. 374602 Kiripolský Andrej Lukášová Helena Chmelík Jiří SSME SOBHA Case Study of Design Space Specification for Water Wall Display Matula 39. 433815 Klokočka Mikuláš Strejček Jan Řehák Vojtěch TEI Complementation of TBA Based on Semi-Determinization Křetínský 40. 422690 Köberling Peter Čermák Milan Rusňák Vít SSME Webové rozhraní pro správu záchytů síťového provozu Hladká 41. 421131 Kočiský Martin Batko Michal Dohnal Vlastislav PDS Open source administratívne rozhranie pre Stream Data Platform Horák 42. 410155 Končák David Popelínský Lubomír Šeděnka Zdeňka AP Rozpoznání robotické návštěvnosti na webu a určení socio-demografických parametrů lidských uživatelů Křetínský 43. 464104 Kondakçiu Xhulio Brázdil Tomáš Kozlíková Barbora SSMEA Interactive visualization of deep learning on financial big data Křetínský 44. 357217 Kopecký Tomáš Pitner Tomáš Szabó Tibor SSME Integrace nových vývojářů v prostředí Java Hladká 45. 433793 Korenčik Lukáš Ročkai Petr Chalupa Marek PDS Decompiling Binaries into LLVM IR Using McSema and Dyninst Hladká 46. 433265 Kotol Lukáš Liška Miloš Růžička Jan AP Autentizační a autorizační infrastruktura pro videokonferenční prostředí Hladká 47. 422264 Kováč Peter Pitner Tomáš Halmo Peter AP Rozšírenia DMS platformy Alfresco v riadenia procesov a agend Hladká 48. 475960 Kovařík Tomáš Sojka Petr Smrčka František AP Uživatelské rozhraní webových aplikací laboratoře LEMMA Matula 49. 433328 Král Adam Ševčík Jonáš Tovarňák Daniel AP Generátor aplikačních rozhraní v Go Hladká 50. 448280 Križan Lukáš Šťavová Vlasta Daňa Josef SSME Analýza experimentálních údajů o počítačích a chytrých zařízeních Hladká 51. 448265 Kříž Jakub Liarokapis Fotios Doležal Milan SSME Multi-Fractal Terrain Generation Matula 52. 409800 Křížová Kateřina Pelikán Jaroslav Pitner Tomáš "INU,UM" Vizuální programovací jazyky ve výuce na středních školách Hladká 53. 433499 Kuchár Martin Bayer Jaroslav Pekárková Lucie AP Systém správy dokumentov s možnosťou dlhodobého overenia podpisu Hladká 54. 459195 Kumar Rajesh Matyáš Václav Švenda Petr BITA Geo-spatial data security in distributed environment Hladká 55. 461437 Kušnier Matej Krhovják Jan Švenda Petr BIT Bezpečnostní aspekty technologií VoLTE a VoWiFi Hladká 56. 475941 Kuštanová Xenia Walletzký Leonard Zelený Jaroslav SSME Transformácia Service Management tímu pomocou agilných metód Hladká 57. 433409 Kuťák David Liarokapis Fotios Kerouš Bojan AP Multimodal Virtual Mind Map for Future Workplace Matula 58. 410150 Labuda Dominik Dohnal Vlastislav Plichta Jakub SSME Contract Testing in Heterogeneous Distributed Systems Horák 59. 433670 Lachman František Brož Milan Rambousek Adam POS Modern development workflow for Fedora GNU/Linux distribution Hladká 60. 396415 Liberová Iva Pelánek Radek Effenberger Tomáš AP Analýza studentských řešení úloh v želví grafice Horák 61. 476356 Lilhare Hitesh Švenda Petr Říha Zdeněk BITA SOBHA Distribution portal for applications for cryptographic smartcards Hladká 62. 421021 Lipčák Peter Rossi Bruno Ge Mouzhi AP Big Data Analysis Platform for Smart Grids Datasets Hladká 63. 433279 Lipovčan Radim Šťavová Vlasta Ukrop Martin SSME Používání a získávání kryptoměny Monero z pohledu použitelné bezpečnosti Hladká 64. 374217 Lysý Jerguš Husák Martin Drašar Martin BIT P Obrana sítě přesměrováním útočníka na síťové pasti Hladká 65. 422715 Malček Štefan Rusňák Vít Tovarňák Daniel INS Vizualizačné nástroje pre platformu Security Dashboard Hladká 66. 433634 Masarik Ján Matyáš Václav Říha Zdeněk BIT Automating Bug Bounty Hladká 67. 475950 Mihal Peter Rossi Bruno Chren Stanislav SSME Modelling Smart Grids Operations via Simulations Hladká 68. 374012 Miškeje Martin Dohnal Vlastislav Batko Michal AP Nástroj pre analýzu a návrh databázových indexov Hladká 69. 409832 Mráz Mikuláš Ráček Jaroslav Mühlpachr Libor SSME Monitoring a plánování údržby databázových serverů Hladká 70. 433655 Mudrík Daniel Kozubek Michal Štěpka Karel AP Studium přesnosti měření v mikroskopii pomocí simulací Matula 71. 422726 Murín Stanislav Rudová Hana Horák Aleš AP Scheduling of mobile robots using constraint programming Hladká 72. 475939 Námešný Matúš Horák Aleš Batko Michal UMI Klasifikace pohlaví a věku osob v obrazových datech Horák 73. 475972 Nedelka Roman Daňa Josef Bant Jiří SSME Aplikácia pre elektronické podpisovanie dokumentov Hladká 74. 409963 Novotný Jiří Křenek Aleš Filipovič Jiří AP Implementace dekonvolučních metod pro GC/MS data s vysokým rozlišením Hladká 75. 422158 Obetko Šimon Bühnová Barbora Michálek Juraj PDS Automated Infrastructure Deployment on Public and Private Cloud as a Part of Continuous Integration Process Hladká 76. 433584 Pančík Juraj Baisa Vít Herman Ondřej AP Monitorovanie a analýza propagandy na vybraných webových doménách Horák 77. 422249 Páral Jaroslav Matěj Zdeněk Přenosil Václav EMB Autonomní řízení robota po jednoduché dráze Hladká 78. 475954 Pavelek Miroslav Daňa Josef Ráček Jaroslav SSME Zlepšování procesů projektového řízení v IT společnosti Hladká 79. 410046 Plachtová Daniela Liarokapis Fotios Matula Pavel AP F Sand Simulation for Underwater Virtual Excavation Matula 80. 433705 Pokrývka Filip Hliněný Petr Blumensath Achim TEI Limits of efficient FO model checking of geometric graphs Křetínský 81. 410266 Polášek Vojtěch Brož Milan Švenda Petr BIT Argon2 security margin for disk encryption passwords Hladká 82. 417649 Pšorn Tomáš Kozlíková Barbora Furmanová Katarína GRA Vizualizace dat z magnetické rezonance Matula 83. 433506 Rehuš Patrik Bühnová Barbora Liška Miloš PSK WAN optimization for satellite networking Hladká 84. 409787 Relovský Sven Rebok Tomáš Licehammer Slávek PSK Delegovaná správa firewallu založená na identitách uživatelů Hladká 85. 433643 Richter Tomáš Brandejs Michal Suchomel Šimon AP Návrh a realizace systému podpory výuky MjUNI Hladká 86. 476367 Rubailo Arcadii Igor Dohnal Vlastislav Žák Pavel SSMEA Measuring Bags in Augmented Reality Hladká 87. 391506 Sabaka Martin Rusňák Vít Svoboda Tomáš AP Vizualizácia otvorených dát Junáka - českého skauta Matula 88. 409838 Salajková Dita Ráček Jaroslav Mühlpachr Libor SSME Řízení IT projektů - kurz založený na příkladech Hladká 89. 422601 Savčinský Michal Drašar Martin Jirsík Tomáš AP Využití strojového učení pro tvorbu optimálních útočných strategií Hladká 90. 433390 Sekan Peter Švenda Petr Říha Zdeněk BIT Continuous monitoring of cryptographic libraries using biased RSA keys Hladká 91. 422437 Staruch Andrej Kumpošt Marek Matula Pavel AP F Aplikace pro detekci phishing útoků na základě testování URL Hladká 92. 433419 Stolárik Tomáš Grác Marek Rambousek Adam AP Návrh rozhraní mobilní aplikace pro zoo Horák 93. 461440 Strečanský Peter Rossi Bruno Chren Stanislav SSME Dealing with Software Development Technical Debt Hladká 94. 422698 Strnad Milan Matěj Zdeněk Přenosil Václav SSME Automatizovaný zavlažovací systém Hladká 95. 422522 Struk Šimon Švenda Petr Brož Milan BIT A tool for analysis of supported cryptographic properties of TPM 2.0 chips Hladká 96. 433637 Svetlovská Lenka Stecko Andrij Němec Lukáš BIT Analysis of network 3D printers Hladká 97. 422624 Šeleng Maroš Rossi Bruno Mbarek Bacem AP WiFi Round Trip Time for Indoor Navigation Hladká 98. 433614 Šilhár Miloš Dohnal Vlastislav Antol Matej AP Spoľahlivosť a vysoká dostupnosť servisne orientovaných systémov Horák 99. 410461 Škrovina Martin Obdržálek Jan Jonáš Martin AP Web Application for Construction of Type Derivation Trees Křetínský 100. 395860 Šmerdová Alžběta Walletzký Leonard Šmíd Vladimír SSME Modul pro správu datových schránek Hladká 101. 410135 Šmíd Tomáš Bühnová Barbora Hrouza Jan INS Automatizace procesu vývoje na platformě Xamarin Hladká 102. 433478 Šmijáková Eva Brim Luboš Troják Matej AP Parallel Parameter Synthesis for Hybrid Systems Křetínský 103. 422237 Štefánik Michal Sojka Petr Rambousek Adam UMI Semantic Representation Learning Matula 104. 433479 Štencel David Malinka Kamil Kumpošt Marek PSK Identity provisioning to Masaryk University IT services based on Microsoft environment Hladká 105. 433563 Tirala Peter Pitner Tomáš Halmo Peter SSME Analýza a implementace integrační vrstvy dle Národního standardu pro elektronické systémy spisové služby Hladká 106. 433316 Tomovič Lukáš Strejček Jan Štill Vladimír PDS Slicing of Parallel Programs Křetínský 107. 433749 Tuček Adam Křetínský Mojmír Obdržálek Jan TEI Paritní hry Křetínský 108. 422805 Turis Marek Bayer Jaroslav Novosad Jiří AP Domain-driven design with architectural patterns Hladká 109. 422802 Vahala Jiří Brázdil Tomáš Bošanský Branislav UMI Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes Horák 110. 410154 Valenta Michal Bühnová Barbora Walletzký Leonard AP Mobilní aplikace pro systém ECONIT chytré odpady Hladká 111. 433750 Vančík Marek Husák Martin Vykopal Jan BIT Simulované prostředí pro demonstraci situačního povědomí v kyberbezpečnosti Hladká 112. 433451 Vándor Juraj Sedmidubský Jan Eliáš Petr AP Aplikácia techniky MinHash pre podobnostné vyhľadávanie v 3D pohybových dátach Horák 113. 433455 Vargai Daniel Barnat Jiří Ukrop Martin AP Multiplatformný mobilný klient pre peer-to-peer investovanie na platforme PeerCredit Křetínský 114. 422713 Vaško Matej Barnat Jiří Černá Ivana AP Vývoj mobilnej aplikácie s využitím Android Jetpack komponentov Křetínský 115. 475923 Vidlák Radim Zezula Pavel Sedmidubský Jan AP Reklamy na Webu Horák 116. 433334 Vozárová Viktória Černá Ivana Novotný Petr TEI Motion Planning for the RoFI Platform Křetínský 117. 410074 Vrábel Martin Chren Stanislav Matula Pavel SSME F Graphical User Interface for Modelling of Petri Nets Hladká 118. 357045 Vránová Sandra Horák Aleš Nevěřilová Zuzana AP SOBHA Český diskuzní robot pomocí AIML Horák 119. 410404 Zaoral Peter Daňa Josef Šimková Nikola SSME Formulácia marketingovej stratégie pre startup Hladká SOBHA - jde pouze k obhajobě SZMGR - jde pouze ke státnici F - student akceptuje hodnocení F z obhajoby GD - specializace GD P - má už vypracovány oba posudky "zatím neodevzdal, opakovaná SZZ, řeší Radka"