NoSCoM: Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning 2010–2014 GA ČR
Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems 2010–2012 GA MŠk
Development of methods for solving large scale nonlinear programming and nonsmooth optimization problems 2009–2011 GA ČR
