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
DBLP
Events:
CONCUR 2019
FMICS 2019
FMICS 2018
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