|
Email:
|
viliam.geffert@upjs.sk | |
|
Homepage:
|
https://www.upjs.sk/PF/zamestnanec/viliam.geffert | |
|
Fakulta:
|
PF UPJŠ
-
Univerzita Pavla Jozefa Šafárika v Košiciach Prírodovedecká fakulta
|
|
|
Pracovisko:
|
ÚINF
-
Ústav informatiky
|
|
|
Miestnosť:
|
SJ1O83 | |
|
Telefón:
|
+421 55 234 2588 | |
|
ORCID iD:
|
0000-0001-9143-1476 |
|
Prehľad o zodpovednosti za uskutočňovanie,
rozvoj a zabezpečenie kvality študijného programu alebo jeho časti na vysokej škole
v aktuálnom akademickom roku
|
|
Študijný program: Ib – Informatika, študijný odbor: 18. – informatika, bakalársky I. st. stupeň štúdia
|
|
Študijný program: Im – Informatika, študijný odbor: 18. - informatika, magisterský II. st. stupeň štúdia
|
|
Študijný program: BIb - Biológia - informatika, študijný odbor: Medziodborové štúdium, bakalársky I. st. stupeň štúdia
|
|
Študijný program: BImu - Biológia - informatika, študijný odbor: Učiteľské štúdium, magisterský II. st. stupeň štúdia
|
|
Študijný program: ADUIm - Analýza dát a umelá inteligencia, študijný odbor: Medziodborové štúdium, magisterský II. st. stupeň štúdia
|
|
Profilové predmety
|
|
AFJ1a Automaty a formálne jazyky - Ib – Informatika, bakalársky I. st. stupeň štúdia
|
|
AFJ1b Automaty a formálne jazyky II - Ib – Informatika, bakalársky I. st. stupeň štúdia
|
|
VYZ1 Výpočtová zložitosť - Im – Informatika, magisterský II. st. stupeň štúdia
|
|
AFJ1a Automaty a formálne jazyky - BIb - Biológia - informatika, bakalársky I. st. stupeň štúdia
|
|
VYMD Výpočtová zložitosť a modely - Id – informatika, doktoradský III. st. stupeň štúdia
|
|
Prehľad o zodpovednosti za rozvoj
a kvalitu odboru habilitačného konania a inauguračného konania v aktuálnom akademickom
roku
|
|
Názov odboru habilitačného konania a inauguračného konania: Informatika, študijný odbor, ku ktorému je priradený: Informatika
|
|
Vybrané publikácie
|
|
ADC – Z.Bednárová, V.Geffert, K.Reinhardt, A.Yakaryilmaz: New results on the minimum amount of useful space, International Journal of Foundations of Computer Science, World Scientific, 2016, Vol.27, No.2, pp.259-281
|
|
ADC – V.Geffert, Z.Bednárová, C.Mereghetti, B.Palano: Boolean language operations on nondeterministic automata with a pushdown of constant height, Journal of Computer and System Sciences, Elsevier, 2017, Vol.90, pp.99-114
|
|
ADC – Z.Bednárová, V.Geffert: Two double-exponential gaps for automata with a limited pushdown, Information and Computation, Elsevier, 2017, Vol.253, pt.3, pp.381-398
|
|
AFC – V.Geffert, Z.Bednárová, A.Szabari: Input-driven pushdown automata for edit distance neighborhood, Proc. of DLT 2019 (Developments in Language Theory), Lecture Notes in Computer Science 11647, Springer-Verlag, 2019, pp. 113-126
|
|
ADC – V.Geffert: Unary coded PSPACE-complete languages in ASPACE(loglog n), Theory of Computing Systems, Springer-Verlag, 2019, Vol.63, No.4, pp.688-714
|
|
Vybrané projekty
|
|
VEGA 1/0479/12 „Kombinatorické štruktúry a zložitosť algoritmov“, 2012-2014, vedúci projektu
|
|
VEGA 1/0177/21 "Popisná a výpočtová zložitosť automatov a algoritmov", 2021-2023, vedúci projektu. Anotácia: Efektívna reprezentácia jazykov pomocou prekladačov a automatov, ako aj analýza stavovej zložitosti pre alternujúce automaty a kombinované jazykové operácie. Návrh časovo efektívnych algoritmov v oblasti párovacích a alokačných problémov, pre k-cestné vrcholové pokrytie pre špeciálne triedy grafov a ich aplikácie. Decsriptional and Computational Complexity of Automata and Algorithms, pricipal investigator. Project summary: Efficient representation of languages by transducers and automata, as well as state complexity analysis for alternating automata and combined language operations. Design of time-efficient algorithms in the area of matching and resource allocation problems, and for k-path vertex cover for special types of graphs and their applications. |
|
VEGA 1/0142/15 „Kombinatorické štruktúry a zložitosť algoritmov“, 2015-2017, vedúci projektu |
|
VEGA 1/0056/18 „Popisná a výpočtová zložitosť automatov a algoritmov“, 2018-2020, vedúci projektu
|
|
APVV-15-0091 „Efektívne algoritmy, automaty a dátové štruktúry“, 2016-2020, vedúci projektu
|
|
Projekty
|
|
Kombinatorické štruktúry a zložitosť algoritmov, grant VEGA 1/7465/20
|
|
Medzinárodná spolupráca
|
|
- Dipartimento di Scienze dell'Informatione Universitá degli studi di Milano, Italia
- Department of Computing, University of Coppenhagen, Denmark - Turku Centre for Computer Science, Turku, Finland |
