---

prof. RNDr. Jiří Barnat, Ph.D. Address:   Faculty of Informatics Masaryk University Botanická 68a 602 00 Brno Czech Republic   Office Phone:   Office Room: E-mail: +420-54949 3507 A409 xbarnat =at= fi.muni.cz

---

Research:

• Google Scholar
• Publications, DBLP
• Curriculum Vitae

Events:

• SEFM 2017  FMICS-AVOCS 2017
• SPIN 2016  ACSD 2016  SEFM 2016  FMICS-AVOCS 2016
• 4PAD 2015  ACSD 2015  FMICS 2015 
• 4PAD 2014  ACSD 2014  FMICS 2014 
• ACSD 2013   FMICS 2013
• ACSD 2012   AVOCS 2012   GRAPHITE 2012   PDMC 2012   MEMICS 2012  

---

Teaching: (in czech)

• Konzultace: po domluvě e-mailem v A409


• 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
  • IB015 Neimperativní programování


• Jaro (Spring)
  • IV115 Seminář¸ laboratoře paralelních a distribuovaných systémů
  • IB109 Návrh a implementace paralelních systémů
  • IA169 System Verification and Assurance

---

Links:

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