Аспирант МГУ им. Ломоносова, область научных интересов: модальная логика, некоммутативная линейная логика (исчисление Ламбека), теория дуальности, модальности в субструктурных логиках и их алгебраическая семантика.

Разработчик на языках Haskell и Agda в Serokell OÜ в области технологий, связанных с блокчейном.