|visits||member for||4 years, 1 month|
|seen||Oct 22 '14 at 19:48|
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.