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.
This site is completely static. To generate it I use pandoc.
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 me using email.