doc. RNDr. Jan Strejček, Ph.D.
Office: C414
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 6941 |
|---|---|
| E‑mail: |
|
Supervision
Field of study: Informatics
Topics of doctoral theses (supervisor)
- Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice – graduate 2019
- Automata for Formal Methods: Little Steps Towards Perfection – graduate 2018
Topics of doctoral theses (consultant)
- Translation of Linear Temporal Logic to Omega-Automata – graduate 2017
- Automatic Bug-finding Techniques for Large Software Projects – graduate 2014
- Symbolic Execution and Program Loops – graduate 2014