To pronounce my surname correctly, read "stray czech". Assistant professor at Faculty of Informatics, Masaryk University, Brno. Contact Faculty of Informatics Masaryk University Botanicka 68a 602 00 Brno, Czech Republic Office: B421 Phone: +420-549 49 69 41 Fax: +420-549 49 18 20 Email: strejcek@fi.muni.cz Consultation hours:   every Wednesday 16:00-17:50 Research Curriculum Vitae (in PDF) Publications (DBLP) ClabureDB - Classified Bug-Reports Database LTL3BA - Translator of LTL formulae to Büchi automata Research interests Formal methods for software analysis: static analysis, abstract interpretation, symbolic execution Properties of modal and temporal logics (especially LTL) and their fragments Models of infinite-state systems, their expressiveness and decidability issues Teaching Autumn semesters IB102 - Automata and Grammars, 2006-now IA072 - Seminar on Concurrency, 2008-now IA006 - Selected Topics on Automata Theory (seminar tutor), 2008-now Spring semesters IA159 - Formal Verification Methods, 2008-now IB112 - Math Foundations, 2010-now IA072 - Seminar on Concurrency, 2008-now IB005 - Formal Languages and Automata I (seminar tutor), 2007-now Past courses 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 Links In english YAHODA - Verification Tools Database - I have been a member of development team of this web-oriented verification tools database REBOL Tech. - I have been a REBOL tester In czech Defekt o.s. - I am a vicechairman of this society for biking and hiking Sobesicka Mulda - I am in organization team of this famous MTB XC race strejcek@fi.muni.cz