|visits||member for||4 years, 6 months|
|seen||Apr 15 at 15:06|
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 Latex, Markdown, Git/Github, Linux.