Аспирант ИППИ РАН, область научных интересов: алгебраическая логика (цилиндрические алгебры и алгебры бинарных отношений), семантические аспекты модальной логики.

Участвую в разработке компилятора языка Haskell (GHC) в компании Serokell.