MSc in applied mathematics and computer science from and lecturer at the Faculty of Mathematics, Mechanics and Computer Sciences, Southern Federal University, Rostov-on-Don, Russia. Major at mathematical methods in information security. Interested in Abstract Algebra and Theoretical Computer Science, specifically, programming languages, type theory, functional programming. Fan of Haskell, LaTeX, Git, Linux.