Мы в социальных сетях
Мы в социальных сетях

Леонид Меркин

Профессор @ МФТИ, НИУ ВШЭ
Москва

Обо мне :

Прикладной математик, Computer Scientist и C++ гуру. Doctor of Mathematics (TU Delft, The Netherlands, 1997). В 2020-22 гг -- научный руководитель проекта InnoChain по созданию первой в мире формально-верифицированной системы распределенного реестра. В наст.вр. -- профессор Департамента информатики НИУ ВШЭ в Санкт-Петербурге. Также преподает в МФТИ (Физтех-школа прикладной математики и информатики). Основные области деятельности -- финансовая математика, стохастический анализ, численные методы, теория типов, формальная верификация ПО, высоконадежные системы реального времени, современные стандарты языка C++.

Доклады спикера Доклады спикера

Леонид Меркин
Профессор @ МФТИ, НИУ ВШЭ
Москва
Современный C++ для высоконадежных вычислений в области динамики космических аппаратов
из Доклады

    Рассматривается задача повышения уровня надежности mission-critical IT решений в российской аэрокосмической индустрии, на основе технологий программирования с развитыми системами типов, а именно C++ стандартов 11—23.

    Для этой цели реализованы C++ библиотеки с открытым исходным кодом: DimTypes и SpaceBallistics. Библиотека DimTypes реализует систему размерных типов на основе compile-time Z_p арифметики, а SpaceBallistics — type-safe модели динамики ракет-носителей и космических аппаратов, методы дизайна и оптимизации траекторий.

    Данные библиотеки могут рассматриваться как прототипы высоконадежных IT решений для российской аэрокосмической индустрии; они также используются в академических целях.

    • День выступления: 19.04.2025
    • Время начала: 14:40
    • Время окончания: 15:20