Školitelia a témy INF: Rozdiel medzi revíziami

Verzia zo dňa a času 10:18, 8. október 2015

Š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
• Mgr. Andras Varga formálne jazyky, databázy

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 (kontakt tomas.kulich zavinac gmail.com)

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ú.

• Vedúci práce: Mgr. András Varga
• Computing Distances Between Languages
• Popis práce: The sequences of approximations are monotone sequences of finite approximations for a given language. We shall use such sequences for computing distances between languages. The finite approximations we shall use will be defined by grammars with energy and threshold values. The main goal of this thesis is to find efficient algorithms to generate finite approximation from the given grammar with energy and threshold value. Later the minimal weight maximal matching is computed on a complete bipartite graph, where both partitions are finite approximations, and each edge has a value of the relative edit distance of the two words incident with the given edge. To compute the minimal weight maximal matching we implement a method called Hungarian Method. The implementation language of the aforementioned algorithms will be in JAVA.
• Keywords: Grammar with Energy, Sequences of Approximation, Minimal-Weight Maximal Matching, Context-free Grammars, Hungarian Method
• Jazyk: SK alebo EN podľa dohody

• Vedúci práce: Mgr. András Varga
• Designing a Dimensional Model for Academic Reporting System
• The main goal of this thesis is to design the logical model of a data warehouse for an Academic Reporting System. This system is a collection of well defined star schemas and aggregated tables suited to accommodate pre-defined reports. Proper Foreign Key constraints shall maintain the data-integrity and indices shall be defined to enhance the Query execution time of the system. The IBM InfoSphere Data Architect is used to create the logical model of the system and the physical design is implemented in DB2.
• Keywords: Star schema, Logical Model, Analytic Systems, Dimensional and Fact Tables, Reporting, Data Warehouse, DataBase
• Jazyk: SK alebo EN podľa dohody

Š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 (zoznam tém)
• 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.