I. - Basic information

I.1 - Surname

Komara

I.2 - Name

Ján

I.3 - Degrees

Ing. PhD.

I.4 - Year of birth

1960

I.5 - Name of the workplace

Fakulta matematiky, fyziky a informatiky Univerzity Komenského

I.6 - Address of the workplace

Fakulta matematiky, fyziky a informatiky Univerzity Komenského, Mlynská dolina F1, 842 48 Bratislava

I.7 - Position

Lecturer

I.8 - E-mail address

jan.komara@fmph.uniba.sk

I.9 - Hyperlink to the entry of a person in the Register of university staff

https://www.portalvs.sk/regzam/detail/4612

I.10 - Name of the study field in which a person works at the university

Informatics

I.11 - ORCID iD

0000-0002-4521-4876

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

Fakulta jaderná a fyzikálně inženýrská ČVUT v Prahe

II.b - Year

1986

II.c - Study field and programme

Matematical engineering

II.3 - Third degree of higher education

II.a - Name of the university or institution

Fakulta matematiky, fyziky a informatiky Univerzity Komenského

II.b - Year

2010

II.4 - Associate professor

II.a - Name of the university or institution

Informatics

II.5 - Professor

II.6 - Doctor of Science (DrSc.)

III. - Current and previous employment

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
1-AIN-121 Discrete mathematics (1)	Applied Informatics	I.	Informatics
1-AIN-160 Discrete mathematics (2)	Applied Informatics	I.	Informatics
1-AIN-188 Matematical analysis	Applied Informatics	I.	Informatics
1-AIN-470 Specification and verification of programs	Applied Informatics	I.	Informatics

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)

V.4.b - Diploma (second degree)

V.4.c - Dissertation (third degree)

V.4.2 - Number of defended theses

V.4.a - Bachelor's (first degree)

V.4.b - Diploma (second degree)

V.4.c - Dissertation (third degree)

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
2-AIN-266 Deklarative programming	Applied Informatics	II.	Informatics
2-AIN-285 Symbolic programming and LISP	Applied Informatics	II.	Informatics

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

VI.1.b - Over the last six years

VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases

VI.1.a - Overall

VI.1.b - Over the last six years

VI.1.3 - Number of citations corresponding to the research/artistic/other outputs

VI.1.a - Overall

VI.1.b - Over the last six years

VI.1.4 - Number of citations registered in the Web of Science or Scopus databases

VI.1.a - Overall

VI.1.b - Over the last six years

VI.1.5 - Number of invited lectures at the international, national level

VI.2 - The most significant research/artistic/other outputs

Komara, J. Efficient elimination of Skolem functions in LKʰ. Arch. Math. Logic 61, 503–534 (2022). https://doi.org/10.1007/s00153-021-00798-z

Komara, J. On nested simple recursion. Arch. Math. Logic 50, 617–624 (2011). https://doi.org/10.1007/s00153-011-0236-9

Komara J., Voda P.J. (1999) Theorems of Péter and Parsons in Computer Programming. In: Gottlob G., Grandjean E., Seyr K. (eds) omputer Science Logic. CSL 1998. Lecture Notes in Computer Science, vol 1584. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10703163_15

Komara J., Voda P.J. (1997) On quasitautologies. In: Galmiche D. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1997. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 1227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027417

Komara J., Voda P.J. (1995) Syntactic reduction of predicate tableaux to propositional tableaux. In: Baumgartner P., Hähnle R., Possega J. (eds) Theorem Proving with Analytic Tableaux and Related Methods. TABLEAUX 1995. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59338-1_39

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

Komara, J. Efficient elimination of Skolem functions in LKʰ. Arch. Math. Logic 61, 503–534 (2022). https://doi.org/10.1007/s00153-021-00798-z https://app.crepc.sk/?fn=detailBiblioForm&sid=2B6C9B3B6E03D6F406A30DBAFD

Komara, J. Efficient elimination of Skolem functions in LKh. arXiv.org (2020), Art. No. ArXiv:1909.01697. https://arxiv.org/abs/1909.01697 https://app.crepc.sk/?fn=detailBiblioForm&sid=66C74FF48D413BFF4FDC3EA132

Ján Komara, Paul J. Voda. Extraction of Efficient Programs in IΣ1-arithmetic. arXiv.org (2019), Art. No.ArXiv:1910.00635. https://arxiv.org/abs/1910.00635

VI.4 - The most significant citations corresponding to the research/artistic/other outputs

P. J. Voda and J. Komara. On Herbrand skeletons. Technical report, Institute of Informatics, Faculty of Mathematics and Physics, Comenius University, Bratislava, July 1995. Revised January 1996. Also in: arXiv.org (2019), Art. No. ArXiv:1909.13514. https://arxiv.org/abs/1909.13514. 18 citations.

Komara, J. Efficient elimination of Skolem functions in LKʰ. Arch. Math. Logic 61, 503–534 (2022). https://doi.org/10.1007/s00153-021-00798-z. 1 citation.

Komara, J. On nested simple recursion. Arch. Math. Logic 50, 617–624 (2011). https://doi.org/10.1007/s00153-011-0236-9. 1 citation.

VI.5 - Participation in conducting (leading) the most important research projects or art projects over the last six years

Investigator within the project VEGA 1/0778/18, principal investigator Damas Gruska, 2019-2021.

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

He is a member of the commissions for the state final exams of the bachelor's degree in Applied Informatics.

Name and surname:	Ing. Ján Komara, 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