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ň)
1
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ň)
1
V.4.b - Diplomové (druhý stupeň)
3
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

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
18
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
14
VI.1.b - Za posledných šesť rokov
10
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
37
VI.1.b - Za posledných šesť rokov
20
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

Pukancová, J. and Homola, M., 2015, June. Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. In Description Logics Workshop 2015.

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

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

4

Mrózek, D., Pukancová, J. and Homola, M., 2018. ABox Abduction Solver Exploiting Multiple DL Reasoners. In Description Logics Workshop 2018.

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–2021 (zodpovedný zástupca partnera/partner representative); financovanie / total funds 248,963 eur

2

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