To pronounce my surname correctly, read "stray czech".
Professor at Faculty of Informatics, Masaryk University, Brno.
Member of the Laboratory of Formal Methods, Logic and Algorithms (Formela).

Contact Faculty of Informatics
Masaryk University
Botanická 68a
602 00 Brno, Czech Republic

Office: C414
Phone: +420-549 49 69 41
Email: strejcek@fi.muni.cz
Consultations:  on request

Research Publications
DBLP
Google Scholar
ORCID 0000-0001-5873-403X
Tools
  • ClabureDB - Classified bug-reports database
  • HOAF - Hanoi omega-automata format
  • LTL3BA - Translator of LTL to Büchi automata
  • LTL3DRA - Translator of an LTL fragment to deterministic Rabin automata
  • LTL3TELA - Translator of LTL to nondeterministic Emerson-Lei automata
  • Q3B - SMT solver for quantified bit-vector theory
  • Seminator - Tool for semi-determinization of nondeterministic automata
  • Symbiotic - Program analysis tool based on instrumentation, slicing, and symbolic execution
Research interests
  • Automata over infinite words: translation from LTL, reduction, transformation, and applications
  • Automatic analysis and verification of software and hardware systems
  • SMT-solving, focused on bit-vector logic

PhD students Current
  • Vincent Mihalkovič
  • Jakub Novák
  • Juraj Major (suspended)
Completed

Teaching Autumn semesters
  • IB107 - Computability and Complexity, 2020-now
  • IA159 - Formal Methods for Software Analysis, 2023-now
  • IA072 - Seminar on Verification, 2019-now
  • IA006 - Selected Topics on Automata Theory (seminar tutor), 2008-2023
Spring semesters
  • IA169 - Model Checking, 2024-now
  • IA072 - Seminar on Verification, 2020-now
Past courses
  • IB102 - Automata and Grammars, 2006-2012, 2017-2019
  • IB102 - Automata, Grammars, and Complexity, 2013-2016
  • IA159 - Formal Verification Methods, 2008-2012, 2014-2023
  • IB112 - Math Foundations, 2010-2012, 2014-2019
  • IA072 - Seminar on Concurrency, 2008-2019
  • DUCIT - Teaching lab, 2022
  • IB005 - Formal Languages and Automata I (seminar tutor), 2007-2012, 2014-2023
  • IA008 - Computational Logic (in Czech) (seminar tutor), 2007-2009
  • IB002 - Design of Algorithms I (seminar tutor), 2008
  • IB107 - Computability and Complexity (seminar tutor), 2003, 2004, 2006
  • I007 - Computability (seminar tutor), 1998-2003

strejcek@fi.muni.cz