Graduate (master degree) mathematics student at HSE University (Moscow). Mathematical logic, type theory, and computer science. Haskell Developer at Moscow Center for Continuous Mathematical Education. Opinions are my own.