prof. RNDr. Jan Strejček, Ph.D.
Professor, Department of Computer Science
office: C414
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 6941 |
|---|---|
| e‑mail: |
| social and academic networks: |
|---|
Courses taught
Spring 2026 at Faculty of Informatics
- Seminar on Verification (IA072, IV115)
- Model Checking
Autumn 2025 at Faculty of Informatics
- Seminar on Verification (IA072, IV074, IV115, Naskoc09)
- Computability and Complexity
- Formal Methods for Software Analysis