Vedecko/umelecko-pedagogická charakteristika osoby
Meno:
 prof. RNDr. Miroslav Haviar, CSc.
Email:
 miroslav.haviar@ku.sk
Homepage:
 http://
Fakulta/Univerzita:
PF KU - Pedagogická fakulta Katolíckej univerzity v Ružomberku
Pracovisko:
KMAT - Katedra matematiky

I. - Základné údaje

I.1 - Priezvisko
Haviar
I.2 - Meno
Miroslav
I.3 - Tituly
prof. RNDr., CSc.
I.4 - Rok narodenia
1965
I.5 - Názov pracoviska
Katedra matematiky, Pedagogická fakulta, Katolícka univerzita v Ružomberku
I.6 - Adresa pracoviska
Hrabovská cesta 1A, 034 01 Ružomberok
I.7 - Pracovné zaradenie
profesor
I.8 - E-mailová adresa
miroslav.haviar@ku.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/5696
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
učiteľstvo a pedagogické vedy
I.11 - ORCID iD
https://orcid.org/0000-0002-9721-152X

II. - Vysokoškolské vzdelanie a ďalší kvalifikačný rast

II.1 - Vysokoškolské vzdelanie prvého stupňa
II.a - Názov vysokej školy alebo inštitúcie II.b - Rok II.c - Odbor a program
Matematicko-fyzikálna fakulta UK v Bratislave 1986 odbor Matematika, program Teoretická kybernetika, matematická informatika a teória systémov
II.2 - Vysokoškolské vzdelanie druhého stupňa
II.a - Názov vysokej školy alebo inštitúcie II.b - Rok II.c - Odbor a program
Matematicko-fyzikálna fakulta UK v Bratislave 1988 odbor Matematika, program Teoretická kybernetika, matematická informatika a teória systémov
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie II.b - Rok II.c - Odbor a program
Matematicko-fyzikálna fakulta UK v Bratislave 1993 odbor Algebra a teória čísel, program Algebraické štruktúry
II.4 - Titul docent
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave, Fakulta matematiky, fyziky a informatiky
II.b - Rok
2002
II.c - Odbor a program
matematika
II.5 - Titul profesor
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave, Fakulta matematiky, fyziky a informatiky
II.b - Rok
2017
II.c - Odbor a program
matematika
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 Univerzita Mateja Bela v Banskej Bystrici, Pedagogická fakulta 01/1993-07/1995
vedecký pracovník Univerzita Mateja Bela v Banskej Bystrici, Pedagogická fakulta 08/1995-12/2002
docent Univerzita Mateja Bela v Banskej Bystrici, Pedagogická fakulta 01/2003-02/2008
docent Univerzita Mateja Bela v Banskej Bystrici, Fakulta prírodných vied 03/2008-02/2018
docent Katolícka univerzita v Ružomberku, Pedagogická fakulta 02/2011-02/2018
profesor Univerzita Mateja Bela v Banskej Bystrici, Fakulta prírodných vied 03/2018 - doteraz
profesor Katolícka univerzita v Ružomberku, Pedagogická fakulta 03/2018 - 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
9-mesačné vedecko-výskumné štipendium University of Oxford, Oxford, Veľká Británia 1993
2-ročné postdoktorálne vedecko-výskumné štipendium La Trobe University, Melbourne, Austrália 1998
2-mesačná čestná pozícia Honorary Associate Fellow Institute for Advanced Study, La Trobe University, Melbourne, Austrália 2004
3-ročná čestná pozícia hosťujúceho profesora University of Johannesburg, Johannesburg, Južná Afrika 2020
3-ročná čestná pozícia hosťujúceho profesora University of Johannesburg, Johannesburg, Južná Afrika 2023

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
Lineárna algebra učiteľstvo matematiky I. učiteľstvo a pedagogické vedy
Algebraické štruktúry a polynomická algebra učiteľstvo matematiky I. učiteľstvo a pedagogické vedy
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ň)
1
V.4.b - Diplomové (druhý stupeň)
1
V.4.c - Dizertačné (tretí stupeň)
0
V.4.2 - Počet obhájených prác
V.4.a - Bakalárske (prvý stupeň)
22
V.4.b - Diplomové (druhý stupeň)
11
V.4.c - Dizertačné (tretí stupeň)
4
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
Algebra 1 Rozširujúce štúdium matematiky iné učiteľstvo a pedagogické vedy
Algebra 2 Rozširujúce štúdium matematiky iné učiteľstvo a pedagogické vedy

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

ADC B.A. Davey, M. Haviar and H.A. Priestley. 1995. The syntax and semantics of entailment in duality theory, Journal of Symbolic Logic 60 (1995), 1087-1114. (Haviar: 33%)

ADC M. Haviar, P. Konôpka and C.B.Wegener. 1997. Finitely generated free modular ortholattices II, International Journal of Theoretical Physics 36 (1997), 2661-2679. (Haviar: 33%)

ADC M. Haviar, P. Konôpka and C.B.Wegener. 1997. Finitely generated free modular ortholattices II, International Journal of Theoretical Physics 36 (1997), 2661-2679. (Haviar: 33%)

AAA Haviar M. and Ivaška M. 2015. Vertex labellings of simple graphs. Research and Exposition in Mathematics, vol. 34 (eds. Günter Eigenthaler, Martin Goldstern, Karl Heinrich Hofmann), 155 pp. - 1st ed. – Heldermann Verlag, Germany, 2015; ISBN 978-3-88538-234-8. (Haviar: 50%)

ADC Craig A.P.K., Davey B.A. and Haviar M. 2020. Expanding Belnap: dualities for a new class of default bilattices. (Dedicated to the memory of prof. Riečan.) Algebra Universalis 81-50. DOI: https://doi.org/10.1007/s00012-020-00678-2 (Haviar: 33%)

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

ADC Craig A.P.K., Davey B.A. and Haviar M. 2020. Expanding Belnap: dualities for a new class of default bilattices. (Dedicated to the memory of prof. Riečan.) Algebra Universalis (2020), 81:50. DOI: https://doi.org/10.1007/s00012-020-00678-2 (Haviar: 33%)

ACB Haviar M. and Klenovčan P. 2020. Basic Algebra for future teachers. Belianum [2nd ed.], Banská Bystrica, 2020 - xvi, 390 pp. ISBN 978-80-557-1746-3 (Haviar: 50%)

ADC Haviar M. and Ploščica M. 2021. Perfect extensions of de Morgan algebras. 8 pp. In: Algebra Universalis (2021), 82:58. DOI: https://link.springer.com/article/10.1007/s00012-021-00750-5 (Haviar: 50%)

ADM A.P.K. Craig, B.A. Davey and M. Haviar, 2022. Expanding Belnap 2: the dual category in depth. In: Categories and General Algebraic Structures with Applications, Vol. 17, No. 1 (2022), 47-83. Accessible at: https://cgasa.sbu.ac.ir/article_102443_eee83c99c3f1c6a0c84198810233eae9.pdf (Haviar: 33%)

ADC Davey B.A. and Haviar M. 2024. Factor principal congruences and Boolean products in filtral varieties. 23 pp. In: Algebra Universalis (2024) 85:19. DOI: https://doi.org/10.1007/s00012-024-00846-8 (Haviar: 50%)

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

ADC B.A. Davey, M. Haviar and H.A. Priestley, The syntax and semantics of entailment in duality theory, Journal of Symbolic Logic 60 (1995), 1087-1114. Najvýznamnejší ohlas: [o1] 2016 MOORE, Matthew. Naturally dualizable algebras omitting types 1 and 5 have a cube term. In Algebra Universalis. ISSN 0002-5240, 2016, vol. 75, no. 2, pp. 221-230. Registrované: WoS.

ADC M. Haviar, P. Konôpka and C.B.Wegener, Finitely generated free modular ortholattices II, International Journal of Theoretical Physics 36 (1997), 2661-2679. Najvýznamnejší ohlas: [o1] 2005 BERMAN, J. - IDZIAK, P. M. Generative complexity in algebra. In Memoirs of the American Mathematical Society. ISSN 0065-9266, 2005, vol. 175, no. 828, pp. 1-162. Registrované: Scopus.

AAA M. Haviar and M. Ivaška, Vertex labellings of simple graphs, Research and Exposition in Mathematics, vol. 34 (eds. Günter Eigenthaler, Martin Goldstern, Karl Heinrich Hofmann), 155 pp. - 1st ed. – Heldermann Verlag, Germany, 2015; ISBN 978-3-88538-234-8. Najvýznamnejší ohlas: [o1] 2015 BARRIENTOS, Christian - MINION, Sarah. Enumerating families of labeled graphs. In Journal of integer sequences. ISSN 1530-7638, 2015, vol. 18, no. 1, pp. 1-14. Registrované: WoS.

ADC A.P.K. Craig, M.J. Gouveia and M. Haviar, TiRS graphs and TiRS frames: a new setting for duals of canonical extensions, Algebra Universalis 74 (2015), 123-138. Najvýznamnejší ohlas: [o1] 2018 HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94. Registrované: Scopus.

ADC Davey B.A., Haviar M. and Priestley H.A. 2016. Piggyback dualities revisited. Algebra Universalis 76 (2016), 245-285. Najvýznamnejší ohlas: [o1] 2017 CABRER, Leonardo M. - SPADA, Luca. MV-algebras, infinite dimensional polyhedra, and natural dualities. In Archive for mathematical logic. ISSN 0933-5846, 2017, vol. 56, no. 1-2, pp. 21-42. Registrované: Scopus.

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

KEGA 018UMB-4/2018 (01/01/2018-31/12/2020). Názov projektu: Koučovací prístup ako nová forma rozvoja kritického myslenia študentov vo vysokoškolskom vzdelávaní. Pozícia: člen riešiteľského kolektívu.

VEGA 2/0078/20: (01/01/2020-31/12/2023). Názov projektu: Grafové invarianty, symetrie a ohodnotenia. Pozícia: člen riešiteľského kolektívu.

VEGA 1/0152/22: (01/01/2022-31/12/2025). Názov projektu: Usporiadané algebraické štruktúry. Pozícia: člen riešiteľského kolektívu.

VII. - Prehľad aktivít v organizovaní vysokoškolského vzdelávania a tvorivých činností

VII.a - Aktivita, funkcia VII.b - Názov inštitúcie, grémia VII.c - Časové vymedzenia pôsobenia
Člen pracovnej skupiny Akreditačnej komisie pre oblasť výskumu Matematika a štatistika. Akreditačná komisia pri MŠ SR, Bratislava. 2006-2019
Člen komisie VEGA č. 1 pre matematické, počítačové, informatické a fyzikálne vedy. Grantová agentúra VEGA, Bratislava. 2016-2020
Člen redakčnej rady medzinárodného karentovaného časopisu Algebra Universalis. Springer-Verlag, Bazilej. 2008 - doteraz
Editor medzinárodného časopisu Acta Universitatis Matthaei Belii, series Mathematics (pokrytý databázami MathSciNet a Zentralblatt MATH). Univerzita Mateja Bela, Banská Bystrica 2010 - doteraz
Člen Rád kvality UMB a FPV UMB pre prírodné vedy. Univerzita Mateja Bela, Banská Bystrica 2021 - 2024

VIII. - Prehľad zahraničných mobilít a pôsobenia so zameraním na vzdelávanie a tvorivú činnosť v študijnom odbore

VIII.a - Názov inštitúcie VIII.b - Sídlo inštitúcie VIII.c - Obdobie trvania pôsobenia/pobytu (uviesť dátum odkedy dokedy trval pobyt) VIII.d - Mobilitná schéma, pracovný kontrakt, iné (popísať)
University of Oxford Oxford, Veľká Británia 10/1993-06/1994 Soros/Foreign Commonwealth Office Scholarship (9-mesačný štipendijný pobyt)
La Trobe University Melbourne, Austrália 10/1998-10/2000 Postdoctoral Research Fellowship (2-ročný postdoktorálny výskumný štipendijný pobyt)
Institute for Advanced Study, La Trobe University Melbourne, Austrália 10/2004-12/2004 Honorary Associate Fellowship (čestná pozícia, 2-mesačný výskumný pobyt)
University of Johannesburg Johannesburg, Južná Afrika 06/2020-05/2023 Visiting Professorship (čestná pozícia, pre kratšie výskumné pobyty)
University of Johannesburg Johannesburg, Južná Afrika 08/2023-07/2026 Visiting Professorship (čestná pozícia, pre kratšie výskumné pobyty)

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

Hlavný organizátor medzinárodných konferencií 40th, 45th, 50th a 55th Summer Schools on Algebra 2002, 2007, 2012 and 2017.

Dátum poslednej aktualizácie
2026-01-31