Format for Printing from Your Browser, MS-Word, LaTeX, rich LaTeX

Curriculum vitae

Person Identification
  • doc. Mgr. Michal Kunc, Ph.D.
    born July 31, 1974, Brno
    married, two children
Workplace
  • Masaryk University
    Faculty of Science
    Department of Mathematics and Statistics
    Kotlářská 2
    611 37 Brno
    Czech Republic
Employment Position
  • associate professor
Education and Academic Qualifications
  • 2010: habilitation; MU Brno; thesis title: Implicit Language Equations
  • 2004: Ph.D. in Algebra; MU Brno; thesis title: Deciding Existence of Trace Codings
  • 1997: Mgr. in Mathematics; MU Brno; thesis title: Hyperidentities of Type (2)
Employment Summary
  • since 2010: Masaryk University Brno, associate professor
  • 2000 - 2001, 2003 - 2010: Masaryk University Brno, researcher
Teaching Experience
  • Lectures: Algebra, Graph theory, Linear algebra, Linear programming, Semigroups and formal languages, Topology
  • Tutorials: Linear models, Fundamentals of mathematics, Set theory
Scientific and Research Activities
  • Research interests: Formal language theory, semigroup theory, combinatorics on words, decision problems.
  • Meeting organization: workshop on Equational Theory of Regular Languages 2009
  • Programme Committee membership: AAA91, DCFS 2014, CIAA 2019, CSR 2014, DLT 2012, 2013, AutoMathA 2007, 2009, TALE 2007 (co-chairman), RP 2010, MEMICS 2007, 2008.
  • Reviewer: Mathematical Reviews (since 2006), Zentralblatt MATH (since 2012)
Academic Stays
  • 2007 - 2010: Turun yliopisto, several short research visits.
  • 2005: LIAFA, Université Paris 7, 1 month research stay.
  • 2005: Turun yliopisto, 1 year research stay.
  • 2000: Universidade de Coimbra, 3 months study stay.
University Activities
  • 2008 - 2014: member of the Academic Senate of the Faculty of Science.
Extrauniversity Activities
  • 2013 - 2017: member of the Evaluation Panel P201-Mathematics of the Czech Science Foundation.
Selected Talks
  • 27.7. 2015: DLT 2015, Liverpool.
  • 23.11. 2010: Highlights of AutoMathA, Wien. (invited)
  • 2.10. 2009: Seminar, Turun yliopisto.
  • 8.-12.9. 2008: School on Algebraic Theory of Automata, Lisboa. (invited)
  • 28.8. 2007: FCT 2007, Budapest.
  • 4.7. 2007: DLT 2007, Turku. (invited)
  • 27.4. 2007: Seminar, Turun yliopisto.
  • 21.11. 2006: Colloquium, Faculty of Informatics, Masarykova univerzita Brno.
  • 30.9. 2006: Algebraic Theory of Automata and Logic, Szeged. (invited)
  • 11.7. 2006: ICALP 2006, Venezia.
  • 6.7. 2005: DLT 2005, Mondello.
  • 17.,24.6. 2005: Seminar, LIAFA, Université Paris 7.
  • 20.5. 2005: AFL 2005, Dobogókő.
  • 8.,15.4. 2005: Seminar, Turun yliopisto.
  • 25.2. 2005: STACS 2005, Stuttgart.
  • 12.7. 2004: ICALP 2004, Turku.
  • 10.7. 2001: ICALP 2001, Crete.
  • 20.7. 2000: Colloquium on Semigroups, Szeged.
  • 19.4. 2000: Seminar, Universidade de Coimbra.
  • 5.6. 1999: AAA58 workshop on General Algebra, Wien.
  • 6.5. 1999: Seminar, TU Dresden.
  • 6.9. 1997: Summer School on General Algebra and Ordered Sets, Štrbské Pleso.
  • 5.4. 1997: Workshop on Hyperidentities and Clones, Potsdam.
Publications
  • KUNC, Michal and Jan MEITNER. The generalized rank of trace languages. International Journal of Foundations of Computer Science. Singapore: World Scientific Publishing Co Pte Ltd, 2019, vol. 30, No 1, p. 135-169. ISSN 0129-0541. Available from: https://dx.doi.org/10.1142/S0129054119400070. URL info
  • KUNC, Michal and Jan MEITNER. The generalized rank of trace languages. In Émilie Charlier, Julien Leroy, Michel Rigo. Developments in Language Theory. 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Cham, Švýcarsko: Springer, 2017, p. 247-259. ISBN 978-3-319-62808-0. Available from: https://dx.doi.org/10.1007/978-3-319-62809-7_18. URL info
  • MENESES GUIMARÄES DE ALMEIDA, Jorge Manuel, Jana BARTOŇOVÁ, Ondřej KLÍMA and Michal KUNC. On decidability of intermediate levels of concatenation hierarchies. In Igor Potapov. Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. Berlin: Springer, 2015, p. 58-70. ISBN 978-3-319-21499-3. Available from: https://dx.doi.org/10.1007/978-3-319-21500-6_4. info
  • KUNC, Michal and Alexander OKHOTIN. Reversibility of computations in graph-walking automata. In Krishnendu Chatterjee, Jirí Sgall. Mathematical Foundations of Computer Science 2013. Berlin: Springer, 2013, p. 595-606. ISBN 978-3-642-40312-5. Available from: https://dx.doi.org/10.1007/978-3-642-40313-2_53. URL info
  • KUNC, Michal and Alexander OKHOTIN. State complexity of operations on two-way finite automata over a unary alphabet. Theoretical Computer Science. Amsterdam: Elsevier, 2012, vol. 449, No 1, p. 106-118. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2012.04.010. info
  • KUNC, Michal and Alexander OKHOTIN. State complexity of union and intersection for two-way nondeterministic finite automata. Fundamenta Informaticae. Amsterdam: IOS Press, 2011, vol. 110, 1-4, p. 231-239. ISSN 0169-2968. Available from: https://dx.doi.org/10.3233/FI-2011-540. info
  • KUNC, Michal and Alexander OKHOTIN. Describing periodicity in two-way deterministic finite automata using transformation semigroups. In Giancarlo Mauri, Alberto Leporati. Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Berlin: Springer, 2011, p. 324-336. ISBN 978-3-642-22320-4. Available from: https://dx.doi.org/10.1007/978-3-642-22321-1_28. info
  • KUNC, Michal and Alexander OKHOTIN. State complexity of operations on two-way deterministic finite automata over a unary alphabet. In Markus Holzer, Martin Kutrib, Giovanni Pighizzini. Descriptional Complexity of Formal Systems: 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings. Berlin: Springer, 2011, p. 222-234. ISBN 978-3-642-22599-4. Available from: https://dx.doi.org/10.1007/978-3-642-22600-7_18. info
  • KARHUMÄKI, Juhani, Michal KUNC and Alexander OKHOTIN. Computational power of two stacks with restricted communication. Information and Computation. Amsterdam: Elsevier, 2010, vol. 208, No 9, p. 1060-1089. ISSN 0890-5401. URL info
  • KUNC, Michal. The power of commuting with finite sets of words. Theory of Computing Systems. New York: Springer, 2007, vol. 40, No 4, p. 521-551. ISSN 1432-4350. URL info
  • KUNC, Michal. What do we know about language equations? In Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 2007, Proceedings. Berlin: Springer, 2007, p. 23-27. ISBN 978-3-540-73207-5. info
  • KUNC, Michal. The simplest language where equivalence of finite substitutions is undecidable. In Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings. Berlin: Springer, 2007, p. 365-375. ISBN 978-3-540-74239-5. URL info
  • KARHUMÄKI, Juhani, Michal KUNC and Alexander OKHOTIN. Computing by commuting. Theoretical Computer Science. Amsterdam: Elsevier, 2006, vol. 356, 1-2, p. 200-211. ISSN 0304-3975. URL info
  • KUNC, Michal. Algebraic characterization of the finite power property. In Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Berlin: Springer, 2006, p. 120-131. ISBN 3-540-35904-4. URL info
  • KARHUMÄKI, Juhani, Michal KUNC and Alexander OKHOTIN. Communication of two stacks and rewriting. In Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Berlin: Springer, 2006, p. 468-479. ISBN 3-540-35907-9. URL info
  • KUNC, Michal. The power of commuting with finite sets of words. In STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings. Berlin: Springer-Verlag, 2005, p. 569-580. ISBN 3-540-24998-2. URL info
  • KUNC, Michal. Simple language equations. Bulletin of the European Association for Theoretical Computer Science EATCS. 2005, vol. 85, February, p. 81-102. ISSN 0252-9742. info
  • KUNC, Michal. On language inequalities XK ⊆ LX. In Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings. Berlin: Springer-Verlag, 2005, p. 327-337. ISBN 3-540-26546-5. URL info
  • KUNC, Michal. Regular solutions of language inequalities and well quasi-orders. Theoretical Computer Science. Amsterdam: Elsevier, 2005, vol. 348, 2-3, p. 277-293. ISSN 0304-3975. URL info
  • KUNC, Michal. Largest solutions of left-linear language inequalities. In Automata and Formal Languages: 11th International Conference, AFL 2005, Dobogókő, Hungary, May 17-20. Proceedings. Győr: Institute of Informatics, University of Szeged, 2005, p. 178-186. info
  • KUNC, Michal. Undecidability of the trace coding problem and some decidable cases. Theoretical Computer Science. Amsterdam: Elsevier, 2004, vol. 310, 1-3, p. 393-456. ISSN 0304-3975. URL info
  • KUNC, Michal. Regular solutions of language inequalities and well quasi-orders. In Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Heidelberg: Springer-Verlag, 2004, p. 870-881. ISBN 3-540-22849-7. URL info
  • KUNC, Michal. Equational description of pseudovarieties of homomorphisms. RAIRO - Theoretical Informatics and Applications. Les Ulis (Francie): EDP Sciences, 2003, vol. 37, No 3, p. 243-254. ISSN 0988-3754. URL info
  • KUNC, Michal. The trace coding problem is undecidable (extended abstract). In Automata, Languages and Programming : 28th International Colloquium, ICALP 2001, Proceedings. Berlin: Springer-Verlag, 2001, p. 603-614. ISBN 3-540-42287-0. info
  • KUNC, Michal. Free partially commutative semigroups in band varieties. In Proceedings of 58th Workshop on General Algebra"58. Arbeitstagung Allgemeine Algebra". Klagenfurt: Verlag Johannes Heyn, 2000, p. 257-268. ISBN 3-85366-951-4. info

2024/08/07


Curriculum vitae: doc. Mgr. Michal Kunc, Ph.D. (učo 2906), version: English(1), last update: 2024/08/07 15:27, M. Kunc

Another Variant: Czech(1)