Vojtěch Řehák

Vojtech Rehak   Faculty of Informatics, Masaryk University
Brno, Czech Republic.

   Faculty of Informatics
   Botanicka 68a
   602 00 BRNO

Office: C436
Phone: +420 549 49 4687
Fax: +420 549 497 434
Timetable (in Czech) PDF, GIF
Email: rehak (at) fi.muni.cz

English University generated homepage Czech Osobní stránka generovaná IS

Research interests:
  • Stochastic systems, Continuous-time Markov chains, Generalized semi-Markov processes, Deterministic and stochastic Petri nets, analysis and synthesis
  • Network protocol description, Message Sequence Charts, realizability, race conditions, formal verification
  • My PhD related to Process Rewrite Systems and supervised by Mojmir Kretinsky
  • Concurrency theory, Models of infinite state processes, Automata and formal languages
  • Model checking, Formal verification in practice

Current projects:
Former projects:
Complete list of publications (DBLP, Google scholar):