---

Faculty of Informatics, Masaryk University Brno, Czech Republic. Address:    Faculty of Informatics    Botanicka 68a    602 00 BRNO Office: G208   (Gotex, Šumavská 15, 1st floor (1. patro), entrance through G217)        directions to find the office (in czech) Phone: +420 549 49 4687 Fax: +420 549 497 434 Timetable (in Czech) PDF, GIF Email: rehak (at) fi.muni.cz

---

University generated homepage

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: ITI -- Institute for Theoretical Computer Science scstudio bnfparser² Former projects: Liberouter -- IPv6 router project ParaDiSe -- Parallel and Distributed Systems Laboratory Complete list of publications: related to network protocol description (the ITI project) related to process rewrite systems (my PhD research) related to practical verification (the Liberouter project) related to symbolic model checking (my Master thesis)