Projekty
-
2014
Výzkum pokročilých metod ICT a jejich aplikace, VUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, ukončen
-
2005
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, 2005-2007, ukončen
-
2004
Návrh a implementace formálních nástrojů v prostředí .NET, MS1412001, 2004-2005, ukončen