2020-01-08 (updated 2020-07-09: rewritten in gemini)


The site is originally published in [Gemini] network. Gemini network protocol and text format is designed to exchange minimalistic hyperlinked text content.

HTML version of this site is autogenerated.


On this site I publish notes, reviews, comments, bookmarks and other materials concerning my area of interest. Site primary language is Russian. I publish English translations on best-effort basis. If you found an error, please write me an email.



Gemini FAQ


About me


My primary research domain is programming languages, type systems and the related verification tools.


I live in Moscow, Russia. I am senior researcher at Lomonosov Moscow State University and part-time associate professor at Faculty of Mechanics and Mathematics teaching the following courses:


• Programming: seminars, 1st-2nd year students since 2018/19 academic year, 3rd year from 2014/15 to 2017/18 academic year.

• Mathematical Models of Computations: lectures, 5th year, since 2015/16 academic year.

• Mathematical Models of Software and Programming Languages: lectures in English, 5th year, since 2015/16 academic year.


I graduated the Faculty of Mechanics and Mathematics in 2011, got PhD in theoretical computer science in 2015.


I also take part in development of large-scale informational-analytical systems. I am interested in programming in the wide range of areas, from low-level programming to web-development.






Photo (JPEG, 330Kb)