NoSCoM: nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení 2010–2014 GA ČR
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. 2010–2012 GA MŠk
Vývoj metod pro řešení rozsáhlých úloh nelineárního programování a nehladké optimalizace 2009–2011 GA ČR
