Vedecko/umelecko-pedagogická charakteristika osoby
Meno a priezvisko:
doc. RNDr. Martin Homola, 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
Homola
I.2 - Meno
Martin
I.3 - Tituly
doc. RNDr., PhD.
I.4 - Rok narodenia
1981
I.5 - Názov pracoviska
Kateda aplikovanej informatiky, FMFI UK
I.6 - Adresa pracoviska
Mlynská dolina, 84248 Bratislava
I.7 - Pracovné zaradenie
docent
I.8 - E-mailová adresa
homola@fmph.uniba.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/5402
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
informatika
I.11 - ORCID iD
0000-0001-6384-9771

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

II.1 - Vysokoškolské vzdelanie prvého stupňa
II.2 - Vysokoškolské vzdelanie druhého stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky
II.b - Rok
2004
II.c - Odbor a program
informatika
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky
II.b - Rok
2010
II.c - Odbor a program
informatika
II.4 - Titul docent
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky
II.b - Rok
2018
II.c - Odbor a program
informatika
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
prodekan Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky 2019-súčasnosť
docent Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky 2018-súčasnosť
odborný asistent Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky 2012-2018
postdoc Fondazione Bruno Kessler, Trento, Taliansko 2009-2012
výskumník (čiastočný úväzok) Univerzita Komenského v Bratislave, Fakulta matematiky fyziky a informatiky 2010-2012

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
Databázy (1) Aplikovaná informatika bakalársky informatika
Princípy počítačov – systémové programovanie Aplikovaná informatika bakalársky informatika
Princípy počítačov - operačné systémy Aplikovaná informatika bakalársky informatika
Logika pre informatikov Aplikovaná informatika bakalársky informatika
Webové technológie a metodológie Kognitívna veda, Aplikovaná informatika magisterský informatika
Webové aplikácie v praxi Aplikovaná informatika bakalársky informatika
Deduktívne a NoSQL databázy Aplikovaná informatika bakalársky 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.2.a - Názov študijného programu V.2.b - Stupeň V.2.c - Študijný odbor
Aplikovaná informatika bakalársky informatika
Kognitívna veda magisterský informatika
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ň)
3
V.4.c - Dizertačné (tretí stupeň)
4
V.4.2 - Počet obhájených prác
V.4.a - Bakalárske (prvý stupeň)
11
V.4.b - Diplomové (druhý stupeň)
27
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 magisterský informatika
Reprezentácia znalostí a inferencia Aplikovaná informatika magisterský informatika
Ontológie a znalostné inžinierstvo Aplikovaná informatika magisterský informatika
Medzinárodný tímový výskumný projekt Kognitívna veda magisterský 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
121
VI.1.b - Za posledných šesť rokov
29
VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus
VI.1.a - Celkovo
77
VI.1.b - Za posledných šesť rokov
22
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
841
VI.1.b - Za posledných šesť rokov
279
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
370
VI.1.b - Za posledných šesť rokov
165
VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni
VI.1.a - Celkovo
3
VI.1.b - Za posledných šesť rokov
1
VI.2 - Najvýznamnejšie výstupy tvorivej činnosti
1
ABA – Serafini, L., & Homola, M. (2012). Contextualized knowledge repositories for the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web, 12, 64-87. (A+ 2011: 1.302 – IF, Q1 – JCR; Q1 – SJR, cit. 41)
2
ADC – Homola, M., & Serafini, L. (2010). Augmenting subsumption propagation in distributed description logics. Applied Artificial Intelligence, 24(1-2), 39-76. (A 2009: 0.508 – IF, Q3 – JCR; Q3 – SJR)
3

ADC – Homola, M., Patkos, T., Flouris, G., Frtús, J., Šimko, A., Šefránek, J., Zografistou, D., Baláž, M. (2015). Resolving conflicts in knowledge for ambient intelligence. Knowledge Engineering Review 30(05):455-513. (A 2014: 0.766 – IF, Q4 – JCR; Q3 – SJR)

4
ADC – Knorr, M., Slota, M., Leite, J., & Homola, M. (2014). What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Journal of Logic and Computation, 24(6), 1279-1311. (A+ 2013: 0.504 – IF, Q2 – JCR; Q2 – SJR)
5

AFC – Kubincová, P., Kl'uka, J. and Homola, M. (2016). Expressive description logic with instantiation metamodelling. In Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 569-572). AAAI Press. (A+ CORE A*)

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

V2 – Aird, A., Štefancová, E., All, C., Voida, A., Homola, M., Mattei, N. and Burke, R., 2024, Social Choice for Heterogeneous Fairness in Recommendation. In Proceedings of the 18th ACM Conference on Recommender Systems, pp. 1096-1101, ACM (A+ CORE A)

2

V2 – Homola, M., Pukancová, J., Boborová, J. and Balintová, I. (2023). Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany. Proceedings, LNCS vol. 14281. Springer Nature (A+ CORE A)

3

ADC – Homola, P., et al. (2020). Cosmic-ray extremely distributed observatory. Symmetry, 12(11), p.1835. (A+ 2019: 2.645 – IF, Q2 – JCR; Q2 – SJR)

4

ADM – Pukancová, J. and Homola, M. (2020). The AAA ABox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522. (A 2020: Q3 – SJR)

5

ADM – Homola, M., Kľuka, J., Hozzová, P., Svátek, V. and Vacura, M. (2020). Towards Higher-order OWL. KI-Künstliche Intelligenz, 34(3), pp. 417-421. (A 2020: Q3 – SJR)

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

Hogan, A., Blomqvist, E., Cochez, M., d’Amato, C., Melo, G.D., Gutierrez, C., Kirrane, S., Gayo, J.E.L., Navigli, R., Neumaier, S. and Ngomo, A.C.N., 2021. Knowledge graphs. ACM Computing Surveys (Csur), 54(4), pp.1-37.

2

Eiter, T., Fink, M., Schüller, P. and Weinzierl, A., 2014. Finding explanations of inconsistency in multi-context systems. Artificial Intelligence, 216, pp.233-274.

3

Casini, G., Meyer, T. and Varzinczak, I., 2021, May. Contextual conditional reasoning. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, No. 7, pp. 6254-6261).

4

Koopmann, P., Del-Pinto, W., Tourret, S. and Schmidt, R.A., 2020, July. Signature-based abduction for expressive description logics. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (Vol. 17, No. 1, pp. 592-602).

5

Cardillo, F.A., Debole, F. and Straccia, U., 2024. PN-OWL: A two-stage algorithm to learn fuzzy concept inclusions from OWL 2 ontologies. Fuzzy Sets and Systems, 490, p.109048.

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

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

2

Towards Excellent Robotics and Artificial Intelligence at a Slovak university (TERAIS), HORIZON-WIDERA-2021-ACCESS-03 zmluva číslo. 101079338 (2022–2025), vedúci pracovného balíka, celkovo financované 1,578,793.75 eur

3

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization (TAILOR), H2020-ICT-2019-3 zmluva č. 952215 (2019–2024), celkovo financované 12,000,000 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

5

Ontological representation for security of information systems, národný projekt APVV-19-0220, 2020–2024 (zodpovedný za spoluriešiteľskú organizáciu); celkovo financované 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

VIII.a - Názov inštitúcie VIII.b - Sídlo inštitúcie VIII.c - Obdobie trvania pôsobenia/pobytu (uviesť dátum odkedy dokedy trval pobyt) VIII.d - Mobilitná schéma, pracovný kontrakt, iné (popísať)
Universidade Nova de Lisboa Lisabon, Portugalsko 2004 (3 mesiace) EU mobilitná sieť CoLogNet
Fondazione Bruno Kessler Trento, Taliansko 2009-2012 (3 roky) postdoc

IX. - Iné relevantné skutočnosti

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