Кривчиков Максим Александрович - пользователь, сотрудник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Деятельность

Статьи в журналах
- - 2020 ChRelBAC data access control model for large-scale interactive informational-analytical systems
  - Vasenin Valery, Itkes Alexander, Krivchikov Maxim, Yavtushenko Evgeniya
  - в журнале Journal of Computer Virology and Hacking technique, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), с. 1-19 DOI
- - 2020 Intermediate Representation of Programs with Type Specification Based on Pattern Matching
  - Vasenin V.A., Krivchikov M.A.
  - в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 46, № 1, с. 57-66 DOI
- - 2020 Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программирование, № 1, с. 63-74 DOI
- - 2017 Архитектурно-технологические аспекты разработки и сопровождения больших информационно-аналитических систем в сфере науки и образования
  - Васенин В.А., Занчурин М.А., Козицын А.С., Кривчиков М.А., Шачнев Д.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), том 8, № 10, с. 448-455 DOI
- - 2017 Методы промежуточного представления программ
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), том 8, № 8, с. 345-353 DOI
- - 2015 Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типами
  - Антонов С.В., Кривчиков М.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), № 9, с. 25-31
- - 2015 Формальные модели программ и языков программирования. Часть 1. Библиографический обзор 1930—1989 гг
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), № 5, с. 10-19
- - 2015 Формальные модели программ и языков программирования. Часть 2. Современное состояние исследований
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), № 6, с. 24-33
- - 2013 A model of dynamical concurrent program execution
  - Vasenin V.A., Krivchikov M.A.
  - в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 39, № 1, с. 1-9 DOI
- - 2013 Модель динамического параллельного исполнения программ
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программирование, № 1, с. 45-59
- - 2012 ECMA-335 static formal semantics
  - Vasenin V.A., Krivchikov M.A.
  - в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 38, № 4, с. 183-188 DOI
- - 2012 Распараллеливание расчетного кода улучшенной оценки "БАГИРА" для моделирования трехмерной теплогидродинамики многофазных сред в составе полномасштабной суперкомпьютерной модели "Виртуальная АЭС
  - Васенин В.А., Кривчиков М.А., Крошилин А.Е., Крошилин В.Е., Рагулин А.Д., Роганов В.А.
  - в журнале Программная инженерия, издательство Новые технологии (Москва), № 6, с. 15-23
- - 2012 Статическая семантика стандарта ECMA-335
  - Васенин В.А., Кривчиков М.А.
  - в журнале Программирование, № 4, с. 3-16

Статьи в сборниках
- - 2021 Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программирования
  - Кривчиков М.А.
  - в сборнике Материалы VIII международной конференции "Знания - Онтологии - Теории" (ЗОНТ 2021), издательство НГУ (Новосибирск), с. 149-161
- - 2019 Automation in Complex Software Systems Lifecycle for “ISTINA” Data Analysis System
  - Valery Vasenin, Maxim Zanchurin, Andrey Zenzinov, Andrey Korshunov, Maxim Krivchikov, Vladimir Roganov, Dmitry Shachnev
  - в сборнике Proc. of the International Conference Actual Problems of Systems and Software Engineering (APSSE 2019), серия IEEE Conference Publications, издательство IEEE Computer Society (United States), с. 99-104 DOI
- - 2019 Интеллектуальная система тематического исследования наукометрических данных: состояние и перспективы
  - Васенин В.А., Афонин С.А., Занчурин М.А., Зензинов А.А., Козицын А.С., Коршунов А.А., Кривчиков М.А., Шачнев Д.А.
  - в сборнике Материалы VII Международной конференции «Знания - Онтологии - Теории» (ЗОНТ-2019), 7-11 октября 2019 г., Новосибирск, место издания Новосибирск, с. 94-103
- - 2019 “ISTINA” Data Analysis System: Cross-Cutting Technologies for Science and Education
  - Maxim Krivchikov, Dmitry Shachnev, Valery Vasenin, Andrey Zenzinov
  - в сборнике Proc. of the International Conference Actual Problems of Systems and Software Engineering (APSSE 2019), серия IEEE Conference Publications, издательство IEEE Computer Society (United States), с. 140-150 DOI
- - 2017 Architectural and Technological Aspects of the Cloud Data Analysis System Development, Case of ISTINA System
  - Vasenin Valery, Zanchurin Maxim, Kozitsyn Alexander, Krivchikov Maxim, Shachnev Dmitry
  - в сборнике 5th International Conference on Actual Problems of System and Software Engineering, APSSE 2017, серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR Workshop Proceedings, Vol-1989, http://ceur-ws.org, том 1989, с. 90-96
- - 2017 Architectural and Technological Aspects of the Cloud Data Analysis System Development, Case of ISTINA System
  - Vasenin V., Zanchurin M., Kozitsyn A., Krivchikov M., Shachnev D.
  - в сборнике Материалы Пятой международной конференции "Актуальные проблемы системной и программной инженерии", место издания Издательство НИУ ВШЭ Москва, с. 90-96
- - 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus
  - Maxim Krivchikov, Evgeny Shulgin
  - в сборнике 5th International Conference on Actual Problems of System and Software Engineering, APSSE 2017, серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR Workshop Proceedings, Vol-1989, http://ceur-ws.org, том 1989, с. 57-62
- - 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus
  - Krivchikov M., Shulgin E.
  - в сборнике Материалы Пятой международной конференции "Актуальные проблемы системной и программной инженерии", место издания Издательство НИУ ВШЭ Москва, с. 57-62
- - 2012 Scalable Three-Dimensional Thermal-Hydraulic Best-Estimate Code BAGIRA
  - Vasenin V.A., Krivchikov M.A., Kroshilin A.E., Kroshilin V.E., Roganov V.A.
  - в сборнике Proceedings of 2012 International Congress on Advances in Nuclear Power Plants (ICAPP’12), место издания Chicago, USA, с. 2042-2050

Доклады на конференциях
- - 2023 АВТОМАТИЗИРОВАННЫЙ ПОДХОД К МИГРАЦИИ С СУБД ORACLE НА СУБД POSTGRESQL (Устный)
  - Авторы: Кривчиков М.А., Роганов В.А.
  - Ломоносовские Чтения - 2023. Секция Механика., Московский университет, Россия, 4-14 апреля 2023
- - 2022 Выявление возможного конфликта интересов при подборе эксперта с использованием наукометрических данных (Устный)
  - Автор: Кривчиков М.А.
  - Ломоносовские чтения - 2022 (Секция механики), Москва, Россия, 18-22 апреля 2022
- - 2021 Refactoring a Complex Scientometric Software System to Support PostgreSQL Database Management System (Приглашенный)
  - Авторы: Vasenin Valery, Krivchikov Maxim, Roganov Vladimir, Kozitsyn Alexander, Zanchurin Maxim, Shachnev Dmitry, Zenzinov Andrey
  - VII Актуальные проблемы системной и программной инженерии (АПСПИ 2021), Москва, Россия, 15-17 ноября 2021
- - 2021 Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программирования (Устный)
  - Автор: Кривчиков М.А.
  - Знания-Онтологии-Теории (ЗОНТ-2021), Новосибирск, Россия, 8-12 ноября 2021
- - 2021 Опциональная типизация для минималистичных языков программирования (Устный)
  - Автор: Кривчиков М.А.
  - ЛОМОНОСОВСКИЕ ЧТЕНИЯ Научная конференция Секция механики, НИИ механики МГУ, Москва, Россия, 20 апреля - 26 декабря 2021
- - 2020 К децентрализованной архитектуре больших наукометрических систем (Устный)
  - Автор: Кривчиков М.А.
  - Ломоносовские чтения. Научная конференция. Секция механики. Октябрь 2020 года, Москва, НИИ механики МГУ имени М.В. Ломоносова, Россия, 26-30 октября 2020
- - 2019 "ISTINA" Data Analysis System: Cross-Cutting Technologies for Science and Education (Пленарный)
  - Авторы: Valery Vasenin, Maxim Krivchikov, Dmitry Shachnev, Andrey Zenzinov
  - VI Международная конференция Актуальные проблемы системной и программной инженерии (АПСПИ 2019), Москва, Россия, 12-14 ноября 2019
- - 2019 Automation in Complex Software Systems Lifecycle for “ISTINA” Data Analysis System (Устный)
  - Авторы: Valery Vasenin, Maxim Zanchurin, Andrey Zenzinov, Andrey Korshunov, Maxim Krivchikov, Vladimir Roganov, Dmitry Shachnev
  - VI Международная конференция Актуальные проблемы системной и программной инженерии (АПСПИ 2019), Москва, Россия, 12-14 ноября 2019
- - 2019 Интеллектуальная система тематического исследования наукометрических данных: состояние и перспективы развития (Пленарный)
  - Авторы: Васенин Валерий Александрович, Афонин Сергей Александрович, Занчурин Максим Анатольевич, Зензинов Андрей Александрович, Козицын Александр Сергеевич, Коршунов Андрей Александрович, Кривчиков Максим Александрович, Шачнев Дмитрий Алексеевич
  - Знания-Онтологии-Теории (ЗОНТ-2019), Новосибирск, Россия, 7-11 октября 2019
- - 2019 Технологии сопровождения систем хранения и обработки больших объемов наукометрических данных на примере ИАС «ИСТИНА» (Устный)
  - Авторы: Кривчиков М.А., Шачнев Д.А., Зензинов А.А.
  - «Ломоносовские чтения - 2019». Секция «Механика», Москва, МГУ, Россия, 15-25 апреля 2019
- - 2018 Информационно-аналитическая система "ИСТИНА": сквозные цифровые технологии для науки и образования (Устный)
  - Авторы: Васенин В.А., Шачнев Д.А., Зензинов А.А., Кривчиков М.А.
  - Всероссийский научно-практический форум с международным участием "ЦИФРОВИЗАЦИЯ-2018", МГУ имени М. В. Ломоносова, Россия, 3-5 декабря 2018
- - 2018 Технологии сопровождения больших систем цифровой экономики на примере ИАС «ИСТИНА» (Устный)
  - Авторы: Занчурин М.А., Васенин В.А., Кривчиков М.А., Шачнев Д.А., Иткес А.А., Козицын А.С., Коршунов А.А., Зензинов А.А.
  - Всероссийский научно-практический форум с международным участием "ЦИФРОВИЗАЦИЯ-2018", МГУ имени М. В. Ломоносова, Россия, 3-5 декабря 2018
- - 2018 Разработка архивного хранилища данных для информационных систем со сложной структурой данных (Устный)
  - Автор: Кривчиков М.А.
  - Ломоносовские чтения - 2018. Секция "Механика", Москва, Россия, 16-25 апреля 2018
- - 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus (Устный)
  - Авторы: Шульгин Е.В., Кривчиков М.А.
  - Актуальные проблемы системной и программной инженерии (АПСПИ 2017), Москва, Россия, 14-16 ноября 2017
- - 2017 Архитектурно-технологические аспекты разработки единой облачной информационно-аналитической системы на примере ИАС "ИСТИНА" (Устный)
  - Авторы: Васенин В.А., Занчурин М.А., Козицын А.С., Кривчиков М.А., Шачнев Д.А.
  - Актуальные проблемы системной и программной инженерии (АПСПИ 2017), Москва, Россия, 14-16 ноября 2017
- - 2017 К статической проверке нетривиальных ограничений в реляционной модели предметной области (Устный)
  - Авторы: Кривчиков М.А., Шульгин Е.В.
  - Знания-Онтологии-Теории (ЗОНТ-2017), Новосибирск, Россия, 2-6 октября 2017
- - 2017 Выделение независимых ветвей вычислений в унаследованном коде с использованием средств автоматизированного анализа программ (Устный)
  - Автор: Кривчиков М.А.
  - Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
- - 2016 К системе типов языков семейства Рефал для промежуточного представления программ (Устный)
  - Авторы: Кривчиков М.А., Васенин В.А.
  - Мальцевские чтения 2016, Новосибирск, Россия, 21-25 ноября 2016
- - 2016 Подходы к верификации информационно-аналитических систем, имеющих сложную по своей структуре модель данных (Устный)
  - Автор: Кривчиков М.А.
  - Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
- - 2015 Формальная верификация макетов АСУ ТП КВО (Устный)
  - Авторы: Кривчиков М.А., Васенин В.А.
  - Информационная безопасность АСУ ТП КВО, РАНХиГС, Москва, 2015
- - 2015 Языково-ориентированное программирование для формальной верификации программного обеспечения (Устный)
  - Авторы: Кривчиков М.А., Васенин В.А.
  - Актуальные проблемы системной и программной инженерии (АПСПИ 2015) , Москва, Россия, 20-21 мая 2015
- - 2014 К формальной верификации программных комплексов суперкомпьютерного моделирования с использованием предметно-ориентированных языков (Устный)
  - Авторы: Кривчиков М.А., Васенин В.А.
  - Семинар «Методы суперкомпьютерного моделирования», г. Таруса, 2014
- - 2014 Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типами (Устный)
  - Авторы: Кривчиков М.А., Васенин В.А.
  - Международная конференция «Мальцевские чтения», Новосибирск, ИМ СО РАН, 2014
- - 2014 Приложение одной разновидности типизированного λ-исчисления к построению формальных моделей программ (Устный)
  - Авторы: Васенин В.А., Кривчиков М.А.
  - Ломоносовские чтения - 2014. Секция механики, МГУ, Москва, Россия, 14-23 апреля 2014
- - 2013 Организация распределенных вычислений на базе платформы ERLANG/OTP (Устный)
  - Авторы: Пучков Ф.М., Кривчиков М.А., Шундеев А.С.
  - Ломоносовские чтения - 2013. Филиал МГУ в г. Севастополе, Филиал МГУ в г. Севастополе, Украина, 19-20 апреля 2013
- - 2013 Распараллеливание теплогидравлического расчетного кода CMS в составе полномасштабной суперкомпьютерной модели "Виртуальная АЭС" (Устный)
  - Авторы: Васенин В.А., Астапов И.С., Роганов В.А., Майданик В.Н., Кривчиков М.А.
  - Ломоносовские чтения - 2013. Секция механики, Москва, МГУ имени М.В.Ломоносова, Россия, 15-19 апреля 2013
- - 2012 Scalable Three-Dimensional Thermal-Hydraulic Best-Estimate Code BAGIRA (Устный)
  - Авторы: Васенин В.А., Кривчиков М.А., Роганов В.А., Крошилин В.Е., Крошилин А.Е.
  - International Congress on Advances in Nuclear Power Plants (ICAPP’12), Chicago, USA, 2012
- - 2012 Улучшенное моделирование трехмерных теплогидродинамических процессов в узлах атомных электростанций на компактных суперкомпьютерных установках (Устный)
  - Авторы: Васенин В.А., Кривчиков М.А., Крошилин А.Е., Крошилин В.Е., Рагулин А.Д., Роганов В.А.
  - XVII Байкальская Всероссийская конференция IMT-2012 "Информационные и математические технологии в науке и управлении", байкальская сессия, п.Хужир, 3-9 июля, 2012
- - 2012 Распараллеливание расчётного кода трёхмерной теплогидродинамики многофазных сред в составе полномасштабной суперкомпьютерной модели «Виртуальная АЭС»
  - Авторы: Васенин В.А., Кривчиков М.А., Крошилин В.Е., Рагулин А.Д., Роганов В.А., Крошилин А.Е.
  - Ломоносовские чтения - 2012, Москва, МГУ имени М.В.Ломоносова, Россия, 17 апреля 2012 - 19 апреля 2016

Тезисы докладов
- - 2021 Опциональная типизация для минималистичных языков программирования
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Научная конференция. Секция механики. 20–26 апреля 2021 года. Тезисы докладов, издательство Институт механики МГУ (Москва), тезисы, с. 132-133
- - 2020 К децентрализованной архитектуре больших наукометрических систем
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Научная конференция. Секция механики., место издания Издательство Московского университета, тезисы, с. 127-128
- - 2019 Промежуточное представление программ в терминах сопоставления значений с образцом
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Научная конференция. Секция механики. 15-25 апреля 2019 г. Тезисы докладов, место издания Издательство Московского университета Москва, тезисы, с. 133-134
- - 2019 Технологии сопровождения систем хранения и обработки больших объемов наукометрических данных на примере ИАС «ИСТИНА»
  - Кривчиков М.А., Зензинов А.А., Шачнев Д.А.
  - в сборнике Ломоносовские чтения 2019. Секция механики. Тезисы докладов, серия Механика, место издания Издательство Московского университета, тезисы, с. 133-134
- - 2018 Разработка архивного хранилища данных для информационных систем со сложной структурой данных
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Научная конференция. Секция механики. 16–27 апреля 2018 года. Тезисы докладов, серия Секция механики. 16-25 апреля 2018, издательство Изд-во Моск. ун-та (М.), тезисы, с. 115-116
  - редактор Гувернюк Сергей Владимирович
- - 2017 Выделение независимых ветвей вычислений в унаследованном коде с использованием средств автоматизированного анализа программ
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения 2017, серия Секция механики, место издания Издательство Московского университета г. Москва, тезисы, с. 123-123
- - 2016 К системе типов языков семейства Рефал для промежуточного представления программ
  - Васенин В.А., Кривчиков М.А.
  - в сборнике Международная конференция "Мальцевские чтения". Тезисы докладов, место издания Новосибирск, тезисы, с. 35-35
- - 2016 Подходы к верификации информационно-аналитических систем, имеющих сложную по своей структуре модель данных
  - Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Тезисы докладов научной конференции. Секция механики. 18-27 апреля 2016 г., Москва, МГУ имени М.В. Ломоносова, серия Секция механики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 110-111
- - 2015 Языково-ориентированное программирование для формальной верификации программного обеспечения
  - Васенин В.А., Кривчиков М.А.
  - в сборнике Материалы четвертой Научно-практической конференции «Актуальные проблемы системной и программной инженерии». Сборник научных трудов, место издания Издательство НИУ ВШЭ Москва, тезисы, с. 30-31
- - 2014 Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типами
  - Васенин В.А., Кривчиков М.А.
  - в сборнике Международная конференция “Мальцевские чтения”. Тезисы докладов, место издания Новосибирск, тезисы, с. 25-25
- - 2014 Приложение одной разновидности типизированного лямбда-исчисления к построению формальных моделей программ
  - Васенин В.А., Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Научная конференция. Секция механики. 14–23 апреля 2014 года. Тезисы докладов, место издания Издательство Московского университета Москва, тезисы, с. 39-39
- - 2013 Организация распределенных вычислений на базе платформы ERLANG/OTP
  - Шундеев А.С., Пучков Ф.М., Кривчиков М.А.
  - в сборнике ЛОМОНОСОВСКИЕ ЧТЕНИЯ, 2013, серия Секция механики, место издания Изательство Московского университета Москва, тезисы, с. 150-150
- - 2013 Распараллеливание теплогидравлического расчетного кода CMS в составе полномасштабной суперкомпьютерной модели "Виртуальная АЭС"
  - Васенин В.А., Астапов И.С., Роганов В.А., Майданик В.Н., Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Тезисы докладов научной конференции. Секция механики. 15-23 апреля 2013 г, место издания Издательство Московского университета Москва, тезисы, с. 27-27
- - 2012 К формальному описанию программ для распределенной вычислительной среды грид-архитектуры
  - Васенин В.А., Кривчиков М.А.
  - в сборнике Ломоносовские чтения. Тезисы докладов научной конференции. Секция механики. 16-25 апреля,, место издания Московский университет, тезисы, с. 32-33
- - 2012 Распараллелиавние расчетного кода трехмерной теплогидродинамики многофазных сред в составе полномасштабной суперкомпьютерной модели "Виртуальная АЭС
  - Васенин В.А., Крошилин А.Е., Крошилин В.Е., Роганов В.А., Кривчиков М.А., Рагулин А.Д.
  - в сборнике Ломоносовские чтения. Тезисы докладов научной конференции. Секция механики. 16-25 апреля,, место издания Московский университет, тезисы, с. 33-34

НИРы
- - 1 января 2016 - 31 декабря 2025 Математическое и программное обеспечение сложных информационно-вычислительных систем
  - Научно-исследовательский институт механики
  - Руководитель: Васенин В.А. Участники НИР: Александров Д.Е., Астапов И.С., Афонин С.А., Балахничёв С.А., Гаспарянц А.Э., Занчурин М.А., Заславский Д.Д., Зензинов А.А., Иткес А.А., Козицын А.С., Коршунов А.А., Кривчиков М.А., Морозова Н.А., Роганов В.А., Хлебородов Д.С., Шачнев Д.А., Шокуров А.В., Шундеев А.С.
- - 1 января 2016 - 31 декабря 2023 Математическое и программное обеспечение защищенных информационных технологий 2016-2020
  - Кафедра вычислительной математики
  - Руководитель: Васенин В.А. Участники НИР: Афонин С.А., Занчурин М.А., Иткес А.А., Козицын А.С., Коршунов А.А., Кривчиков М.А., Лунев К.В., Роганов В.А., Шачнев Д.А., Шундеев А.С.
- - 1 января 2016 - 31 декабря 2018 Методы и средства разработки верифицируемого программного обеспечения с использованием предметно-ориентированных языков, имеющих заданную формальную семантику
  - Научно-исследовательский институт механики
  - Руководитель: Васенин В.А. Участники НИР: Зензинов А.А., Кривчиков М.А.
- - 8 сентября 2014 - 31 декабря 2016 Сверхточные методы численного решения теоретических и прикладных задач математической физики, реализуемые на высокопроизводительных вычислительных системах
  - Научно-образовательный центр компьютерного моделирования и безопасных технологий
  - Руководитель: Толстых А.И. Участники НИР: Бодяков А.Н., Галатенко А.В., Зензинов А.А., Ингтем Ж.Г., Кривчиков М.А., Липавский М.В., Широбоков Д.А.
- - 1 января 2012 - 31 декабря 2015 Компьютерные методы моделирования, управления и прогнозирования развития для многокомпонентных динамических систем в условиях неопределенности техногенных и антропогенных факторов
  - Научно-образовательный центр компьютерного моделирования и безопасных технологий
  - Руководитель: Султанов И.А. Участник НИР: Кривчиков М.А.
- - 1 сентября 2011 - 31 декабря 2011 Разработка алгоритма распараллеливания теплогидравлического кода (CMS) полномасштабной модели
  - Научно-исследовательский институт механики
  - Руководитель: Васенин В.А. Участники НИР: Астапов И.С., Афонин С.А., Голомазов Д.Д., Занчурин М.А., Иткес А.А., Казьмин О.О., Козицын А.С., Коршунов А.А., Кривчиков М.А., Морозова Н.А., Першин И.С., Пучков Ф.М., Рагулин А.Д., Роганов В.А., Титов А.С., Шапченко К.А., Шундеев А.С.
- - 11 января 2011 - 31 декабря 2015 Модели и программные средства информационно-вычислительных систем
  - 404 Лаборатория автоматизации экспериментальных исследований
  - Руководитель: Васенин В.А. Участники НИР: Астапов И.С., Афонин С.А., Бахтин А.В., Бухонов В.Ю., Ганкин Г.М., Голомазов Д.Д., Занчурин М.А., Зензинов А.А., Иткес А.А., Козицын А.С., Коршунов А.А., Костюхин К.А., Кривчиков М.А., Лунев К.В., Морозова Н.А., Пучков Ф.М., Роганов В.А., Тумайкин И.Н., Шапченко К.А., Шокуров А.В., Шундеев А.С.

Свидетельства о регистрации прав на программное обеспечение
- - 2017 Модуль автоматизации проведения конкурсных процедур (SOFT)
  - Авторы: Зензинов А.А., Кривчиков М.А.
  - #2017619966, 12 сентября
- - 2017 Интерпретатор языка сборки для семейства языков программирования Рефал с поддержкой функций высшего порядка (SOFT)
  - Автор: Кривчиков М.А.
  - #2017619963, 12 сентября

Отчеты

Награды и премии
- - 2013 Стипендия Президента Российской Федерации
  - Лауреат: Кривчиков М.А.
  - Министерство образования и науки Российской Федерации, Россия

Членство в диссертационных советах
- - 19 декабря 2017 - 31 декабря 2022 МГУ.05.01, МГУ имени М.В. Ломоносова, Механико-математический факультет
  - 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  - ученый секретарь

Диссертация
- - 2015 Формальные модели и верификация свойств программ с использованием промежуточного представления
  - Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  - Автор: Кривчиков М.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
  - Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  - Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  - Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  - Ведущая организация: ФГБУН «Институт системного программирования Российской Академии Наук»
  - Оппоненты: Пальчунов Д.Е., Махортов С.Д.

Руководство дипломными работами
- - 2017 Математическая модель реляционной базы данных на основе лямбда-исчисления с зависимыми типами
  - Научные руководители: Васенин В.А., Кривчиков М.А.
  - Автор: Е.В.Шульгин (Специалист)
- - 2015 Разработка и апробация модели чисел с плавающей точкой на базе лямбда-исчисления с зависимыми типами
  - Научные руководители: Васенин В.А., Кривчиков М.А.
  - Автор: С.В.Антонов (Специалист)

Руководство курсовыми работами
- - 2016 Построение математической модели реляционной базы данных на основе лямбда-исчисления с зависимыми типами
  - Научные руководители: Васенин В.А., Кривчиков М.А.
  - Автор: Е.В.Шульгин (Специалист)

Авторство учебных курсов
- - 2015 Математические модели программ и языков программирования (Software and programming language theory). Курс на английском языке.
  - Авторы: Васенин В.А., Кривчиков М.А.
  - курс на иностранном языке
- - 2015 Математические модели вычислений
  - Авторы: Кривчиков М.А., Васенин В.А.

Преподавание учебных курсов
- - с 10 февраля 2016 Математические модели программ и языков программирования (Software and programming language theory). Курс на английском языке.
  - МГУ имени М.В. Ломоносова, Механико-математический факультет
  - обязательная, по выбору (спецкурс), лекции, 36 часов
- - с 6 октября 2015 Математические модели вычислений
  - МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра вычислительной математики
  - обязательная, по выбору (спецкурс), лекции, 36 часов
- - с 1 сентября 2014 Практикум на ЭВМ
  - МГУ имени М.В. Ломоносова, Механико-математический факультет
  - обязательная, базовой части, практические занятия, 72 часов

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ЦЭМИ РАН

Кривчиков Максим Александрович пользователь ответственный

МГУ имени М.В. Ломоносова, Межфакультетская кафедра математического моделирования и компьютерных исследований, доцент, с 10 октября 2016, по совместительству

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра вычислительной математики, доцент, с 2 декабря 2019, по совместительству

кандидат физико-математических наук с 2015 года

Количество цитирований статей в журналах по данным Web of Science: 3, Scopus: 7
РИНЦ:

IstinaResearcherID (IRID): 211429

ResearcherID: L-6060-2015

Scopus Author ID: 55481037300

ORCID: 0000-0002-2576-4408

Деятельность

Статьи в журналах

Статьи в сборниках

Доклады на конференциях

Тезисы докладов

НИРы

Свидетельства о регистрации прав на программное обеспечение

Отчеты

Награды и премии

Членство в диссертационных советах

Диссертация

Руководство дипломными работами

Руководство курсовыми работами

Авторство учебных курсов

Преподавание учебных курсов