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

Z Bakalárska práca
Prejsť na: navigácia, hľadanie
(Konkrétne témy)
 
(27 intermediate revisions by the same user not shown)
Riadok 1: Riadok 1:
 +
{{INF}}
 +
 
==Školitelia a okruhy ich tém z Katedry informatiky==
 
==Školitelia a okruhy ich tém z Katedry informatiky==
  
 
[http://new.dcs.fmph.uniba.sk/index.php/Zamestnanci Zoznam všetkých členov katedry a ich kontaktné údaje]
 
[http://new.dcs.fmph.uniba.sk/index.php/Zamestnanci Zoznam všetkých členov katedry a ich kontaktné údaje]
  
 +
* '''Ing. Dušan Bernát, PhD.''' operačné systémy
 
* '''doc. Mgr. Bronislava Brejová, PhD.''' bioinformatika, algoritmy a pravdepodobnostné modely na spracovanie DNA sekvencií (nie je potrebné mať vopred hlbšie znalosti biológie)
 
* '''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 -->
+
* '''Mgr. Askar Gafurov, PhD.''' bioinformatika, štatistika
* '''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  [http://people.ksp.sk/~misof/vyucba-temy.php na osobnej stránke]
+
 
* '''RNDr. Jaroslav Janáček, PhD.''' operačné systémy, informačná bezpečnosť, siete, systémové programovanie
 
* '''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
+
<!-- * '''RNDr. František Kardoš, PhD.''' teória grafov -->
* '''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)
+
* '''Mgr. Peter Kostolányi, PhD.''' 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
 
* '''prof. RNDr. Rastislav Královič, PhD.''' algoritmy
* '''RNDr. Robert Lukoťka, PhD.''' teória grafov, štatistické modely predpovedí v meteorológii/energetike
+
* '''doc. RNDr. Robert Lukoťka, PhD.''' teória grafov, štatistické modely predpovedí v meteorológii/energetike.
* '''doc. RNDr. Edita Mačajová, PhD.''' teória grafov
+
* '''doc. RNDr. Edita Mačajová, PhD.''' teória grafov (rôzne druhy farbení a toky grafoch -- témy môžu byt teoretické alebo aj praktické, t.j. návrh a implementácia algoritmov)
* '''RNDr. Ján Mazák, PhD.''' teória grafov
+
* '''doc. RNDr. Ján Mazák, PhD.''' teória grafov
 
* '''doc. RNDr. Daniel Olejár, PhD.''' informačná bezpečnosť
 
* '''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 [https://micro.dcs.fmph.uniba.sk/dokuwiki/sk:dcs:yp:pending osobnej stránke] (treba sa prihlásiť ako do AIS)
+
* '''RNDr. Richard Ostertág, PhD.''' bezpečnosť zariadení, informačná bezpečnosť, programovacie jazyky, kompilátory, aplikácie pre web a mobilné zariadenia, operačné systémy, Arduino.
 
* '''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. 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
 
* '''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
 
* '''prof. RNDr. Branislav Rovan, PhD.''' formálne jazyky
 
* '''doc. RNDr. Martin Stanek, PhD.''' kryptológia
 
* '''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)
 
* '''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
 
* '''doc. RNDr. Eduard Toman, CSc.''' náhodné grafy
* '''Mgr. Andras Varga''' formálne jazyky, databázy
+
<!-- * '''Mgr. Andras Varga''' formálne jazyky, databázy (kontakt AdaanEtal zavinac gmail.com) -->
  
 
Bývalí členovia katedry
 
Bývalí členovia katedry
* '''Mgr. Michal Kotrbčík, PhD.''' (v Brne) teória grafov, parametrizovaná zložitosť, experimentovanie s algoritmami
+
* '''Mgr. Jaroslav Budiš, PhD.''' aplikácie zamerané na biologické a medínske dáta
* '''Mgr. Jakub Kováč, PhD.''' (v Londýne) vizualizácia algoritmov
+
* '''Mgr. Michal Ferko, PhD.''' grafika, počítačové hry [http://sccg.sk/~mferko/]
* '''RNDr. Tomáš Kulich, PhD.''' programovacie jazyky, implementačné témy, viď konkrétne témy nižšie (kontakt tomas.kulich zavinac gmail.com)
+
* '''RNDr. Jana Katreniaková, PhD.''' vizualizácia dát a algoritmov
 
+
* '''Mgr. Jakub Kováč, PhD.''' vizualizácia algoritmov
==Konkrétne témy==
+
* '''RNDr. Tomáš Kulich, PhD.''' programovacie jazyky, implementačné témy<!--, viď konkrétne témy nižšie--> (kontakt tomas.kulich zavinac gmail.com)
 
+
* '''RNDr. Michal Rjaško, PhD.''' distribuované systémy, kryptológia
* 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==
 
==Školitelia z iných katedier==
Riadok 70: Riadok 39:
 
'''Katedra aplikovanej informatiky'''
 
'''Katedra aplikovanej informatiky'''
 
* [http://dai.fmph.uniba.sk/w?title=People&setlang=sk zoznam členov katedry a kontaktné údaje]
 
* [http://dai.fmph.uniba.sk/w?title=People&setlang=sk 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 počítačovej grafiky v minulosti našich študentov školili napr. RNDr. Zuzana Berger Haladová, PhD.,  RNDr. Zuzana Černeková, PhD., prof. RNDr. Roman Ďurikovič, RNDr. Martin Madaras, PhD., Mgr. Andrej Mihálik, 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 umelej inteligencie a kognitívnej vedy v minulosti našich študentov školili napr. prof. Ing. Igor Farkaš, PhD., RNDr. Kristína Malinovská, PhD., RNDr. Marek Nagy, PhD., Mgr. Pavel Petrovič, PhD., RNDr. Jozef Šiška, PhD., RNDr. Andrej Lúčny, PhD. 
* v oblasti bioinformatiky Mgr. Tomáš Vinař, PhD., Mgr. Vladimír Boža ([http://people.ksp.sk/~usama/#thesis zoznam tém])
+
* v oblasti bioinformatiky Mgr. Tomáš Vinař, PhD., Mgr. Vladimír Boža, PhD. ([http://compbio.fmph.uniba.sk/~usama/ zoznam tém])
* v oblasti programovacích jazykov a meteorológie RNDr. Peter Borovanský, PhD.
+
* v oblasti programovacích jazykov, mobilných aplikácií RNDr. Peter Borovanský, PhD., Ing. František Gyárfáš, PhD.
 +
* v oblasti logiky Mgr. Ján Kľuka, PhD.  
  
'''Katedra algebry, geometrie a didaktiky matematiky'''
+
'''Katedra algebry a geometrie'''
* [http://www.fmph.uniba.sk/index.php?id=154 zoznam členov katedry a kontaktné údaje]
+
* [https://fmph.uniba.sk/pracoviska/katedra-algebry-a-geometrie/ 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 počítačovej grafiky v minulosti našich študentov školili napr. 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.
 
* 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.
+
Môžete skúsiť aj iné katedry, či už didaktické, matematické alebo fyzikálne.

Aktuálna revízia z 13:49, 14. september 2022

Bakalársky seminár INF 2022/23

Nová stránka predmetu je na adrese https://bbrejova.github.io/bcinf/ pre INF a https://bbrejova.github.io/bcdav/ pre DAV a BIN

Školitelia a okruhy ich tém z Katedry informatiky

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

  • Ing. Dušan Bernát, PhD. operačné systémy
  • 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. Askar Gafurov, PhD. bioinformatika, štatistika
  • RNDr. Jaroslav Janáček, PhD. operačné systémy, informačná bezpečnosť, siete, systémové programovanie
  • Mgr. Peter Kostolányi, PhD. 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
  • doc. RNDr. Robert Lukoťka, PhD. teória grafov, štatistické modely predpovedí v meteorológii/energetike.
  • doc. RNDr. Edita Mačajová, PhD. teória grafov (rôzne druhy farbení a toky grafoch -- témy môžu byt teoretické alebo aj praktické, t.j. návrh a implementácia algoritmov)
  • doc. 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í, informačná bezpečnosť, programovacie jazyky, kompilátory, aplikácie pre web a mobilné zariadenia, operačné systémy, Arduino.
  • 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
  • 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. Jaroslav Budiš, PhD. aplikácie zamerané na biologické a medínske dáta
  • Mgr. Michal Ferko, PhD. grafika, počítačové hry [1]
  • RNDr. Jana Katreniaková, PhD. vizualizácia dát a algoritmov
  • Mgr. Jakub Kováč, PhD. vizualizácia algoritmov
  • RNDr. Tomáš Kulich, PhD. programovacie jazyky, implementačné témy (kontakt tomas.kulich zavinac gmail.com)
  • RNDr. Michal Rjaško, PhD. distribuované systémy, kryptológia

Š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. Zuzana Berger Haladová, PhD., RNDr. Zuzana Černeková, PhD., prof. RNDr. Roman Ďurikovič, RNDr. Martin Madaras, PhD., Mgr. Andrej Mihálik, PhD.
  • v oblasti umelej inteligencie a kognitívnej vedy v minulosti našich študentov školili napr. prof. Ing. Igor Farkaš, PhD., RNDr. Kristína Malinovská, PhD., RNDr. Marek Nagy, PhD., Mgr. Pavel Petrovič, PhD., RNDr. Jozef Šiška, PhD., RNDr. Andrej Lúčny, PhD.
  • v oblasti bioinformatiky Mgr. Tomáš Vinař, PhD., Mgr. Vladimír Boža, PhD. (zoznam tém)
  • v oblasti programovacích jazykov, mobilných aplikácií RNDr. Peter Borovanský, PhD., Ing. František Gyárfáš, PhD.
  • v oblasti logiky Mgr. Ján Kľuka, PhD.

Katedra algebry a geometrie

  • zoznam členov katedry a kontaktné údaje
  • v oblasti počítačovej grafiky v minulosti našich študentov školili napr. 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ž didaktické, matematické alebo fyzikálne.