Curriculum vitae
- Person Identification
- Oldřich Stražovský, 19.6.1979, single
- Education and Academic Qualifications
- 2003: Master degree (Mgr.) in computer science, graduated with honors, Faculty of Informatics, Masaryk University Brno
- 2001: Bachelor degree (Bc.) in computer science, Faculty of Informatics, Masaryk University Brno
- 1997: high school diploma, mathematics class of gym. tř. Kpt. Jaroše
- Employment Summary
- 2000-2003: programmer, Computer Systems Unit, Faculty of Informatics, Masaryk University Brno
- Pedagogical Activities
- 1999-2004: seminar Formal Languages and Automata
- Scientific and Research Activities
- Model checking, Formal verification of (in)finite state processes
- University Activities
- 2001-: laboratory of Parallel and Distributed Systems (ParaDiSe)
- Selected Publications
- BRÁZDIL, Tomáš, Antonín KUČERA and Oldřich STRAŽOVSKÝ. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. V. Diekert, B. Durand (Eds.). In Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005). Berlin: Springer, 2005, p. 145-157. ISBN 3-540-24998-2. info
- KUČERA, Antonín and Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York: Springer, 2005, p. 541-552. ISBN 3-540-30495-9. info
- BRÁZDIL, Tomáš, Antonín KUČERA and Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, p. 193-208. ISBN 3-540-22940-X. info
2004/04/23
Curriculum vitae: Mgr. Oldřich Stražovský (učo 3497), version: English(1), last update: 2004/04/23 12:35, O. Stražovský
Another Variant: Czech(1)