084. Научная школа А. П. Ершова: системы программирования и информатики

Алексей Андреевич Ляпунов сделал сильный инициирующий вклад в формирование ряда научных направлений, в частности – теоретического и системного программирования. Кроме того, ему принадлежит важная роль в формировании системы олимпиад и физико-математических школ) как системы работы с талантливыми школьниками. Его ученик Андрей Петрович Ершов в существенной степени продолжил развивать данный круг вопросов, ныне эти вопросы и прилегающие к ним по-прежнему в центре внимания, теперь уже в Институте систем информатики им. А. П. Ершова СО РАН.
Доклад посвящен текущему состоянию работ ИСИ СО РАН в области систем программирования и информатики в их историческом контексте. Рассматриваются инструментальные и прикладные системы, языки и системы параллельного программирования, системы поддержки применения графов и графовых моделей, системы визуализации графов и графовых моделей, информационные системы, а также системы школьной и олимпиадной информатики.