Vedecko/umelecko-pedagogická charakteristika osoby
Meno a priezvisko:
doc. RNDr. Dušan Guller, 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
Guller
I.2 - Meno
Dušan
I.3 - Tituly
doc., RNDr., PhD.
I.4 - Rok narodenia
1971
I.5 - Názov pracoviska
Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave / Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
I.6 - Adresa pracoviska
Mlynská dolina F1 842 48 Bratislava
I.7 - Pracovné zaradenie
Docent
I.8 - E-mailová adresa
guller@fmph.uniba.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/4563
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
Aplikovaná informatika
I.11 - ORCID iD
0000-0002-6854-240X

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
Matematicko fyzikálna fakulta, Univerzity Komenského
II.b - Rok
1994
II.c - Odbor a program
Informatika
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie
Matematicko fyzikálna fakulta, Univerzity Komenského / Faculty of Mathematics and Physics, Comenius University
II.b - Rok
2001
II.c - Odbor a program
Informatika
II.4 - Titul docent
II.a - Názov vysokej školy alebo inštitúcie
Matematicko fyzikálna fakulta, Univerzity Komenského / Faculty of Mathematics and Physics, Comenius University
II.b - Rok
2011
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
Asistent, docent Fakulta matematiky, fyziky a informatiky, Univerzita Komenského v Bratislave 1994 – doteraz

IV. - Rozvoj pedagogických, odborných, jazykových, digitálnych a iných zručností

IV.a - Popis aktivity, názov kurzu (ak išlo o kurz), iné IV.b - Názov inštitúcie IV.c - Rok
Angličtina Matematicko fyzikálna fakulta, Univerzity Komenského 1994

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
Expertné systémy Aplikovaná Informatika I Informatika
Výpočtová fuzzy logika, modelovanie a systémy Aplikovaná Informatika II 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 I Informatika
Aplikovaná Informatika II 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ň)
0
V.4.b - Diplomové (druhý stupeň)
2
V.4.c - Dizertačné (tretí stupeň)
1
V.4.2 - Počet obhájených prác
V.4.a - Bakalárske (prvý stupeň)
0
V.4.b - Diplomové (druhý stupeň)
15
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

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
23
VI.1.b - Za posledných šesť rokov
10
VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus
VI.1.a - Celkovo
23
VI.1.b - Za posledných šesť rokov
10
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
29
VI.1.b - Za posledných šesť rokov
11
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
29
VI.1.b - Za posledných šesť rokov
11
VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni
VI.1.a - Celkovo
1
VI.1.b - Za posledných šesť rokov
0
VI.2 - Najvýznamnejšie výstupy tvorivej činnosti
1

Dušan Guller, Automated deduction in Gödel logic, ACM Transactions on Computational Logic. - Roč. 19, č. 3 (2018), s. 1-75, Art. No. 18 2018

2

Dušan Guller, Hyperresolution for Godel logic with truth constants, Fuzzy Sets and Systems. - č. 363 (2019), s. 1-65 2019

3

Dušan Guller, Technical foundations of a DPLL-based SAT solver for propositional Gödel logic, IEEE Transactions on Fuzzy Systems. - Roč. 26, č. 1 (2018), s. 84-100 2018

4

Dušan Guller, On the refutational completeness of signed binary resolution and hyperresolution, Fuzzy

Sets and Systems. - vol. 160, no. 8, (2009), s. 1162-1176 2009

5

Dušan Guller, Binary resolution over complete residuated Stone lattices, Fuzzy Sets and Systems. - vol. 159, no. 9, (2008), s. 1031-1041 2008

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

Dušan Guller, Automated deduction in Gödel logic, ACM Transactions on Computational Logic. - Roč. 19, č. 3 (2018), s. 1-75, Art. No. 18 2018

2

Dušan Guller, Hyperresolution for Godel logic with truth constants, Fuzzy Sets and Systems. - č. 363 (2019), s. 1-65 2019

3

Dušan Guller, Technical foundations of a DPLL-based SAT solver for propositional Gödel logic, IEEE Transactions on Fuzzy Systems. - Roč. 26, č. 1 (2018), s. 84-100 2018

4

Dušan Guller, Expanding Gödel logic with truth constants and the equality, strict order, delta operators, Studies in Computational Intelligence, vol. 669, s. 241-269 2017

5

Dušan Guller, Hyperresolution for propositional product logic with truth constants, Studies in Computational Intelligence, vol. 792, s. 197-220 2019

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

VI.2.4, Borgwardt, S., Peñaloza, R. Xu, Y., Liu, J., He, X., Zhong, X., Chen, S. Non-clausal multi-ary α-generalized resolution calculus for a finite lattice-valued logic (2018) International Journal of Computational Intelligence Systems, 11 (1), pp. 384-401.

2

VI.2.5, Zhong, X., Xu, Y., Liu, J., Chen, S.General form of α-resolution principle for linguistic truth-valued lattice-valued logic(2012) Soft Computing, 16 (10), pp. 1767-1781.

3

VI.2.5, Xu, Y., Liu, J., Zhong, X., Chen, S. Multiary α-resolution principle for a lattice-valued logic (2013) IEEE Transactions on Fuzzy Systems, 21 (5), art. no. 6392247, pp. 898-912.

4

VI.2.5, Xu, Y., Liu, J., Ruan, D., Li, X. Determination of α-resolution in lattice-valued first-order logic LF(X) (2011) Information Sciences, 181 (10), pp. 1836-1862.

5

VI.2.5, Xu, Y., Liu, J., He, X., Zhong, X., Chen, S. Non-clausal multi-ary α-generalized resolution calculus for a finite lattice-valued logic (2018) International Journal of Computational Intelligence Systems, 11 (1), pp. 384-401.

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

Dušan Guller, Fuzzy expertné systémy, VEGA 1/0592/14 (2014-2016), vedúci projektu (pochvalné uznanie za riešenie projektu)

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

IX.a - Ak je to podstatné, uvádzajú sa iné aktivity súvisiace s vysokoškolským vzdelávaním alebo s tvorivou činnosťou

Cena najlepšieho článku pre Dušana Gullera na medzinárodních konferenciach: International Joint Conference on Computational Intelligence (za časť FCTA) v rokoch 2013, 2015, 2016





Dátum poslednej aktualizácie
2022-11-11