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 Curriculum Vitae (in PDF, March 2008)
Publications, DBLP, Google Scholar
HOAF - Hanoi omega-automata format
LTL3BA - Translator of LTL to Büchi automata
LTL3DRA - Translator of an LTL fragment to deterministic Rabin automata
Symbiotic - Program analysis tool based on instrumentation, slicing, and symbolic execution
ClabureDB - Classified bug-reports database
Research interests
  • Formal methods for software analysis: static analysis, abstract interpretation, symbolic execution
  • Properties of modal and temporal logics (especially LTL) and their fragments, translation to automata
  • Models of infinite-state systems, their expressiveness and decidability issues

Teaching Autumn semesters
  • IB102 - Automata, Grammars, and Complexity, 2013-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 and Grammars, 2006-2012
  • 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