|
Email:
|
juraj.sebej@upjs.sk | |
|
Homepage:
|
https://www.upjs.sk/PF/zamestnanec/juraj.sebej | |
|
Fakulta:
|
PF UPJŠ
-
Univerzita Pavla Jozefa Šafárika v Košiciach, Prírodovedecká fakulta
|
|
|
Pracovisko:
|
ÚINF
-
Ústav informatiky
|
|
|
Miestnosť:
|
SJ0O18 | |
|
Telefón:
|
+421 55 234 2434 |
|
Profilové predmety
|
|
Programovanie, algoritmy, zložitosť(ÚINF/PAZ1a/15) - informatika, aplikovaná informatika, analýza dát a umelá inteligencia, matematika
– informatika, chémia- informatika, fyzika – informatika, matematika, bakalársky stupeň štúdia
|
|
Programovanie, algoritmy, zložitosť(ÚINF/PAZ1b/15) - informatika, aplikovaná informatika, analýza dát a umelá inteligencia, matematika
– informatika, chémia- informatika, fyzika – informatika, matematika, bakalársky stupeň štúdia
|
|
ÚINF/AFJ1a/15 - Automaty a formálne jazyky - informatika, aplikovaná informatika, analýza dát a umelá inteligencia, matematika
– informatika, chémia- informatika, fyzika – informatika, matematika, I. stupeň štúdia
|
|
ÚINF/AFJ1b/15 - Automaty a formálne jazyky - informatika, aplikovaná informatika, analýza dát a umelá inteligencia, matematika
– informatika, chémia- informatika, fyzika – informatika, matematika, I.+II. stupeň štúdia
|
|
Vybrané publikácie
|
|
Viliam Geffert, Dominika Palisínová, Juraj Sebej: Binary Coded Unary Regular Languages. Int. J. Found. Comput. Sci. 36(3): 285-319 (2025) |
|
Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Juraj Sebej:On the difference set of two transductions. Theor. Comput. Sci. 1016: 114780 (2024) |
|
Michal Hospodár, Viktor Olejár, Juraj Sebej: Decision Problems for Subregular Classes. CIAA 2024: 180-194 (2024) |
|
Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Sebej: Operational Complexity: NFA-to-DFA Trade-Off. DCFS 2023: 79-93 (2023) |
|
Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej: Zero-Avoiding Transducers, Length Separable Relations, and the Rational Asymmetric Partition Problem. Int. J. Found. Comput. Sci. 32(5): 455-480 (2021) |
|
Vybrané projekty
|
|
Modely automatov: popisná a výpočtová zložitosť APVV-24-0103 |
|
Analysis of Judicial Decisions using Artificial Intelligence APVV-21-0336 |
|
Automata and Formal Languages: Descriptional and Computational Complexity VEGA 2/0096/23 |
|
Medzinárodné mobility a pracovné cesty
|
|
Saint Mary’s University, Saint Mary’s University, 923 Robie Street, Halifax, Nova Scotia, B3H 3C3, Canada, 1.10.2017 - 30.9.2018, post-doctoral fellow
|
