Meno a priezvisko:
|
Mgr. Ivor Uhliarik, 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
|
III.a - Zamestnanie-pracovné zaradenie | III.b - Inštitúcia | III.c - Časové vymedzenie |
---|---|---|
odborný asistent | Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave | 2024 – doteraz |
lektor | Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave | 2022 – 2023 |
vedecký pracovník | Jazykovedný ústav Ľudovíta Štúra Slovenskej akadémie vied, v. v. i. | 2015 – doteraz |
programátor a výskumník | ideas2markets s. r. o. | 2012 – 2015 |
V.1.a - Názov profilového predmetu | V.1.b - Študijný program | V.1.c - Stupeň | V.1.d - Študijný odbor |
---|---|---|---|
Programovanie (3) | aplikovaná informatika | 1. | informatika |
Linux pre Používateľov | aplikovaná informatika | 1. | informatika |
Extrémne programovanie | aplikovaná informatika | 2. | informatika |
Uhliarik, I. (2022). Enhancing and Evaluating the Product Fuzzy DPLL Solver. SN COMPUT. SCI. 3, 388
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.
Uhliarik, I. (2019). Foundations of a DPLL-based solver for fuzzy answer set programs. In Studies in Computational Intelligence, 829, pp. 99–117
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
Uhliarik, I. (2022). Enhancing and Evaluating the Product Fuzzy DPLL Solver. SN COMPUT. SCI. 3, 388
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.
Uhliarik, I. (2019). Foundations of a DPLL-based solver for fuzzy answer set programs. In Studies in Computational Intelligence, 829, pp. 99–117
TAILOR – Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization
Horizont 2020 ID 952215; 2020 – 2024
Cieľom projektu TAILOR bolo vybudovanie kapacít na zabezpečenie vedeckých základov pre dôveryhodnú umelú inteligenciu v Európe prostredníctvom rozvoja siete výskumných centier excelentnosti využívajúcich a kombinujúcich učenie, optimalizáciu a uvažovanie. Tieto systémy majú poskytovať deskriptívne, prediktívne a preskriptívne systémy integrujúce prístupy založené na údajoch a znalostiach.
Pozícia: člen riešiteľského kolektívu
ORBIS – Ontologická reprezentácia pre bezpečnosť informačných systémov
APVV-19-0220; 2020 – 2024
Hlavným cieľom projektu bola integrácia moderných znalostných modelov na báze ontológií do oblasti bezpečnosti informačných systémov.
Pozícia: člen riešiteľského kolektívu
DyMAX – Dynamic Malware Analysis by eXplainable AI
APVV-23-0292, 2024 – 2028
Pokračovanie projektu ORBIS.
Pozícia: člen riešiteľského kolektívu
KATO – Knowledge and Trust in Open Agent Environments
VEGA 1/0778/18; 2018 – 2021
Projekt sa zameriaval na multiagentové prostredia, ktoré si vyžadujú aplikačné domény ako ambientná inteligencia, inteligentné prostredia a internet vecí. Sú otvorené, bez centralizovanej autority; heterogénne, s možnými konfliktnými údajmi a znalosťami; a dynamické, so senzorickými informáciami, agentmi a službami meniacimi sa v čase. Projekt sa zameriaval na nové techniky správy znalostí a uvažovania, ktoré tvoria základ rozhodovania agentov a sú potrebné na riešenie heterogenity, uplatňovanie stratégií riešenia konfliktov a spolupráce a zohľadnenie otázok pôvodu, dôvery a bezpečnosti v takýchto multiagentových systémoch.
Pozícia: člen riešiteľského kolektívu
VII.a - Aktivita, funkcia | VII.b - Názov inštitúcie, grémia | VII.c - Časové vymedzenia pôsobenia |
---|---|---|
Člen akvizičnej komisie | Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave | 2024 – doteraz |