Окончил мехмат МГУ по кафедре математической логики и  теории алгоритмов (2009 г). Кандидат физико-математических наук.

Научные интересы: категориальные грамматики, исчисление Ламбека,