 |

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
|
|