Руководит командой сообщений ВКонтакте. Увлекается функциональным программированием. Последние 2 года много интересуется теорией типов и связанными областями.