---

doc. RNDr. Jiří Barnat, Ph.D. Address:   Faculty of Informatics Masaryk University Botanická 68a 602 00 Brno Czech Republic   Office Phone:   E-mail: ICQ: +420-549493507 barnat =at= fi.muni.cz 52613252

---

Research:

• Publications, DBLP
  
• Curriculum Vitae
• Google Scholar

Events:

• ACSD 2013
• ACSD 2012   AVOCS 2012   GRAPHITE 2012   PDMC 2012   MEMICS 2012  

---

Teaching: (in czech)

• Konzultační hodiny: pondělí 14:00 - 16:00 v B421, případně po domluvě e-mailem


• Podzim (Autumn/Fall)
  • IV115 Seminář¸ laboratoře paralelních a distribuovaných systémů
  • IV112 Projekt z programování paralelních aplikací
  • IV113 Úvod do validace a verifikace
  • IA006 Vybrané kapitoly teorie automatů (Automaty) -- cvičení


• Jaro (Spring)
  • IV115 Seminář¸ laboratoře paralelních a distribuovaných systémů
  • IB109 Návrh a implementace paralelních systémů
  • IB015 Úvod do funkcionálního programování
  • IB005 Formální jazyky a automaty -- cvičení
  • IV101 Seminář z verifikace

---

Links:

• DiVinE - Parallel LTL Model Checker
• Yahoda - Verification Tools Database
• ParaDiSe - Paralell and Distributed System Laboratory @ FI MU Brno,
• PDMC - PDMC Workshop Series