Výskumná skupina pre konkurentné a distribuované systémy
Zameranie skupiny
výpočtové modely pre konkurentné, paralelné a distribuované systémy
formálne metódy
špecifikácia a verifikácia
aplikácie v oblasti bezpečnosti
Členovia
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Projekty
VEGA - Knowledge representation for ambient intelligence (2012 - 2015)
VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)
VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002) …