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 does not use cookies and other visitor tracking technologies (excluding the web-server logs which is controlled by Netlify). JavaScript is used only on pages which require interactive functions.

This site is completely static. To generate it I use pandoc.

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:

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.

Maxim Krivchikov