To pronounce my surname correctly, read "stray czech".
Associate professor at Faculty of Informatics, Masaryk University, Brno.
Contact Faculty of Informatics
Masaryk University
Botanicka 68a
602 00 Brno, Czech Republic

Office: C414
Phone: +420-549 49 69 41
Fax: +420-549 49 18 20
Email: strejcek@fi.muni.cz
Consultations:  on request
Research Publications
DBLP
Google Scholar
Tools
  • 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
  • Seminator - Tool for semi-determinization of nondeterministic automata
  • Symbiotic - Program analysis tool based on instrumentation, slicing, and symbolic execution
  • ClabureDB - Classified bug-reports database
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 Completed
Teaching Autumn semesters
  • IB102 - Automata and Grammars, 2006-2012, 2017-now
  • IA072 - Seminar on Concurrency, 2008-now
  • IA006 - Selected Topics on Automata Theory (seminar tutor), 2008-now
Spring semesters
  • IA159 - Formal Verification Methods, 2008-2012, 2014-now
  • IB112 - Math Foundations, 2010-2012, 2014-now
  • IA072 - Seminar on Concurrency, 2008-now
  • IB005 - Formal Languages and Automata I (seminar tutor), 2007-2012, 2014-now
Past courses
  • IB102 - Automata, Grammars, and Complexity, 2013-2016
  • 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