О сайте

На сайте я публикую мои заметки, рецензии, комментарии, закладки и другие материалы в сфере моих интересов. Основной язык сайта — русский. Английские переводы я публикую по мере возможности.

Этот сайт не использует cookie и другие технологии слежки за посетителями (за исключением журнала запросов web-сервера, который находится под контролем Netlify). JavaScript используется только на тех страницах, где интерактивные функции необходимы.

Этот сайт является полностью статическим. Для генерации страниц используется pandoc.

Об авторе

Я занимаюсь исследованиями в области языков программирования, их систем типов и связанных с ними методами верификации программ.

Работаю старшим научным сотрудником Московского государственного университета имени М. В. Ломоносова, веду занятия на механико-математическом факультете в качестве доцента:

Выпускник механико-математического факультета. Кандидат физико-математических наук по специальности «Теоретические основы информатики».

Участвую в разработке крупных информационно-аналитических систем. Пишу на разных языках программирования, интересуюсь (и, по возможности, занимаюсь) программированием в широком спектре направлений — от низкоуровневого программирования до web-разработки.

Связаться со мной можно по email.

Максим Кривчиков