Arseniy Vladimirovich Seroka

Education

2011-2015

BSc, Computer Science; Saint Petersburg State University of Information Technologies, Mechanics and Optics

Bachelor project: system for automatical generation of description how to achieve files based on users actions in shell (console) written in haskell. Source code

2015-2017 (expected)
MSc, Computer Science; Saint Petersburg State University of Information Technologies, Mechanics and Optics

Technical Experience

Programming Languages
Basic knowledges

(1 - barely know, 5 - have deep knowledge and understanding)

Experience

Android developer
(2012-2013).Backend programmer. Development of geo positioning application connected to social places (some kind of foursquare app).
System administrator, laboratorian
(2014 - current time). International laboratory "Computer technologies". Bootstrapped cluster using CEPH fs and slurm (for managing program execution). Managing wide network of users and machines. Also working as a computer science researcher.
CEO, co-founder, programmer, project manager
(2015 - current time). Serokell. Software development in Haskell. Using functional paradigms. Company was founded in the summer of 2015. Created several projects. The most significant is bitcoin-based payment platform.
Educational activity
Taught functional programming to BSs's last year computer sciense students of the IFMO University. Course plan
University studies
Most had wrote various algorithms implementation, data structures etc. Experience in writing system programs for Linux (allocator, fs, etc.).
Open Source
Participation in open source projects. Official contributor to NixOS.

My projects and contributions can be found at my github profile GitHub.com

Extra information

I prefer using Haskel while programming. Also studying type theory (trying Idris and Agda) and some other sections of math logic. I think that I can get new information easily and use unfamiliar technologies, algorithms etc.


• +7 (921) 323 95 90 • born: 29.04.1993
nab. Kutuzova, 28, 6 — Saint-Petersburg, 191187, Russia