Čí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 469415 Babulík Tomáš Laštovička Martin Velan Petr KB Vyhodnocení kvality dat otevřených skenerů a jejich využití na univerzitě Hladká 2 469166 Bajanová Michaela Večeřa Martin Rambousek Adam SS Modern iOS Platform for Charity Donations Hladká 3 456213 Baltazarovič Peter Pitner Tomáš Kordula Jaroslav SS Recommender systems in Kentico Xperience Hladká 4 469290 Bateľ Jakub Rossi Bruno Šeda Pavel SS Catalogue of Anti-Patterns in Java Enterprise Development Hladká 5 456270 Bennárová Simona Velan Petr Drašar Martin PSK Real-Time Uniflow to Biflow Conversion Hladká 6 433498 Berka Šimon Matyáš Václav Stehlík Martin IB System for monitoring selected security-related aspects of online services Hladká 7 456360 Bernhauser Marek Daubner Lukáš Ruda Miroslav SL Serverless platform within the Kubernetes infrastructure Hladká 8 469275 Bouma Tomáš Batko Michal Peschel Jakub SS Current Big Data needs and trends Horák 9 410316 Brakl Martin Liška Miloš Rebok Tomáš PSK UDP Packet reflector v jazyku P4 pre Tofino Native Architecture Hladká 10 500332 Brázdil Dominik Plhák Jaromír Spurný Josef SL Integrace dat a analýza použitelnosti CRM systému Salesforce v neziskovém prostředí Horák 11 469054 Brilla Dávid Rebok Tomáš Kuba Martin SS Vysoko zabezpečené dátové sklady pre uloženie citlivých heterogénnych dát Hladká 12 469430 Buriánek Tomáš Bouda Jan Reitzner Daniel PPJ Techniky programování kvantových počítačů Hladká 13 491327 Čapek Nicholas Čechák Jaroslav Brázdil Tomáš SUUI Digital document analysis using machine learning methods Horák 14 456183 Čičmanec Bruno Maška Martin Matula Pavel VPH GPU Implementation of Piecewise Affine Mumford-Shah Model Matula 15 445703 Dombajová Anna-Marie Laštovička Martin Husák Martin KB Tool for persistent scanning of network vulnerabilities Hladká 16 456355 Dopjera Norbert Ruda Miroslav Hejtmánek Lukáš SS Implementácia TES API pre Galaxy Pulsar Hladká 17 445392 Doucha Šimon Němec Lukáš Krhovják Jan BIT Detekce aktivity uživatele ze síťového provozu Hladká 18 469235 Dovjak Ján Švábenský Valdemar Dočkalová Burská Karolína SW Vyhodnotenie nástrojov poskytovania spätnej väzby v kyberbezpečnostnom tréningu Hladká 19 456675 Dupkaničová Lucia Maška Martin Kozubek Michal AZO Segmentation and Tracking of Organoids in Brightfield Microscopy Image Data Matula 20 500363 Dvořák Jan Ráček Jaroslav Walletzký Leonard SL Aplikace pro výběr dat hromadné korespondence Hladká 21 500354 Eliášová Barbora Horák Aleš Matula Pavel SUUI F Analýza a predikce herních informací Horák 22 469210 Fedin Filip Daniel Reitzner Daniel Zimborás Zoltán SS Implementations of generalized quantum measurements in current quantum processors with limited resources Hladká 23 456289 Ferenčík Miloš Velan Petr Husák Martin SW Prieskum možností ukladania a analýzy sieťových tokov v úložiskách platformy Google Cloud Hladká 24 456697 Fiedler Adam Obdržálek Jan Beneš Nikola PPJ Deduction in Matching Logic Černá 25 445605 Filakovský Daniel Čeleda Pavel Švábenský Valdemar BIT Praktické školení kyberbezpečnosti pro prostředí platformy jako služby Hladká 26 456264 Fritzová Tatiana Čermák Milan Rusňák Vít SW Vizualizácia pre vzťahovú analýzu sieťovej prevádzky Hladká 27 469302 Galovičová Sandra Dohnal Vlastislav Kňazský Michal PPJ Automatizácia extrakcie informácií z emailov dopravných spoločností Hladká 28 445249 Gazdík Lukáš Minařík Pavel Čeleda Pavel SL Tools for assisted configuration for monitoring and analysis of network traffic Hladká 29 456658 Gorta Samuel Křenek Aleš Brázdil Tomáš PPJ Exponenciálne matematické modely experimentálnych dát MRI Hladká 30 456418 Gryga Lukáš Rossi Bruno Ge Mouzhi SW 3D Concrete Printing (3DCP) Platform Hladká 31 469265 Hala Michal Rychlý Pavel Kovář Vojtěch ZPJ RapCor Support Horák 32 445350 Honěk Martin Roček Aleš Pikl Miroslav VPH Vizualizace a interakce s bodovým mračnem v prostředí virtuální reality Matula 33 468922 Horáček Martin Novotný Petr Brázdil Tomáš SUUI Risk-Aversion in Algorithms for Poker Černá 34 506468 Horniak Matej Matula Pavel Svoboda David ZARD Klasifikácia vrstiev polovodičových čipov v mikroskopu FIB-SEM Matula 35 456285 Horváthová Michaela Ošlejšek Radek Bühnová Barbora SS An integration of automated call center into a SAP system Hladká 36 445285 Hučko Andrej Spurný Josef Matula Pavel SL F Open Source Voice Programming Assistant Hladká 37 456698 Chládek Karel Matula Pavel Byška Jan AZO Measurement and reconstruction of visual texture Matula 38 469253 Chrenšť Roman Tovarňák Daniel Špaček Stanislav IB Detection of Malicious Behavior in Sysmon Audit Events Hladká 39 456597 Chu Yen Nhi Malíková Jana "Rusňák,Pevný" "Vít,Lukáš" GD High Fidelity prototyp aplikace na monitorování expirace potravin Matula 40 456396 Jelínek Tomáš Popovici Vlad Matula Petr SUUI Semantic segmentation of histopathology images Matula 41 506535 Juriga Dominik Kuba Martin Daubner Lukáš PSK Systém pro publikaci a archivaci pozorování proměnných hvězd a exoplanet Hladká 42 456274 Kačenga Martin Holub Petr Liška Miloš SW Server Solution for Large-Scale Digital Pathology AI Methods Horák 43 487572 Kakiš Dávid Batko Michal Peschel Jakub SSME Aplikácia pre predaj a verifikáciu vstupeniek Horák 44 444505 Kalinec Michal Pitner Tomáš Halmo Peter SSME Facilitating optimization of persistence layer in the UAS framework Hladká 45 456452 Katkin Slavomír Matěj Zdeněk Voda Tomáš HW Securing sensitive data in modern IoT devices Hladká 46 506483 Klán Jan Pelikán Jaroslav Bártek Luděk UCISS Odjezdy veřejné dopravy s geolokačními funkcemi pro nositelnou elektroniku Hladká 47 469217 Klimentová Eva Alexiou Panagiotis Bystrý Vojtěch BIO Modelling small-RNA binding using Convolutional Neural Networks Horák 48 506481 Kňazík Matej Bühnová Barbora Potoček Tobiáš SS Paper Plane: OpenAPI Based Mocking Tool Hladká 49 456302 Knetl Petr Rusňák Vít Hynek Jiří SL Vizualizace otevřených geografických dat Hladká 50 506471 Kocinec Patrik Tovarňák Daniel Laštovička Martin KB Classification and Blocking of DGA Domain Names Hladká 51 445442 Kolman Jakub Ošlejšek Radek Sochor Jiří SL Procrustova analýza 3D skenov a ľudských tvárí Matula 52 500377 Konopásková Klára Pelikán Jaroslav Trtík Marek UCISS Výuková aplikace fyziky ve virtuální realitě Hladká 53 506450 Krčmář Ján Alexiou Panagiotis Šimeček Petr SUUI Deep Learning for small RNA mediated targeting Horák 54 445553 Krejčí Dominika Barnat Jiří Pelikán Jaroslav UCISS Analýza metod ověřování znalostí na FI MU Černá 55 469257 Kršák Martin Brandejs Michal Bayer Jaroslav DEV Evidencia priebehu študentských praxí Hladká 56 455499 Kudělková Veronika Pitner Tomáš Halmo Peter SL Zpracování velkých dat ve webových aplikacích Hladká 57 469431 Kuhejda Ondřej Rossi Bruno Chren Stanislav SW Source Code Quality Impact on Pull Requests Acceptance Hladká 58 445455 Kyčerka Richard Rebok Tomáš Batko Michal PSK Orchestration tool for the modular computing subsystem of the ANALYZA platform Hladká 59 456433 Lalíková Kristína Ráček Jaroslav Spurný Josef SW Mobile application for nature trails Hladká 60 506492 Linka Adam Matěj Zdeněk Přenosil Václav PSK Zefektivnění činnosti fotovoltaické elektrárny Hladká 61 469393 Macák Matej Špaček Stanislav Velan Petr SS Adaptive complementing of HTTPS flow volume for web traffic Hladká 62 443295 Makalouš Dan Pelánek Radek Šmerk Pavel SUUI Age-of-Acquisition Ratings for Czech Words Horák 63 456389 Malý Jakub Pitner Tomáš Šůstek Milan SS Hlasový asistent pro smart office Hladká 64 456365 Mička Jakub Byška Jan Trtík Marek VPH Voxel-based fluid simulation in Unity. Matula 65 456149 Micheľová Henrieta Obdržálek Jan Barnat Jiří PPJ Step-by-Step Evaluator of Haskell Expressions Černá 66 506477 Mikula Lukáš Štefánik Michal Suchomel Vít ZARD Think Twice Before You Answer: Mitigating Biases of Question Answering Models Horák 67 456207 Mikušinec Jozef Obdržálek Jan Blumensath Achim PPJ "Well-founded semantics for dependent, recursive record types with type complement" Černá 68 456387 Mlynka Dominik Matěj Zdeněk Přenosil Václav HW IoT device management using Kubernetes Horák 69 456442 Mokroš Michal Rossi Bruno Ge Mouzhi SS User Sessions Clustering and Anomaly Detection Hladká 70 456350 Molčány Márius Kriglstein Simone Kouřil David SS Game Visualization Browser Matula 71 456707 Motal Martin Bühnová Barbora Sedláček Jiří IB Secure Development Life Cycle in Software Development Projects Hladká 72 456528 Mrázek Filip Matula Pavel Trtík Marek AZO Reconstruction of a 3D scene for bin picking Matula 73 445292 Nemčoková Simona Chmelík Jiří Trtík Marek VPH Mobilná hra využívajúca rozšírenú realitu Matula 74 455765 Novák Jakub Strejček Jan Ročkai Petr SS Lazy object initialization support in KLEE Černá 75 468940 Novák Pavel Oujezský Václav Polívka Michal IB Detection of malicious network traffic behavior Hladká 76 456715 Nováková Lucie Holub Petr Brázdil Tomáš ZARD Analýza zdravotních dat bariatrických a diabetických pacientů s využitím AI metod Horák 77 469165 Pagáč Tomáš Kozlíková Barbora Kouřil David PGV Simulating game worlds using cellular automata Matula 78 456556 Papcunová Ivana Spurný Josef Ráček Jaroslav SL Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress Hladká 79 456240 Papčo Rastislav Suchomel Vít Štefánik Michal SUUI Topic Classification for Web Corpora: Method Comparison and Crosslingual Transfer Horák 80 456709 Pastierik Marek Rebok Tomáš Friák Martin SS Aplikácia techník umelej inteligencie pri analýze akustických emisií mechanicky namáhaných materiálov Hladká 81 456162 Pavlík Róbert Spurný Josef Ráček Jaroslav SW Informačný systém pre generovanie reportov a zostáv Hladká 82 456390 Petrek Stanislav Ráček Jaroslav Spurný Josef PSK Digitální naučné stezky Hladká 83 433689 Petrenko Boris Ráček Jaroslav Štefanič Stanislav SS AB Testing Hladká 84 506463 Petrovič Marek Štefánik Michal Sotolář Ondřej ZARD One Bit at a Time: Impact of Quantisation on Neural Machine Translation Matula 85 469299 Phamová Xuan Linh Bühnová Barbora Chren Stanislav SS Generování SDK na základě OpenAPI specifikace Hladká 86 456230 Podhora Martin Švenda Petr Říha Zdeněk SS Forensic profiles of certified cryptographic smartcards Hladká 87 456476 Polanský Ondřej Němec Lukáš Stehlík Martin UCISS Nástroj pro randomizaci síťového provozu Hladká 88 445716 Porteš David Brázdil Tomáš Křenek Aleš GRA Amino acid type prediction problem in biological nuclear magnetic resonance Horák 89 456664 Raček Jakub Sedmidubský Jan Zezula Pavel ZARD Rozpoznanie porúch chôdze pomocou hlbokého učenia Horák 90 456603 Rebro Dominik Arne Rossi Bruno Chren Stanislav PSK Software Metrics for Software Defects Prediction Hladká 91 469240 Rošinec Adrián Antol Matej Ruda Miroslav SS Hybrid cloud -- utilization of public and private clouds in research Horák 92 469068 Ruman Ádám Kouřil Daniel Drašar Martin IB Detection of malicous patterns in SSH programs Hladká 93. 445543 Skovajsa Štěpán Novotný Petr Řehák Vojtěch ZARD Modelling of Infection Risk via Probabilistic Programming 94 469294 Skrášek Adam Růžička Michal Daubner Lukáš IB Sensitive Data in Cloud Environment Hladká 95 469472 Slavík Michal Bühnová Barbora Pavlák Jakub DEV Comparison of messaging technologies in hybrid cloud and edge solutions Hladká 96 456629 Slimák Ondřej Pelikán Jaroslav Macák Martin SS Source Generators in C# Hladká 97 469070 Smeriga Juraj Jirsík Tomáš Rusňák Vít SW Integration of Cisco Global Threat Alert to 3rd Party Product Hladká 98 454828 Sobotka Václav Rudová Hana Woller David SUUI Vehicle routing with transfers Hladká 99 506513 Šabo Martin Dohnal Vlastislav Ráček Jaroslav SS Analysis of a Particular Modeling Practice in Software Engineering Hladká 100 456263 Ševc Branislav Svoboda David Maška Martin SUUI Simulation of Multiple Motile Agents Using Neural Networks Matula 101 447228 Ševčík Jan Chmelík Jiří Kuťák David VPH Simulation of Paraglider in Virtual Reality Matula 102 456424 Šrámková Denisa Čermák Milan Jirsík Tomáš ZARD P Graph-based Anomaly Detection in Network Traffic Hladká 103 456445 Štovčik Matúš Macák Martin Rossi Bruno PSK Process mining methods for detection of malicious computer usage by masquerading traitors Hladká 104 455863 Šufliarsky Adam Kriglstein Simone Ulbrich Pavol VPH Space-Time Cube Visualization for In-Game Data Matula 105 445583 Teuchnerová Vendula Byška Jan Furmanová Katarína GD Úprava barevných schémat pro lidi s poruchami barevného vidění. Matula 106 422611 Tobiáš Pavel Brož Milan Švenda Petr SW FileVault disk encryption in Linux environment Hladká 107 469192 Tomči Andrej Čeleda Pavel Tovarňák Daniel IB Cybersecurity of Manufacturing Execution Systems Hladká 108 459379 Tran Anh Minh Klinec Dušan Sýs Marek IB Theoretical and practical introduction to ZK-SNARKs and ZK-STARKs Hladká 109 500333 Valent Jakub Brázdil Tomáš Novotný Petr VPH Simulating drone automation in agriculture using neural networks Horák 110 500343 Válka Jan Rossi Bruno Chren Stanislav SW Microservices Playground Hladká 111 469268 Valo Patrik Pitner Tomáš Kasl František SS Informačný systém pre správu kyberkvalifikácií Hladká 112 456463 Varga Denis Švenda Petr Krhovják Jan IB CoinJoin protocols and implementations analysis Hladká 113 456338 Volf Lukáš Večeřa Martin Rambousek Adam SW User Friendly Workflow Automations Hladká 114 469348 Zaťovič Daniel Brož Milan Švenda Petr IB Using fuzzing for Linux disk encryption tools Hladká 115 469303 Zbožínková Šárka Walletzký Leonard Nečaský Martin SS Tvorba otevřených formálních norem: případová studie Hladká 116 456706 Zelníček David Chmelík Jiří Trtík Marek VPH Procedurální generování oplocení podél křivek Matula SZMGR - jde pouze ke státnici P - má už vypracovány oba posudky F - student akceptuje hodnocení F z obhajoby Novák Jakub - povoleno odevzdání práce 23. 5.