Темпорални и вероятностни логики, системи с реално време, model-checking, формални методи и теоретична информатика.

Некомутативна алгебра и приложения за квантови групи, некомутативна геометрия, символни изчисления

Алгебра.

Алгебра.