Školitelia a témy INF

Tieto témy boli určené pre školský rok 2014/15. Na ich aktualizácii pracujeme.

Školitelia a okruhy ich tém z Katedry informatiky

Zoznam všetkých členov katedry a ich kontaktné údaje

• doc. Mgr. Bronislava Brejová, PhD. bioinformatika, algoritmy a pravdepodobnostné modely na spracovanie DNA sekvencií (nie je potrebné mať vopred hlbšie znalosti biológie)
• prof. RNDr. Pavol Ďuriš, CSc. zložitosť
• RNDr. Michal Forišek, PhD. efektívne algoritmy, algoritmy pre ťažké problémy, online algoritmy a poradná zložitosť, formálne jazyky a automaty, výpočtová zložitosť a algoritmické riešenie hier a logických úloh. Detaily k aktuálnym témam na osobnej stránke
• RNDr. Jaroslav Janáček, PhD. operačné systémy, informačná bezpečnosť, siete, systémové programovanie
• RNDr. Jana Katreniaková, PhD. vizualizácia dát a algoritmov, podpora rozvrhovania
• Mgr. Peter Kostolányi formálne jazyky a teória automatov, modely výpočtov a zložitosť, matematické základy informatiky (požiadavky na študenta: matematická gramotnosť, znalosť angličtiny postačujúca na štúdium odbornej literatúry)
• prof. RNDr. Rastislav Královič, PhD. algoritmy
• RNDr. Robert Lukoťka, PhD. teória grafov, štatistické modely predpovedí v meteorológii/energetike
• doc. RNDr. Edita Mačajová, PhD. teória grafov
• RNDr. Ján Mazák, PhD. teória grafov
• doc. RNDr. Daniel Olejár, PhD. informačná bezpečnosť
• RNDr. Richard Ostertág, PhD. bezpečnosť zariadení, programovacie jazyky, kompilátory, aplikácie pre web a mobilné zariadenia, operačné systémy, Arduino. Zoznam aktuálnych tém na osobnej stránke (treba sa prihlásiť ako do AIS)
• doc. RNDr. Dana Pardubská, CSc. výpočtové modely (abstraktné - klasické, biologicky motivované, so superturingovskou silou, s dodatočnou informáciou), zložitosť algoritmov, so zameraním na riešenie ťažkých problémov, zložitosť na abstraktných výpočtových modeloch, formálne jazyky, paralelizmus (prečo sa niektoré problémy dajú efektívne paralelizovať a iné nie), formálna verifikácia (metódy a existujúce nástroje), ACL2 (LISP-like jazyk s podporou dokazovania správnosti), dolné odhady/metódy dolných odhadov
• doc. Mgr. Tomáš Plachetka, Dr. paralelné a distribuované výpočty, databázy, grafika
• RNDr. Michal Rjaško, PhD. distribuované systémy, kryptológia
• prof. RNDr. Branislav Rovan, PhD. formálne jazyky
• doc. RNDr. Martin Stanek, PhD. kryptológia
• prof. RNDr. Martin Škoviera, PhD. rozličné témy z teórie grafov podľa výberu záujemcu (kubické grafy, snarky a ich vlastnosti, realizácia grafov na plochách, hamiltonovské kružnice, atď; práca môže zahŕňať aj výpočty alebo experimentovanie na počítači)
• doc. RNDr. Eduard Toman, CSc. náhodné grafy

Bývalí členovia katedry

• Mgr. Michal Kotrbčík, PhD. (v Brne) teória grafov, parametrizovaná zložitosť, experimentovanie s algoritmami
• Mgr. Jakub Kováč, PhD. (v Londýne) vizualizácia algoritmov
• RNDr. Tomáš Kulich, PhD. programovacie jazyky, implementačné témy, viď konkrétne témy nižšie

Konkrétne témy

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Výroba zaujímavej webovej / mobilnej aplikácie
• Nie som silno zaujatý ohľadom toho, čo bude aplikácia robiť; som silno zaujatý ohľadom použitých techník a prístupov (čo je dobré, ak sa chceš naučiť niečo nové, zlé, ak chceš spraviť prezentačný web vo Wordpress)

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Prehľad nejakej oblasti (podľa vlastného výberu)
• Varovanie: musí sa jednať o zajímavú tému; musí tiež existovať nejaký spôsob, ako pridať k prehľadu pridanú hodnotu. Pokiaľ chceš niečo takéto robiť, je ideálne sa o problematike porozprávať a zistíme, či tadeto "vedie cesta".

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Heuristická detekcia zlého kódu (rozsiahlejšia téma, skôr vhodná na diplomovú prácu)
• Väčšina projektov dnes využíva Git (alebo iný VCS), ktorý okrem aktuálneho stavu projektu uchováva aj celú jeho históriu. Táto história je častokrát cenným zdrojom informácií a umožńuje nájsť potenciálne problémy v dizajne aplikácie (aj s minimálnym vhľadom do konkrétneho programovacieho jazyka)

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Code reusal pri výrobe mobilných aplikácií
• Popis práce: Facebook za posledný rok publikoval dva projekty, ktoré umožňujú tvoriť natívne mobilné aplikácie pre Android a iOS v Javascripte. Facebook vo svojich case-studies tvrdí, že tento spôsob vývoja umožňuje do veľkej miery zbaviť sa duplikácie kódu, ktorý "robí to isté". Tento code-reusal však nie je triviálne dosiahnuť (UI komponenty na obidvoch zariadeniach sa diametrálne líšia). Cieľom práce je navrhnúť sadu best-practices, ako písať tieto aplikácie tak, aby code-reusal bol v čo najväčšej miere možný.

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Analýza ekonomických motivácií ťažiča kryptomien
• Popis práce: Viaceré kryptomeny sa snažia nastaviť ekonomické motivácie ťažičov tak, aby bolo výhodné 'správať sa fér' a podľa dohodnutých protokolov kooperovať s ostatnými (férovými) ťažičmi. Toto sa niektorým kryptomenám nedarí (Peercoin), iným sa to darí, avšak za nemalú cenu (Bitcoin). Cieľom práce je naštudovať, ako fungujú protokoly jednotlivých kryptomien a analyzovať "tradeoffs", ktorých sa jednotlivé meny v snahe nastaviť "zdravé" motivácie dopúšťajú.

Školitelia z iných katedier

V posledných rokoch naši študenti vypracovávali bakalárske práce aj pod vedením kolegov z nasledujúcich katedier.

Katedra aplikovanej informatiky

• zoznam členov katedry a kontaktné údaje
• v oblasti počítačovej grafiky v minulosti našich študentov školili napr. RNDr. Peter Borovský, prof. RNDr. Roman Ďurikovič, Mgr. Martin Samuelčík, PhD.
• v oblasti umelej inteligencie a kognitívnej vedy v minulosti našich študentov školili napr. prof. Ing. Igor Farkaš, PhD., RNDr. Marek Nagy, PhD., RNDr. Jozef Šiška, PhD.
• v oblasti bioinformatiky Mgr. Tomáš Vinař, PhD., Mgr. Vladimír Boža
• v oblasti programovacích jazykov a meteorológie RNDr. Peter Borovanský, PhD.

Katedra algebry, geometrie a didaktiky matematiky

• zoznam členov katedry a kontaktné údaje
• v oblasti počítačovej grafiky v minulosti našich študentov školili napr. RNDr. Jana Běhal Dadová, doc. RNDr. Andrej Ferko, PhD.
• v oblasti teórie grafov a diskrétnej matematiky v minulosti našich študentov školili napr. doc. RNDr. Martin Mačaj, PhD., RNDr. Martin Sleziak, PhD.

Môžete skúsiť aj iné katedry, či už informatické (Katedra základov a didaktiky informatiky), matematické alebo fyzikálne.