Životopis

Životopis

Identifikace osoby

• Mgr. Oldřich Stražovský, narozen 19. června 1979 v Brně, svobodný, bezdětný

Pracoviště

• Katedra teorie programování
  Fakulta informatiky MU
  Botanická 68a
  602 00 Brno

Funkce na pracovišti

• doktorand

Vzdělání a akademická kvalifikace

• 2003: Magisterské vzdělání, Informatika, Mgr., FI MU
• 2001: Bakalářské vzdělání, Informatika, Bc., FI MU
• 1997: gymnázium tř. Kpt. Jaroše 14, Brno - maturita

Přehled zaměstnání

• 2000-2003: programátor, CVT FI MU

Pedagogická činnost

• 2003: cvičení Automaty a gramatiky (IB102)
• 1999-2004: cvičení Formální jazyky a automaty I (IB005)
• 1999: opravování DÚ Úvod do informatiky (I000)

Universitní aktivity

• 2001-: laboratoř Paralelních a distribuovaných systémů

Vybrané publikace

• BRÁZDIL, Tomáš, Antonín KUČERA a 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, s. 145-157. ISBN 3-540-24998-2. info
• KUČERA, Antonín a 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, s. 541-552. ISBN 3-540-30495-9. info
• BRÁZDIL, Tomáš, Antonín KUČERA a 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, s. 193-208. ISBN 3-540-22940-X. info

29. 3. 2004

Další varianta: angličtina(1)