Zdeněk Sawa

Info for students (in Czech):

• Úvod do teoretické informatiky (UTI) (česky) / Introduction to Theoretical Computer Science (in English)
• Teoretická informatika (TI)
• Theoretical Computer Science (TI) (in English)
• Seminář z programování (SPR)
• Teorie her (TEH)
• Interaktivní a automatizované dokazování korektnosti programů

Education:

• Ing. (MSc.) in Computer Engineering at Technical University of Ostrava, thesis An Environment for Text Editing, 1998.
• Ph.D. in Computer Science and Applied Mathematics at Technical University of Ostrava, thesis Complexity and Decidability of Some Equivalence-Checking Problems (supervisor was Petr Jančar), May 2005.
• doc. in Computer Science at Technical University of Ostrava, thesis Computational Complexity of Some Equivalence-Checking Problems, February 2013.

Research interests:

• Methods of automated verification - model checking and equivalence checking
• Complexity and decidability of verification problems

Publications

Office address:

Department of Computer Science
Technical University of Ostrava
17. listopadu 15
Ostrava-Poruba
708 33
Czech Republic

Phone: ++420 597 325 968

Room: EA413

e-mail: zdenek.sawa@vsb.cz