Младший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель магистратуры JetBrains в ИТМО.