Formát pro tisk z prohlížeče, MS-Word, LaTeX, rich LaTeX

Curriculum vitae

Person Identification
  • Mgr. Ondřej Klíma, Ph.D.
    born in 1974 in Brno
    married, 3 children
Workplace
  • Faculty of Science
    Department of Mathematics and Statistics
    Janáčkovo nám. 2a
    662 95 Brno
    Czech Republic
Employment Position
  • Associate professor
Education and Academic Qualifications
  • 2013: Doc., MU Brno; theses: "Classifications of regular languages by equational properties of finite semigroups"
  • 2004: Ph.D. in Algebra; MU Brno; theses: "Unification Modulo Associativity and Idempotency"(supervisor: L. Polák)
  • 1998: Mgr. in Mathematics; MU Brno; theses: "Universal words in groups and semigroups"(supervisor: L. Polák)
Employment Summary
  • 2013-...: Faculty of Science MU, associate professor
  • 2004-2013: Faculty of Science MU, assistant professor
  • 2001-2004: Faculty of Science MU, specialist
Pedagogical Activities
  • Foundations of Mathematics, Algebra, Practising Linear Algebra, Practising Set Theory
Scientific and Research Activities
  • The main area of my interest is semigroup theory and its applications to theoretical computer science, in particular: pseudovarieties, combinatorics on words, unification, automata, formal languages.
Academical Stays
  • 2007-2017 - Universidade do Porto numerous research stays
  • 2005 - Quebec University (two weeks) - research stay
  • 2003 - Universitat Tubingen (one week) - research stay
  • 2003 - University of Turku (one week) - study stay
  • 2002 - McGill University (two weeks) - research stay
  • 2001 - TU Darmstadt (three months) - study stay(Socrates/Erasmus)
  • 2000 - Universidade do Porto (three months) - study stay
  • 1999 - TU Dresden (one week) - study stay
Extrauniversity Activities
  • Member of the Brno Region Committee for Mathematical Olympiad
Appreciation of Science Community
  • 2003: Awarded the annual rector's prize, Masaryk University
  • 1998: Awarded the annual dean's prize, Faculty of Science, Masaryk University
Selected Publications
  • MENESES GUIMARÄES DE ALMEIDA, Jorge Manuel a Ondřej KLÍMA. On the irreducibility of pseudovarieties of semigroups. Journal of Pure and Applied Algebra, AMSTERDAM: North Holland, 2016, roč. 220, č. 4, s. 1517-1524. ISSN 0022-4049. doi:10.1016/j.jpaa.2015.09.015. URL info
  • MENESES GUIMARÄES DE ALMEIDA, Jorge Manuel a Ondřej KLÍMA. Reducibility vs. definability for pseudovarieties of semigroups. International Journal of Algebra and Computation, 2016, roč. 26, č. 7, s. 1483-1495. ISSN 0218-1967. doi:10.1142/S0218196716500648. info
  • ALMEIDA, Jorge, Antonio CANO, Ondřej KLÍMA a Jean-Eric PIN. On fixed points of the lower set operator. International Journal of Algebra and Computation, SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, 2015, roč. 25, 1-2, s. 259-292. ISSN 0218-1967. doi:10.1142/S021819671540010X. info
  • KLÍMA, Ondřej. On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract). In Zoltán Ésik, Zoltán Fülöp. Proceedings AFL 2014. Szeged: EPTCS, 2014. s. 49-54, 6 s. ISSN 2075-2180. doi:10.4204/EPTCS.151.3. URL info
  • KLÍMA, Ondřej a Libor POLÁK. Alternative Automata Characterization of Piecewise Testable Languages. In Marie-Pierre Béal, Olivier Carton. Developments in Language Theory. Berlin Heidelberg: Springer-Verlag, 2013. s. 289-300, 12 s. ISBN 978-3-642-38770-8. doi:10.1007/978-3-642-38771-5_26. info
  • KLÍMA, Ondřej. Identity checking problem for transformation monoids. Semigroup Forum, Springer-Verlag, 2012, roč. 84, č. 3, s. 487-498. ISSN 0037-1912. doi:10.1007/s00233-012-9401-7. info
  • KLÍMA, Ondřej a Libor POLÁK. On Biautomata. RAIRO - Theoretical Informatics and Applications, Francie, 2012, roč. 46, č. 4, s. 573-592. ISSN 0988-3754. doi:10.1051/ita/2012014. info
  • KLÍMA, Ondřej a Galina JIRÁSKOVÁ. Descriptional Complexity of Biautomata. In Martin Kutrib, Nelma Moreira, Rogério Reis. Descriptional Complexity of Formal Systems. Berlin Heidelberg: Springer-Verlag Berlin Heidelberg, 2012. s. 196-208, 13 s. ISBN 978-3-642-31622-7. doi:10.1007/978-3-642-31623-4_15. info
  • KLÍMA, Ondřej a Libor POLÁK. Biautomata for k-Piecewise Testable Languages. In Hsu-Chun Yen, Oscar H. Ibarra. Developments in Language Theory. Berlin Heidelberg: Springer - Verlag, 2012. s. 344-355, 12 s. ISBN 978-3-642-31652-4. doi:10.1007/978-3-642-31653-1_31. info
  • KLÍMA, Ondřej. Piecewise Testable Languages via Combinatorics on Words. Discrete Mathematics, 2011, roč. 311, č. 20, s. 2124-2127. ISSN 0012-365X. doi:10.1016/j.disc.2011.06.013. info
  • KLÍMA, Ondřej, Miroslav KORBELÁŘ a Libor POLÁK. Rewriting in Varieties of Idempotent Semigroups. In Franz Winkler. Algebraic Informatics. Berlin: Springer, 2011. s. 185-200, 16 s. ISBN 978-3-642-21492-9. doi:10.1007/978-3-642-21493-6_12. info
  • KLÍMA, Ondřej a Libor POLÁK. Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups. In Werner Kuich, George Rahonis. Algebraic Foundations in Computer Science. Berlin: Springer, 2011. s. 214-227, 14 s. ISBN 978-3-642-24896-2. doi:10.1007/978-3-642-24897-9_10. info
  • KLÍMA, Ondřej a Libor POLÁK. On Biautomata. In Rudolf Freund, Markus Holzer, Carlo Mereghetti, Friedrich Otto, Beatrice Palano. Non-Classical Models for Automata and Applications. : Austrian Computer Society, 2011. s. 153-164, 12 s. ISBN 978-3-85403-282-3. info
  • KLÍMA, Ondřej a Libor POLÁK. Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy. International Journal of Algebra and Computation, 2011, roč. 21, č. 7, s. 1195-1215. ISSN 0218-1967. doi:10.1142/S021819671100690X. info
  • KLÍMA, Ondřej a Libor POLÁK. On Schützenberger products of semirings. In Gao, Y; Lu, H; Seki, S; Yu, S. Developments in Language Theory. Berlin Heidelberg (Germany): Springer-Verlag, 2010. s. 279-290, 12 s. ISBN 978-3-642-14454-7. info
  • KLÍMA, Ondřej a Jorge ALMEIDA. A counterexample to a conjecture concerning concatenation hierarchies. Information Processing Letters, Elsevier, 2009, roč. 110, č. 1, s. 4 - 7. ISSN 0020-0190. info
  • KLÍMA, Ondřej. Complexity issues of checking identities in finite monoids. Semigroup Forum, Springer-Verlag, 2009, roč. 79, č. 3, s. 435-444. ISSN 0037-1912. info
  • KLÍMA, Ondřej a Libor POLÁK. Polynomial Operators on Classes of Regular Languages. In Algebraic Informatics. Berlin Heidelberg (Germany): Springer-Verlag, 2009. s. 260-277, 18 s. ISBN 978-3-642-03563-0. info
  • KLÍMA, Ondřej. Piecewise Testable Languages via Combinatorics on Words. In Proceedings WORDS 2009. 2009. 6 s. URL info
  • KLÍMA, Ondřej a Libor POLÁK. Literal varieties of languages induced by homomorphisms onto nilpotent groups. In Language and Automata Theory and Applications. Berlin Heidelberg (Germany): Springer-Verlag, 2008. s. 299-310, 12 s. ISBN 978-3-540-88281-7. info
  • KLÍMA, Ondřej a Libor POLÁK. Literally idempotent languages and their varieties - two letter case. In Automata and Formal Languages. Budapest: Computer and Automation research Institute, Hungarian Academy of Science, 2008. s. 220-231, 11 s. ISBN 978-963-311-367-7. info
  • KLÍMA, Ondřej a Libor POLÁK. On varieties of literally idempotent languages. RAIRO - Theoretical Informatics and Applications, Francie, 2008, roč. 42, č. 3, s. 583-598. ISSN 0988-3754. info
  • KLÍMA, Ondřej a Libor POLÁK. On varieties of meet automata. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2008, roč. 407, 1-3, s. 278-289. ISSN 0304-3975. info
  • KLÍMA, Ondřej a Libor POLÁK. Hierarchies of piecewise testable languages. In Developments in Language Theory. Berlin Heidelberg (Germany): Springer-Verlag, 2008. s. 479-490, 12 s. ISBN 978-3-540-85779-2. info
  • KLÍMA, Ondřej, Denis THERIEN a Pascal TESSON. Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups. Theory of Computing Systems, New York: Springer, 2007, roč. 40, č. 3, s. 263-297. ISSN 1432-4350. URL info
  • KLÍMA, Ondřej a Libor POLÁK. Splitting conditions for classes of meet automata. In Proceedings AutoMathA 2007, June 18-22, 2007, Palermo, Italy (CD). Palermo, Italy: University Palermo, 2007. s. 1-12, 12 s. info
  • KLÍMA, Ondřej, Benoit LAROSE a Pascal TESSON. Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture. In Mathematical Foundations of Computer Science. Berlin: Springer Verlag, 2006. s. 584-595, 12 s. ISBN 978-3-540-37791-7. info
  • KLÍMA, Ondřej. Unification Modulo Associativity and Idempotency Is NP-complete. In Mathematical Foundations of Computer Science 2002:27th International Symposium. Berlin: Springer-Verlag, 2002. s. 423-432. Lecture Notes in Computer Science, 2420. ISBN 3-540-44040-2. info
  • KLÍMA, Ondřej a Jiří SRBA. Matching Modulo Associativity and Idempotency is NP-Complete. In Mathematical Foundation of Computer Science 2000, 25th International Symposium. Berlin: Springer-Verlag, 2000. s. 456-466. Lecture Notes in Computer Science, 1893. ISBN 3-540-67901-4. info
  • KLÍMA, Ondřej. On the solvability of equations in semigroups with $x^r=x$. In Proceedings of 58th Workshop on General Algebra "58. Arbeitstagung Allgemeine Algebra". Klagenfurt: Verlag Johannes Heyn, 2000. s. 237-246. Contributions to General Algebra 12. ISBN 3-85366-951-4. info
  • ČERNÁ, Ivana, Jiří SRBA a Ondřej KLÍMA. Pattern Equations and Equations with Stuttering. In SOFSEM'99: Theory and Practise of Informatics. Heidelberg: Springer, 1999. s. 369-378. ISBN 3-540-66694-X. info

2017/07/13


Curriculum vitae: doc. Mgr. Ondřej Klíma, Ph.D. (učo 3868), version: English(1), last update: 2017/07/13 11:17, O. Klíma

Další varianta: čeština(1)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 19. 9. 2017 22:50, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému