 |
To pronounce my surname correctly, read "stray czech".
Associate 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
|
|
| 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
Completed
|
|
| Teaching |
Autumn semesters
- IB107 - Computability and Complexity, 2020-now
- IA072 - Seminar on Verification, 2020-now
- IA006 - Selected Topics on Automata Theory (seminar tutor), 2008-now
Spring semesters
- IA159 - Formal Verification Methods, 2008-2012, 2014-now
- IA072 - Seminar on Verification, 2019-now
- IB005 - Formal Languages and Automata I (seminar tutor), 2007-2012, 2014-now
Past courses
- IB102 - Automata and Grammars, 2006-2012, 2017-2019
- IB102 - Automata, Grammars, and Complexity, 2013-2016
- IB112 - Math Foundations, 2010-2012, 2014-2019
- IA072 - Seminar on Concurrency, 2008-2019
- 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
|
|