Research/art/teacher profile of a person
Name and surname:
Mgr. Ivor Uhliarik, 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
Uhliarik
I.2 - Name
Ivor
I.3 - Degrees
Mgr., PhD.
I.4 - Year of birth
1991
I.5 - Name of the workplace
Department of Applied Informatics
I.6 - Address of the workplace
Katedra aplikovanej informatiky FMFI UK, Mlynská dolina, 842 48 Bratislava, Slovakia
I.7 - Position
assistant professor
I.8 - E-mail address
ivor.uhliarik@uniba.sk
I.9 - Hyperlink to the entry of a person in the Register of university staff
https://www.portalvs.sk/regzam/detail/45766
I.10 - Name of the study field in which a person works at the university
computer science
I.11 - ORCID iD
0000-0002-0495-5467

II. - Higher education and further qualification growth

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

III. - Current and previous employment

III.a - Occupation-position III.b - Institution III.c - Duration
assistant professor Faculty of Mathematics, Physics, and Informatics, Comenius University in Bratislava 2024–present
lector Faculty of Mathematics, Physics, and Informatics, Comenius University in Bratislava 2022–2023
scientific employee Ľ. Štúr Institute of Linguistics, Slovak Academy of Sciences, v. v. i. 2015–present
programmer and researcher ideas2markets s. r. o. 2012–2015

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
Programming (3) applied informatics 1st computer science
Linux for Users applied informatics 1st computer science
Extreme Programming applied informatics 2nd 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.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)
1
V.4.c - Dissertation (third degree)
0
V.4.2 - Number of defended theses
V.4.a - Bachelor's (first degree)
1
V.4.b - Diploma (second degree)
0
V.4.c - Dissertation (third degree)
0
V.5 - Overview of other courses taught in the current academic year according to study programmes

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
7
VI.1.b - Over the last six years
4
VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases
VI.1.a - Overall
4
VI.1.b - Over the last six years
2
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
0
VI.1.b - Over the last six years
0
VI.1.4 - Number of citations registered in the Web of Science or Scopus databases
VI.1.a - Overall
0
VI.1.b - Over the last six years
0
VI.1.5 - Number of invited lectures at the international, national level
VI.1.a - Overall
0
VI.1.b - Over the last six years
0
VI.2 - The most significant research/artistic/other outputs
1

Uhliarik, I. (2022). Enhancing and Evaluating the Product Fuzzy DPLL Solver. SN COMPUT. SCI. 3, 388

2

Uhliarik, I. (2020). The Implementation of a Product Fuzzy DPLL Solver. In Proceedings of the 12th International Joint Conference on Computational Intelligence, pp. 252–263.

3

Uhliarik, I. (2019). Foundations of a DPLL-based solver for fuzzy answer set programs. In Studies in Computational Intelligence, 829, pp. 99–117

4

Uhliarik, I. (2017). Solving Fuzzy Answer Set Programs in Product Logic. In Proceedings of the 9th International Joint Conference on Computational Intelligence, pp. 367-372

VI.3 - The most significant research/artistic/other outputs over the last six years
1

Uhliarik, I. (2022). Enhancing and Evaluating the Product Fuzzy DPLL Solver. SN COMPUT. SCI. 3, 388

2

Uhliarik, I. (2020). The Implementation of a Product Fuzzy DPLL Solver. In Proceedings of the 12th International Joint Conference on Computational Intelligence, pp. 252–263.

3

Uhliarik, I. (2019). Foundations of a DPLL-based solver for fuzzy answer set programs. In Studies in Computational Intelligence, 829, pp. 99–117

VI.4 - The most significant citations corresponding to the research/artistic/other outputs
VI.5 - Participation in conducting (leading) the most important research projects or art projects over the last six years
1

TAILOR – Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

Horizon 2020 ID 952215; 2020 – 2024

The purpose of the EU Project TAILOR is to build the capacity to provide the scientific foundations for Trustworthy AI in Europe by developing a network of research excellence centres leveraging and combining learning, optimisation, and reasoning. These systems are meant to provide descriptive, predictive, and prescriptive systems integrating data-driven and knowledge-based approaches.

Position: member of the scientific staff

https://tailor-network.eu/

2

ORBIS – Ontological Representation for Security of Information Systems

APVV-19-0220; 2020 – 2024

The main goal of the project was to fully integrate modern ontology-based knowledge models into the field of information system security.

Position: member of the scientific staff

3

DyMAX – Dynamic Malware Analysis by eXplainable AI

APVV-23-0292, 2024 – 2028

The continuation of the ORBIS project.

Position: member of the scientific staff

4

KATO – Knowledge and Trust in Open Agent Environments

VEGA 1/0778/18; 2018 – 2021

The project focused on multi-agent environments required by application domains such as Ambient Intelligence (AmI), Smart Environments (SE), Internet of Things (IoT). They are open, with no centralized authority; heterogeneous, with data and knowledge possibly conflicting; and dynamic, with sensor information, agents and services changing in time. The project focused on novel knowledge management and reasoning techniques that form the basis of agents’ decision making, that are needed to deal with heterogeneity, applying conflict resolution, and cooperation strategies, and considering the issues of provenance, trust and security in such multi-agent systems.

Position: member of the scientific staff

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

VII.a - Activity, position VII.b - Name of the institution, board VII.c - Duration
Member of the acquisition committee Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava 2024—present

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

IX. - Other relevant facts

Date of last update
2025-01-02