Školitelia a témy INF

Školitelia a okruhy ich tém z Katedry informatiky

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

Ďalšie témy budeme postupne dopĺňať, ako nám ich školitelia oznámia.

• doc. Mgr. Bronislava Brejová, PhD.: bioinformatika, algoritmy a pravdepodobnostné modely na spracovanie DNA sekvencií (nie je potrebné mať vopred hlbšie znalosti biológie)
• Mgr. Jaroslav Budiš: aplikácie v Jave zamerané na biologické a medínske dáta
• 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. Tomáš Kulich, PhD. programovacie jazyky, implementačné témy
• RNDr. Robert Lukoťka, PhD. teória grafov
• 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. webovské a iné aplikácie
• doc. RNDr. Dana Pardubská, CSc. výpočtové modely (abstraktné - klasické, biologicky motivované, so superturingovskou silou), 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).
• 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. teória grafov
• 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

Konkrétne témy

• Vedúci práce:Mgr. Jaroslav Budiš
• Názov práce: Aplikácia a webová služba na anotáciu variantov
• Popis práce: Genetické varianty sú úzko spojené s prejavmi organizmu, napríklad choroby a vzhľad jedinca. Pri identifikácií kauzálnych variantov, je ale zväčša identifikované veľké množstvo potenciálnych variantov, z ktorých iba malá časť súvisí so skúmaným prejavom. Nutnou časťou analýz je teda ich filtrácia a prioritizácia na základe rôznych atribútov. Projekt Variant Annotation Suite (http://variant-tools.cvtisr.sk) slúži na automatizované získavanie atribútov o variantoch. Jeho nosnou časťou je webová služba Variant Annotation Service, ktorá predstavuje centrálne úložište atribútov. Užívateľ môže získavať atribúty k individuálnym variantom cez webový interface, prípadne hromadne pomcoou aplikácie a plánujeme aj knižnice pre rôzne programovacie jazyky. Projekt má viacero otvorených tém, na ktorých sa dá pracovať. Podľa záujmu sa dá vybrať webová aj klientská časť.
• Požiadavky na študenta: NIE je potrebná žiadna znalosť biológie. Vyžaduje sa iba znalosť Java, a ochota vzdelávať sa v jej rozšíreniach, ako napríklad Eclipse RCP pre klientskú časť a Maven, Spring pre webovú časť.

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Integrácia projektu Tiles (https://github.com/cleandart/tiles) s hotovou implementáciou persistentných dát, profiling a rýchlostná optimalizácia Tiles
• Požiadavky na študenta: Výborný programátor, obstojný architekt

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Naštudovať články o tom, ako efektívne implementovať persistenté dátové štruktúry. Spraviť porovnanie rôznych prístupov, vybrané časti funkcionalít po dohode implementovať.
• Požiadavky na študenta: Výborný programátor, obstojný architekt

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Vyrobiť knižnicu, ktorá by umožňovala písať skripty podobné Shell-ovským v jazyku Clojure.
• Požiadavky na študenta: Výborný programátor, perfekcionista

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Postavenie štatistických ukazovateľov nad (hotovým) programom, ktorý rozpoznáva reč (zadanie bude spresnené)
• Požiadavky na študenta: Výborný programátor, skúsenosti s tvorbou mobilných aplikácií vítané

• Vedúci práce: RNDr. Tomáš Kulich, PhD.
• Popis práce: Implementácia vlastného nápadu; môže sa jednať napr. o začínajúci start-up. Pozor, len po vzájomnej dohode, vyšpecifikovaní a schválení.
• Požiadavky na študenta: Samostatnosť, silné odhodlanie pre vec.

Š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.
• v oblasti programovacích jazykov 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.