Research/art/teacher profile of a person
Name and surname:
doc. RNDr. Martin Homola, PhD.
Document type:
Research/art/teacher profile of a person
The name of the university:
Comenius University Bratislava
The seat of the university:
Šafárikovo námestie 6, 818 06 Bratislava

I. - Basic information

I.1 - Surname
Homola
I.2 - Name
Martin
I.3 - Degrees
doc. RNDr., PhD.
I.4 - Year of birth
1981
I.5 - Name of the workplace
Department of applied informatics, FMFI UK
I.6 - Address of the workplace
Mlynská dolina, 84248 Bratislava
I.7 - Position
associate professor
I.8 - E-mail address
homola@fmph.uniba.sk
I.9 - Hyperlink to the entry of a person in the Register of university staff
https://www.portalvs.sk/regzam/detail/5402
I.10 - Name of the study field in which a person works at the university
informatics
I.11 - ORCID iD
0000-0001-6384-9771

II. - Higher education and further qualification growth

II.1 - First degree of higher education
II.2 - Second degree of higher education
II.a - Name of the university or institution
Comenius University in Bratislava, Faculty of mathematics physics a informatics
II.b - Year
2004
II.c - Study field and programme
computer science
II.3 - Third degree of higher education
II.a - Name of the university or institution
Comenius University in Bratislava, Faculty of mathematics physics a informatics
II.b - Year
2010
II.c - Study field and programme
computer science
II.4 - Associate professor
II.a - Name of the university or institution
Comenius University in Bratislava, Faculty of mathematics physics a informatics
II.b - Year
2018
II.c - Study field and programme
computer science
II.5 - Professor
II.6 - Doctor of Science (DrSc.)

III. - Current and previous employment

III.a - Occupation-position III.b - Institution III.c - Duration
vice-dean Comenius University in Bratislava, Faculty of mathematics physics a informatics 2019-present
associate professor Comenius University in Bratislava, Faculty of mathematics physics a informatics 2018-present
assistant professor Comenius University in Bratislava, Faculty of mathematics physics a informatics 2012-2018
postdoc Bruno Kessler Foundation, Trento, Italy 2009-2012
researcher (part-time) Comenius University in Bratislava, Faculty of mathematics physics a informatics 2010-2012

IV. - Development of pedagogical, professional, language, digital and other skills

V. - Overview of activities within the teaching career at the university

V.1 - Overview of the profile courses taught in the current academic year according to study programmes
V.1.a - Name of the profile course V.1.b - Study programme V.1.c - Degree V.1.d - Field of study
Databases (1) Applied informatics bachelor computer science
Computer Principles - System Programming Applied informatics bachelor computer science
Computer Principles - Operating Systems Applied informatics bachelor computer science
Logic for Computer Science Applied informatics bachelor computer science
Web technology and methodology Cognitive science, Applied informatics master computer science
Web Applications in Praxis Applied informatics bachelor computer science
Deductive and NoSQL databases Applied informatics bachelor computer science
V.2 - Overview of the responsibility for the delivery, development and quality assurance of the study programme or its part at the university in the current academic year
V.2.a - Name of the study programme V.2.b - Degree V.2.c - Field of study
Applied informatics bachelor computer science
Cognitive science master computer science
V.3 - Overview of the responsibility for the development and quality of the field of habilitation procedure and inaugural procedure in the current academic year
V.4 - Overview of supervised final theses
V.4.1 - Number of currently supervised theses
V.4.a - Bachelor's (first degree)
1
V.4.b - Diploma (second degree)
3
V.4.c - Dissertation (third degree)
4
V.4.2 - Number of defended theses
V.4.a - Bachelor's (first degree)
11
V.4.b - Diploma (second degree)
27
V.4.c - Dissertation (third degree)
0
V.5 - Overview of other courses taught in the current academic year according to study programmes
V.5.a - Name of the course V.5.b - Study programme V.5.c - Degree V.5.d - Field of study
Computational Logic Applied informatics master computer science
Knowledge Representation and Reasoning Applied informatics master computer science
Ontologies and Knowledge Engineering Applied informatics master computer science
International Team-based Research Project Cognitive science master computer science

VI. - Overview of the research/artistic/other outputs

VI.1 - Overview of the research/artistic/other outputs and the corresponding citations
VI.1.1 - Number of the research/artistic/other outputs
VI.1.a - Overall
121
VI.1.b - Over the last six years
29
VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases
VI.1.a - Overall
77
VI.1.b - Over the last six years
22
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
841
VI.1.b - Over the last six years
279
VI.1.4 - Number of citations registered in the Web of Science or Scopus databases
VI.1.a - Overall
370
VI.1.b - Over the last six years
165
VI.1.5 - Number of invited lectures at the international, national level
VI.1.a - Overall
3
VI.1.b - Over the last six years
1
VI.2 - The most significant research/artistic/other outputs
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 - The most significant research/artistic/other outputs over the last six years
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 - The most significant citations corresponding to the research/artistic/other outputs
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 - Participation in conducting (leading) the most important research projects or art projects over the last six years
1

Explainable Malware Analysis (EMA), national project, Recovery and Resilience Plan, project no. 09I05-03-V02-00064 (2025–2026), principal investigator, total funds 998,975 eur

2

Towards Excellent Robotics and Artificial Intelligence at a Slovak university (TERAIS), HORIZON-WIDERA-2021-ACCESS-03 contract no. 101079338 (2022–2025), WP leader, total funding 1,578,793.75 eur

3

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization (TAILOR), H2020-ICT-2019-3 contract no. 952215 (2019–2024), total funding 12,000,000 eur

4

Dynamic Malware Analysis by eXplainable AI, national project, APVV-23-0292, 2024–2028 (partner representative), total funds 167,343 eur

5

Ontological representation for security of information systems, national project APVV-19-0220, 2020–2024 (partner representative); total funds 248,963 eur

VII. - Overview of organizational experience related to higher education and research/artistic/other activities

VIII. - Overview of international mobilities and visits oriented on education and research/artistic/other activities in the given field of study

VIII.a - Name of the institution VIII.b - Address of the institution VIII.c - Duration (indicate the duration of stay) VIII.d - Mobility scheme, employment contract, other (describe)
Universidade Nova de Lisboa Lisabon, Portugalsko 2004 (3 months) EU mobility network CoLogNet
Fondazione Bruno Kessler Trento, Taliansko 2009-2012 (3 years) postdoc

IX. - Other relevant facts

Date of last update
2025-04-01