О сайте
Сайт размещён в сети [Gemini]. Сеть и текстовый формат Gemini предназначены для обмена минималистичными текстовыми материалами с гиперссылками.
В формат HTML страницы на этом сайте транслируются автоматически.
На сайте я публикую мои заметки, рецензии, комментарии, закладки и другие материалы в сфере моих интересов. Основной язык сайта — русский. Английские переводы я публикую по мере возможности.
Об авторе
Я занимаюсь исследованиями в области языков программирования, их систем типов и связанных с ними методами верификации программ.
Работаю старшим научным сотрудником Московского государственного университета имени М. В. Ломоносова, веду занятия на механико-математическом факультете в качестве доцента:
• Программирование, семинары в рамках основного курса: 1-2 курсы с 2018/19 учебного года, 3 курс с 2014/15 по 2017/18 учебный год.
• Курс «Математические модели вычислений»: 5 курс, кафедра вычислительной математики, с 2015/16 учебного года.
• Курс «Математические модели программ и языков программирования»: на английском языке, 5 курс, кафедра вычислительной математики, с 2015/16 учебного года.
Выпускник механико-математического факультета. Кандидат физико-математических наук по специальности «Теоретические основы информатики».
Участвую в разработке крупных информационно-аналитических систем. Пишу на разных языках программирования, интересуюсь (и, по возможности, занимаюсь) программированием в широком спектре направлений — от низкоуровневого программирования до web-разработки.
Контактная информация