Research/art/teacher profile of a person
Name and surname:
doc. RNDr. Dušan Guller, 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
Guller
I.2 - Name
Dušan
I.3 - Degrees
doc., RNDr., PhD.
I.4 - Year of birth
1971
I.5 - Name of the workplace
Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave / Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
I.6 - Address of the workplace
Mlynská dolina F1 842 48 Bratislava
I.7 - Position
Associate Professor
I.8 - E-mail address
guller@fmph.uniba.sk
I.9 - Hyperlink to the entry of a person in the Register of university staff
https://www.portalvs.sk/regzam/detail/4563
I.10 - Name of the study field in which a person works at the university
Applied Informatics
I.11 - ORCID iD
0000-0002-6854-240X

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
Faculty of Mathematics and Physics, Comenius University
II.b - Year
1994
II.c - Study field and programme
Computer Science
II.3 - Third degree of higher education
II.a - Name of the university or institution
Matematicko fyzikálna fakulta, Univerzity Komenského / Faculty of Mathematics and Physics, Comenius University
II.b - Year
2001
II.c - Study field and programme
Computer Science
II.4 - Associate professor
II.a - Name of the university or institution
Matematicko fyzikálna fakulta, Univerzity Komenského / Faculty of Mathematics and Physics, Comenius University
II.b - Year
2011
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
Assistant, associate professor Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava 1994 - present

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

IV.a - Activity description, course name, other IV.b - Name of the institution IV.c - Year
English Faculty of Mathematics and Physics, Comenius University 1994

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
Expert systems Applied Informatics I Computer Science
Computational fuzzy logic, modeling and systems Applied Informatics II 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 I Computer Science
Applied Informatics II 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)
0
V.4.b - Diploma (second degree)
2
V.4.c - Dissertation (third degree)
1
V.4.2 - Number of defended theses
V.4.a - Bachelor's (first degree)
0
V.4.b - Diploma (second degree)
15
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
23
VI.1.b - Over the last six years
10
VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases
VI.1.a - Overall
23
VI.1.b - Over the last six years
10
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
29
VI.1.b - Over the last six years
11
VI.1.4 - Number of citations registered in the Web of Science or Scopus databases
VI.1.a - Overall
29
VI.1.b - Over the last six years
11
VI.1.5 - Number of invited lectures at the international, national level
VI.1.a - Overall
1
VI.1.b - Over the last six years
0
VI.2 - The most significant research/artistic/other outputs
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 - The most significant research/artistic/other outputs over the last six years
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 - The most significant citations corresponding to the research/artistic/other outputs
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 - Participation in conducting (leading) the most important research projects or art projects over the last six years
1

Dušan Guller, Fuzzy Expert Systems, VEGA 1/0592/14 (2014-2016), project leader (commendation for project solution)

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

IX. - Other relevant facts

IX.a - If relevant, other activities related to higher education or research/artistic/other activities are mentioned

Award of the best article for Dušan Guller at international conferences: International Joint Conference on Computational Intelligence (for part of FCTA) in 2013, 2015, 2016

Date of last update
2022-11-11