Člen katedry informatiky Tomáš Masopust získal grant MŠMT na téma Verifikace a řízení síťových diskrétních systémů.

Doktor Masopust se bude v příštích třech letech věnovat analýze výpočetní složitost diagnostických metod modulárních a distribuovaných systémů s diskrétními událostmi.

Spoluřešitelskými pracovišti jsou Matematický ústav AV ČR, University of Michigan, Wayne State University a GeorgiaTech.

Dalším členem řešitelského týmů je doktorand katedry informatiky Jiří Balun.