I. - Základné údaje

I.1 - Priezvisko

Komara

I.2 - Meno

Ján

I.3 - Tituly

Ing. PhD.

I.4 - Rok narodenia

1960

I.5 - Názov pracoviska

Fakulta matematiky, fyziky a informatiky Univerzity Komenského

I.6 - Adresa pracoviska

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

I.7 - Pracovné zaradenie

Lektor

I.8 - E-mailová adresa

jan.komara@fmph.uniba.sk

I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl

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

I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole

Informatika

I.11 - ORCID iD

0000-0002-4521-4876

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

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

II.b - Rok

1986

II.c - Odbor a program

Matematické inžinierstvo

II.3 - Vysokoškolské vzdelanie tretieho stupňa

II.a - Názov vysokej školy alebo inštitúcie

Fakulta matematiky, fyziky a informatiky Univerzity Komenského

II.b - Rok

2010

II.c - Odbor a program

Informatika

II.4 - Titul docent

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
Odborný asistent (1991-2024) / Lektor (2025)	Fakulta matematiky, fyziky a informatiky Univerzity Komenského	1991 – doteraz
Výskumný a vývojový pracovník	VÚSEI-AR v Bratislave	1989 - 1990
Odborný pracovník	ÚTK SAV v Bratislave	1986 - 1989

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

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
1-AIN-121 Diskrétna matematika (1)	Aplikovaná informatika	I.	Informatika
1-AIN-160 Diskrétna matematika (2)	Aplikovaná informatika	I.	Informatika
1-AIN-188 Matematická analýza	Aplikovaná informatika	I.	Informatika
1-AIN-470 Špecifikácia a verifikácia programov	Aplikovaná informatika	I.	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.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ň)

V.4.b - Diplomové (druhý stupeň)

V.4.c - Dizertačné (tretí stupeň)

V.4.2 - Počet obhájených prác

V.4.a - Bakalárske (prvý stupeň)

V.4.b - Diplomové (druhý stupeň)

V.4.c - Dizertačné (tretí stupeň)

V.5 - Prehľad zabezpečovaných ostatných študijných predmetov podľa študijných programov v aktuálnom akademickom roku

V.5.a - Názov predmetu	V.5.b - Študijný program	V.5.c - Stupeň	V.5.d - Študijný odbor
2-AIN-285 Symbolické programovanie a LISP	Aplikovaná informatika	II.	Informatika
2-AIN-266 Deklaratívne programovanie	Aplikovaná informatika	II.	Informatika

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

VI.1.b - Za posledných šesť rokov

VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus

VI.1.a - Celkovo

VI.1.b - Za posledných šesť rokov

VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti

VI.1.a - Celkovo

VI.1.b - Za posledných šesť rokov

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

VI.1.b - Za posledných šesť rokov

VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni

VI.2 - Najvýznamnejšie výstupy tvorivej činnosti

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) Computer 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 - Najvýznamnejšie výstupy tvorivej činnosti za ostatných šesť rokov

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 - Najvýznamnejšie ohlasy na výstupy tvorivej činnosti

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 citácií.

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 citácia.

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

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

Riešiteľ v rámci projektu VEGA 1/0778/18, hlavný riešiteľ Damas Gruska, 2019-2021.

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

Je členom komisií pre štátne záverečné skúšky bakalárskeho štúdia Aplikovanej Informatiky.

Meno a priezvisko:	Ing. Ján Komara, 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