Изследователски план по абстрактна теория на рекурсията и приложения 2014 -2016:
В по-близкa перспектива: фундаментални свойства на копродуктивните алгебри като основа за развитието на абстрактната теория на рекурсията в контекста на, и до степен пригодна за, апроксимацията на хипотезата на Кук и други сходни въпроси на теорията на сложността. В по-далечна перспектива: ще продължат търсенията във връзка с възможността за предикативна апроксимация на хипотезата на Кук.