Vedecko/umelecko-pedagogická charakteristika osoby
Meno a priezvisko:
Mgr. Júlia Pukancová, 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
Pukancová
I.2 - Meno
Júlia
I.3 - Tituly
Mgr., PhD.
I.4 - Rok narodenia
1991
I.5 - Názov pracoviska
Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave
I.6 - Adresa pracoviska
Mlynská dolina F1 842 48 Bratislava
I.7 - Pracovné zaradenie
Odborný asistent
I.8 - E-mailová adresa
julia.pukancova@fmph.uniba.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/29964
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
Informatika
I.11 - ORCID iD
0009-0001-3505-0716

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
Fakulta matematiky, fyziky a informatiky, Univerzita Komenského v Bratislave
II.b - Rok
2012
II.c - Odbor a program
Aplikovaná informatika
II.2 - Vysokoškolské vzdelanie druhého stupňa
II.a - Názov vysokej školy alebo inštitúcie
Fakulta matematiky, fyziky a informatiky, Univerzita Komenského v Bratislave
II.b - Rok
2014
II.c - Odbor a program
Aplikovaná informatika
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie
Fakulta matematiky, fyziky a informatiky, Univerzita Komåenského v Bratislave
II.b - Rok
2018
II.c - Odbor a program
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
Odborný asistent Fakulta matematiky, fyziky a informatiky, Univerzita Komåenského v Bratislave 2018-súčasnosť

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
Logika pre informatikov Aplikovaná Informatika I. Informatika
Ročníkový projekt a úvod do bakalárskej práce Aplikovaná Informatika I. 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ň)
0
V.4.b - Diplomové (druhý stupeň)
1
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ň)
2
V.4.b - Diplomové (druhý stupeň)
4
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
Výpočtová logika Aplikovaná Informatika II. Informatika
Reprezentácia znalostí a inferencia Aplikovaná Informatika II. Informatika
Ontológie a znalostné inžinierstvo Aplikovaná Informatika II. Informatika
Tvorivé písanie Aplikovaná Informatika I. 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
19
VI.1.b - Za posledných šesť rokov
8
VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus
VI.1.a - Celkovo
14
VI.1.b - Za posledných šesť rokov
8
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
124
VI.1.b - Za posledných šesť rokov
81
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
37
VI.1.b - Za posledných šesť rokov
20
VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni
VI.1.a - Celkovo
0
VI.1.b - Za posledných šesť rokov
0
VI.2 - Najvýznamnejšie výstupy tvorivej činnosti
1

Pukancová, J. and Homola, M., 2020. The AAA Abox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522.

2

Pukancová, J. and Homola, M., 2017, July. Tableau-Based ABox Abduction for the ALCHO Description Logic. In Description Logics Workshop 2017.

3

Homola, M., Pukancová, J., Boborová, J. and Balintová, I., 2023, September. Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In European Conference on Logics in Artificial Intelligence (pp. 338-352). Cham: Springer Nature Switzerland.

4

Pukancová, J. and Homola, M., 2018. ABox Abduction for Description Logics: The Case of Multiple Observations. In Description Logics Workshop 2018.

5

Pukancová, J. and Homola, M., 2016, April. Tableau-Based ABox Abduction for Description Logics: Preliminary Report. In Description Logics Workshop 2016.

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

Pukancová, J. and Homola, M., 2020. The AAA Abox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522.

2

Homola, M., Pukancová, J., Boborová, J. and Balintová, I., 2023, September. Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In European Conference on Logics in Artificial Intelligence (pp. 338-352). Cham: Springer Nature Switzerland.

3

Kloc, J., Boborová, J., Homola, M. and Pukancová, J., 2025, September. CATS Solver: The Rise of Hybrid Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland.

4

Boborová, J., Kloc, J., Homola, M. and Pukancová, J., 2025, September. On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland.

5

Homola, M., Pukancová, J., Balintová, I. and Boborová, J., 2022. Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. In Description Logics Workshop 2022.

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

Del-Pinto, W. and Schmidt, R.A., 2019, July. ABox abduction via forgetting in ALC. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 33, No. 01, pp. 2768-2775).

2

Aiguier, M., Atif, J., Bloch, I. and Pérez, R.P., 2018. Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. International Journal of Approximate Reasoning, 102, pp.1-20.

3

Koopmann, P., 2021. Signature-based abduction with fresh individuals and complex concepts for description logics. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI (pp. 1929-1935).

4

Del-Pinto, W. and Schmidt, R.A., 2019, September. Extending forgetting-based abduction using nominals. In International Symposium on Frontiers of Combining Systems (pp. 185-202). Springer, Cham.

5

Del-Pinto, W. and Schmidt, R.A., 2019, September. Extending forgetting-based abduction using nominals. In International Symposium on Frontiers of Combining Systems (pp. 185-202). Springer, Cham.

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

Ontological representation for security of information systems / Ontologická reprezentácia pre bezpečnosť informačných systémov, APVV-19-0220, 2020–2024 (zodpovedný zástupca partnera/partner representative); financovanie / total funds 248,963 eur

2

Knowledge and trust in open agent environments / Znalosti a dôvera v otvoreých agentových systémoch, VEGA 1/0778/18, 2018–2021 (zástupca zodpovedného riešiteľa/ deputy principal investigator); financované / total funds 54,202 eur

3

Explainable Malware Analysis (EMA), národný projekt, Plán Obnovy a Odolnosti 09I05-03-V02-00064 (2025–2026), zodpovedný riešiteľ, celkovo financované 998,975 eur

4

Dynamic Malware Analysis by eXplainable AI, národný projekt, APVV-23-0292, 2024–2028 (zodpovedný za spoluriešiteľskú organizáciu), celkovo financované 167,343 eur

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
2026-02-28