About
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.
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.
Contact