---

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

---

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 - DIstributed VerifIcatioN Environment, DiVinE Wiki
• Yahoda - Verification Tools Database
• ParaDiSe - Paralell and Distributed System Laboratory @ FI MU Brno, ClusterStatus Paradise Wiki
• Centrum.cz - alternativní e-mailová schránka
• ExtraHardware.cz, Games.Tiscali.cz - HW a herní novinky a recenze
• I-net - ekonomický server MU
• Jizdní řád - IDS JMK