СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Специалист в области теоретических основ информатики. Кандидат физико-математических наук (2015). Старший научный сотрудник лаборатории автоматизации экспериментальных исследований Научно-исследовательского института механики, по совместительству доцент кафедры вычислительной математики и кафедры математического моделирования и компьютерных исследований Московского государственного университета им. М. В. Ломоносова (информ. на 2022 г.)
    Научные интересы: языки программирования и системы типов; формальная верификация и анализ программ; автоматизированное доказательство теорем.

        Вариантная форма имени

Krivchikov, Maxim (кандидат физико-математических наук) (английский язык)

        Источники информации
    Формальные модели и верификации свойств программ с использованием промежуточного представления : автореферат диссертации ... кандидата физико-математических наук : 05.13.17 / Кривчиков Максим Александрович. ― Москва, 2015.
    Сайт кафедры вычислительной математики Московского государственного университета им. М. В. Ломоносова. Дата обращения: 17.09.2022.
    Сайт "ИСТИНА : Интеллектуальная Система Тематического Исследования НАукометрических данных". Дата обращения: 17.09.2022.