Graduated from SPbSU the faculty of Mathementics and Mechanic in 2012 (computer science department). For a some time worked as software engineer, hacking functional programming languages in a spare time. Started a Ph.D. experiment to create something AWESOME not alone.
I have chess CM title (Candidate Master).
* Relational programming
* OCaml compiler hacker.
* GNU/Linux hacker.
* Qt hacker.
Programming Languages and Tools Lab Researcher