Engineering manager for messaging service on VK platform. Likes functional programming languages. Extremely interested in type theory and adjacent subjects.