Vedecko/umelecko-pedagogická charakteristika osoby
Meno a priezvisko:
RNDr. Peter Kostolányi, PhD.
Typ dokumentu:
Vedecko/umelecko-pedagogická charakteristika osoby
Názov vysokej školy:
Univerzita Komenského v Bratislave
Sídlo vysokej školy:
Šafárikovo námestie 6, 818 06 Bratislava

I. - Základné údaje

I.1 - Priezvisko
Kostolányi
I.2 - Meno
Peter
I.3 - Tituly
RNDr., PhD.
I.4 - Rok narodenia
1990
I.5 - Názov pracoviska
KI FMFI UK
I.6 - Adresa pracoviska
Mlynská dolina, 842 48 Bratislava
I.7 - Pracovné zaradenie
Odborný asistent
I.8 - E-mailová adresa
kostolanyi@fmph.uniba.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/28104
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
18. - informatika
I.11 - ORCID iD
0000-0002-5474-8781

II. - Vysokoškolské vzdelanie a ďalší kvalifikačný rast

II.1 - Vysokoškolské vzdelanie prvého stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
2011
II.c - Odbor a program
18. informatika: informatika
II.2 - Vysokoškolské vzdelanie druhého stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
2013
II.c - Odbor a program
18. informatika: informatika
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
2017
II.c - Odbor a program
18. informatika: informatika
II.4 - Titul docent
II.5 - Titul profesor
II.6 - Titul DrSc.

III. - Súčasné a predchádzajúce zamestnania

III.a - Zamestnanie-pracovné zaradenie III.b - Inštitúcia III.c - Časové vymedzenie
Doktorand Univerzita Komenského v Bratislave 2013 - 2017
Odborný asistent Univerzita Komenského v Bratislave 2017 -

IV. - Rozvoj pedagogických, odborných, jazykových, digitálnych a iných zručností

V. - Prehľad aktivít v rámci pedagogického pôsobenia na vysokej škole

V.1 - Prehľad zabezpečovaných profilových študijných predmetov v aktuálnom akademickom roku podľa študijných programov
V.1.a - Názov profilového predmetu V.1.b - Študijný program V.1.c - Stupeň V.1.d - Študijný odbor
1-INF-166/11 Programovanie (2) v Jave Informatika I. 18. informatika
1-INF-215/14 Formálne jazyky a automaty (1) Informatika I. 18. informatika
2-INF-186/15 Formálne jazyky a automaty (2) Informatika II. 18. informatika
2-INF-275/18 Neštruktúrované rozpravy o štruktúrach: kapitoly z matematiky pre informatikov (1) Informatika II. 18. informatika
2-INF-276/18 Neštruktúrované rozpravy o štruktúrach: kapitoly z matematiky pre informatikov (2) Informatika II. 18. informatika
V.2 - 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
V.3 - Prehľad o zodpovednosti za rozvoj a kvalitu odboru habilitačného konania a inauguračného konania v aktuálnom akademickom roku
V.4 - Prehľad vedených záverečných prác
V.4.1 - Počet aktuálne vedených prác
V.4.a - Bakalárske (prvý stupeň)
1
V.4.b - Diplomové (druhý stupeň)
0
V.4.c - Dizertačné (tretí stupeň)
0
V.4.2 - Počet obhájených prác
V.4.a - Bakalárske (prvý stupeň)
3
V.4.b - Diplomové (druhý stupeň)
2
V.4.c - Dizertačné (tretí stupeň)
0
V.5 - Prehľad zabezpečovaných ostatných študijných predmetov podľa študijných programov v aktuálnom akademickom roku
V.5.a - Názov predmetu V.5.b - Študijný program V.5.c - Stupeň V.5.d - Študijný odbor
2-INF-277/18 Komplexná analýza pre informatikov Informatika II. 18. informatika
2-INF-278/18 Analytická a enumeratívna kombinatorika Informatika II. 18. informatika

VI. - Prehľad výsledkov tvorivej činnosti

VI.1 - Prehľad výstupov tvorivej činnosti a ohlasov na výstupy tvorivej činnosti
VI.1.1 - Počet výstupov tvorivej činnosti
VI.1.a - Celkovo
22
VI.1.b - Za posledných šesť rokov
13
VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus
VI.1.a - Celkovo
17
VI.1.b - Za posledných šesť rokov
11
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
16
VI.1.b - Za posledných šesť rokov
15
VI.1.4 - Počet ohlasov registrovaných v databázach Web of Science alebo Scopus na výstupy tvorivej činnosti
VI.1.a - Celkovo
14
VI.1.b - Za posledných šesť rokov
13
VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni
VI.1.a - Celkovo
2
VI.1.b - Za posledných šesť rokov
2
VI.2 - Najvýznamnejšie výstupy tvorivej činnosti
1

Determinisability of unary weighted automata over the rational numbers / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2021.11.002. – SCIE ; WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 898 (2022), s. 110-131 [tlačená forma] [online]

2

Alternating weighted automata over commutative semirings / Kostolányi, Peter [Autor, 50%] ; Mišún, Filip [Autor, 50%]. – DOI 10.1016/j.tcs.2018.05.003. – WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 740 (2018), s. 1-27 [tlačená forma] [online]

3

Polynomially Ambiguous Unary Weighted Automata over Fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1007/s00224-022-10107-7. – SCIE ; WOS CC ; SCO

In:Theory of Computing Systems [textový dokument (print)] [elektronický dokument] . – New York (USA) : Springer Nature. – ISSN 1432-4350. – ISSN (online) 1433-0490. – Roč. 67, č. 2 (2023), s. 291-309 [tlačená forma] [online]

4

ID: 1204195 | Finitely ambiguous and finitely sequential weighted automata over fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2024.114725. – SCIE ; WOS CC ; SCO ; CCC

In: Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 1012 (2024), art. no. 114725, s. 1-20 [tlačená forma] [online]

5

ID: 1231302 | Weighted automata and logics meet computational complexity / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.ic.2024.105213. – SCIE ; WOS CC ; SCO ; CCC

In: Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – č. 301 (2024), art. no.105213, s. 1-16 [tlačená forma] [online]

VI.3 - Najvýznamnejšie výstupy tvorivej činnosti za ostatných šesť rokov
1

Determinisability of unary weighted automata over the rational numbers / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2021.11.002. – SCIE ; WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 898 (2022), s. 110-131 [tlačená forma] [online]

2

Polynomially Ambiguous Unary Weighted Automata over Fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1007/s00224-022-10107-7. – SCIE ; WOS CC ; SCO

In:Theory of Computing Systems [textový dokument (print)] [elektronický dokument] . – New York (USA) : Springer Nature. – ISSN 1432-4350. – ISSN (online) 1433-0490. – Roč. 67, č. 2 (2023), s. 291-309 [tlačená forma] [online]

3

ID: 1204195 | Finitely ambiguous and finitely sequential weighted automata over fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2024.114725. – SCIE ; WOS CC ; SCO ; CCC

In: Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 1012 (2024), art. no. 114725, s. 1-20 [tlačená forma] [online]

4

ID: 1231302 | Weighted automata and logics meet computational complexity / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.ic.2024.105213. – SCIE ; WOS CC ; SCO ; CCC

In: Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – č. 301 (2024), art. no.105213, s. 1-16 [tlačená forma] [online]

5

Geometrically closed positive varieties of languages / Klíma, Ondřej [Autor, 50%] ; Kostolányi, Peter [Autor, 50%] ; Language and Automata Theory and Applications, 14 [04.03.2020-06.03.2020, Miláno, Taliansko]. – [recenzované]. – DOI 10.1016/j.ic.2021.104709. – SCIE ; WOS CC ; SCO ; CCC

In:Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – suppl. Selected Papers of the 14th International Conference on Language and Automata Theory and Applications : LATA 2020, č. 288 (2022), art. no. 104709, s. 1-17 [tlačená forma] [online]

VI.4 - Najvýznamnejšie ohlasy na výstupy tvorivej činnosti
1

(Web of Science Core Collection:WOS:001036707700010; Conference Proceedings Citation Index - Science:WOS:001036707700010; SCOPUS:2-s2.0-85165983606) 1231375: Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields / Bell, Jason P. [Autor, 50%] ; Smertnig, Daniel [Autor, 50%] ; Logic in Computer Science, 38 [26.06.2023-28.06.2023, Boston, USA]. – DOI 10.1109/LICS56636.2023.10175691. – CPCI-S ; WOS CC ; SCO

In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) [elektronický dokument] / [bez zostavovateľa] [Zostavovateľ, editor]. – 1. vyd. – New York (USA) : Institute of Electrical and Electronics Engineers, 2023. – (IEEE Symposium on Logic in Computer Science, ISSN 1043-6871). – ISBN (elektronické) 979-83-50335-87-3. – ISSN 1043-6871, s. [1-13] [online]

2

(Web of Science Core Collection:WOS:001275042100046; Conference Proceedings Citation Index - Science:WOS:001275042100046; SCOPUS:2-s2.0-85199026480) 1231374: Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata / Jecker, Ismaël [Autor, 33.333%] ; Mazowiecki, Filip [Autor, 33.334%] ; Purser, David [Autor, 33.333%] ; Logic in Computer Science, 39 [08.07.2024-11.07.2024, Talin, Estónsko]. – DOI 10.1145/3661814.3662073. – CPCI-S ; WOS CC ; SCO

In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science [elektronický dokument] / [bez zostavovateľa] [Zostavovateľ, editor]. – 1. vyd. – New York (USA) : Institute of Electrical and Electronics Engineers, 2024. – (IEEE Symposium on Logic in Computer Science, ISSN 1043-6871). – ISBN (elektronické) 979-8-4007-0660-8. – ISSN 1043-6871, [online]

3

(SCOPUS:2-s2.0-85203401341) 1231653: Logical Characterizations of Weighted Complexity Classes / Badia, Guillermo [Autor, 25%] ; Droste, Manfred [Autor, 25%] ; Noguera, Carles [Autor, 25%] ; Paul, Erik [Autor, 25%] ; Mathematical Foundations of Computer Science 2024, 49 [26.08.2024-30.08.2024, Bratislava, Slovensko]. – DOI 10.4230/LIPIcs.MFCS.2024.14. – SCO

In: 49th International Symposium on Mathematical Foundations of Computer Science [elektronický dokument] / Královič, Rastislav [Zostavovateľ, editor] ; Kučera, Antonín [Zostavovateľ, editor]. – [recenzované]. – 1. vyd. – Wadern (Nemecko) : Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2024. – (Leibniz International Proceedings in Informatics, ISSN 1868-8969 ; 306). – ISBN (elektronické) 978-395-977-335-5. – ISSN 1868-8969, [online]

4

(Current Content Connect:CCC:001134090400001; Web of Science Core Collection:WOS:001134090400001; Science Citation Index Expanded:WOS:001134090400001; SCOPUS:2-s2.0-85181265079) 1233735: A nivat theorem for weighted alternating automata over commutative semirings / Grabolle, Gustav [Autor, 100%]. – DOI 10.46298/lmcs-19(4:27)2023. – SCIE ; WOS CC ; SCO ; CCC

In: Logical Methods in Computer Science [elektronický dokument] . – Braunschweig (Nemecko) : Technische Universität Braunschweig. – ISSN (online) 1860-5974. – Roč. 19, č. 4 (2023), art. no. 27 [online]

5

(SCOPUS:2-s2.0-85115880252) 469726: A nivat theorem for weighted alternating automata over commutative semirings / Grabolle, Gustav [Autor, 100%] ; Games, Automata, Logics, and Formal Verification 2021, 12 [20.09.2021-22.09.2021, Padova, Taliansko]. – DOI 10.4204/EPTCS.346.16. – SCO

In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification [elektronický dokument] / Ganty, Pierre [Zostavovateľ, editor] ; Bresolin, Davide [Zostavovateľ, editor]. – [recenzované]. – 346. vyd. – Waterloo (Austrália) : Open Publishing Association, 2021. – (Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; EPTCS 346). – ISSN (online) 2075-2180, s. 241-257 [online]

VI.5 - Účasť na riešení (vedení) najvýznamnejších vedeckých projektov alebo umeleckých projektov za posledných šesť rokov
1

VEGA 1/0601/20

2

VEGA 2/0165/16

VII. - Prehľad aktivít v organizovaní vysokoškolského vzdelávania a tvorivých činností

VIII. - Prehľad zahraničných mobilít a pôsobenia so zameraním na vzdelávanie a tvorivú činnosť v študijnom odbore

IX. - Iné relevantné skutočnosti

Dátum poslednej aktualizácie
2025-01-22