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.
This user hasn’t posted yet.