Презентация базовой кафедры ИСП РАН факультета компьютерных наук

22 сентяюря в 18:00 на факультете компьютерных наук пройдет презентация Базовой кафедры Института системного программирования Роcсийской академии наук (ИСП РАН).

Программа мероприятия:

• Иван Владимирович Аржанцев, доктор физико-математических наук, декан факультета компьютерных наук НИУ ВШЭ
• Виктор Петрович Иванников, академик РАН, заведующий базовой кафедрой ИСП РАН

В докладе рассматриваются проблемы обеспечения корректности и надежности ответственного программного обеспечения, от правильности и надежности которого зависят критические важные процессы, где отказы и сбои могут привести к большим потерям и даже человеческим жертвам.

В основе доклада лежит опыт применения таких методов как формальная спецификация программных контрактов, тестирование на основе моделей, верификация программных моделей (software modelchecking), дедуктивная верификация в индустриальных проектах, где объектами верификации были операционные системы, телекоммуникационные протоколы, компиляторы и проекты микропроцессоров. Обсуждаются текущие достижения формальных методов разработки программ  в задачах моделирования и верификации реальных программно-аппаратных систем ответственного назначения.

Институт системного программирования (ИСП) Роcсийской академии наук (РАН) был основан 25-го января 1994-го года на базе бывшего Института проблем кибернетики РАН. Основные активностями института являются фундаментальные исследования, прикладные исследования в интересах индустрии и образование.

Основными направлениями фундаментальных научных исследований и прикладных разработок ИСП РАН являются:

• анализ бинарного кода, обратная инженерия.
• компиляторные технологии.
• базы данных и базы знаний.
• параллельные и распределенные вычисления.
• тестирование, верификация и валидация программных продуктов.
• дискретная математика и численный анализ.

  ---