Vojtěch Řehák


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

Address:
   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:
  • 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: