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 in mathematical methods in information security. Interested in programming languages, type theory, functional programming. A fan of Haskell, LaTeX, Git, Linux, Nix.