Born: 1986, Rostov-na-Donu, Russia.
Education: Master of Science in Applied Mathematics and Computer Science — 2009.
Current Activities: PhD student at Programming Research Laboratory, Northeastern University.
Feel free to use my email (above) or any social network to reach out if you want to talk about anything mentioned on this page. Especially welcome are students deciding on their possible academic career.
I am interested in typed functional programming and corresponding languages (mostly, Haskell), type and effect systems, mathematics of program construction. In the past, I worked towards better software engineering principles of building computer algebra software in C++, especially using what C++ world knows as generic programming.
More about my professional interests can be found in my Curriculum Vitæ.
Generic Programming Approach in the Implementation of Error-Correcting Codes From Algebraic Geometry, Prikladnaya Informatika, 2012 (published in Russian)
I’m interested in programming languages and related technologies as they pertain to
software and systems development, e.g. Haskell ecosystem, Nix and NixOS, (Doom) Emacs and
modal editing (in the spirit of
vi), Linux and Open Source Software, verified software
and interactive theorem provers (especially,
Agda). Check out: