Академик
Шеремет Игорь Анатольевич
Игорь
Анатольевич Шеремет родился 23 марта 1956 года.
В 1977 году окончил
с отличием Военную академию имени Ф.Э. Дзержинского
(ныне — Военная академия Ракетных войск стратегического назначения имени Петра
Великого).
В 2009-2012 гг. возглавлял
Военно-научный комитет Вооруженных Сил РФ, также был заместителем начальника
Генштаба. В 2012-2015 гг. — член Военно-промышленной комиссии при Правительстве
РФ и коллегии ВПК России, председатель совета ВПК по АСУ, связи, разведке,
радиоэлектронной борьбе и информационному противоборству, курировал
радиоэлектронную промышленность России.
В 2015-2022 гг.
— заместитель директора по науке Российского фонда фундаментальных исследований.
Курировал междисциплинарные исследования, проводившиеся на гранты РФФИ в
интересах федеральных органов власти и крупнейших корпораций РФ («Ростех»,
«Росатом», «Роскосмос», «Российские железные дороги» и др.), а также региональную
и международную деятельность РФФИ.
С 2024 года — главный научный сотрудник Геофизического
центра РАН.
В течение ряда
лет работал профессором на кафедре «Информационная безопасность» МГТУ им. Н.Э.
Баумана, возглавлял кафедру «Информационная безопасность» Финансового
университета при Правительстве РФ.
Генерал-майор (с 2012 года в запасе).
Действительный государственный советник
РФ 3 класса.
Доктор
технических наук с 1994 года, профессор с 1998 года.
Член-корреспондент
РАН с 2016 года, академик РАН с 2022 года — Отделение нанотехнологий и
информационных технологий РАН.
С 2019 года — член президиума Высшей
аттестационной комиссии РФ.
В 2018-2023 гг.
— сопредседатель проблемной группы «Перспективные математические инструменты
прикладного системного анализа, основанного на данных» Комитета по данным
(CODATA) Международного совета по науке (ICSU), в 2014-2020 гг. — член
Научно-консультативного комитета при Международном институте прикладного
системного анализа (IIASA), в 2020-2022 гг. — председатель совместной рабочей
группы CODATA и IIASA «Большие данные и системный анализ». В 2022 году он был
включен в число ведущих прикладных математиков и системных аналитиков мира —
соавторов книги «Математика для действия. Научно обоснованная поддержка
принятия решений», изданной ЮНЕСКО.
С 2023 года — почётный
член (Fellow) Китайской компьютерной федерации (China Computer Federation, CCF),
с 2024 года — приглашённый профессор-руководитель (Chair Professor) Харбинского
политехнического университета.
Член Секции
вычислительных, локационных, телекоммуникационных систем и элементной базы ОНИТ
РАН, председатель Научного совета РАН «Информационная безопасность», член
Научного совета РАН «Квантовые технологии», заместитель председателя Комитета
РАН по системному анализу, заместитель председателя Научного совета по
робототехнике и мехатронике РАН, в 2011-2021 гг. вице-президент Академии
военных наук, руководитель отделения стратегического и технологического
прогнозирования АВН.
Награжден медалями
ордена «За заслуги перед Отечеством» I и II
степеней, орденом «За военные заслуги».
Лауреат Государственной
премии РФ имени Маршала Советского Союза Г. К. Жукова — за разработку основ
специального сдерживания, лауреат премии Правительства РФ в области науки и
техники — за комплекс работ по обеспечению кибербезопасности автоматизированных
банковских систем нового поколения.
В первой
половине 1980-х годов, в период повсеместного развития различных модификаций
реляционной модели данных и ассоциированных с ней моделей представления знаний,
И.А. Шеремет предложил принципиально иной подход к формализации и
аксиоматизации баз данных и знаний. В основу этого подхода положено
представление базы данных (БД) в виде множества символьных строк («фактов»), а
базы знаний (БЗ) — в виде специальным образом модифицированной («расширенной»)
системы Поста (РСП), определяющей логику формирования новых фактов из ранее
сформированных и/или имеющихся в БД. В рамках этого же подхода им были
разработаны методы ассоциативной организации больших БЗ и БД для минимизации
избыточного перебора в процессе логического вывода ответов на обращения к РСП,
методы сжатия фактов для хранения и передачи, а также комплекс методов и
архитектурных решений для распараллеливания логического вывода посредством его
макроконвейеризации применительно к семейству РСП, обеспечивающих
распределённую интеллектуальную обработку интенсивных гетерогенных
информационных потоков. При этом система логического вывода РСП непосредственно
реализует мультиагентную технологию смысловой обработки и накопления
поступающих фактов, в том числе естественно-языковых текстов, в связи с чем РСП
уже в 1980-е годы могли использоваться для реализации не только простейших
LLM/LMM, но и существенно более адекватных моделей разговорного искусственного
интеллекта. Подход был впервые успешно реализован во второй половине 1980-х
годов на мейнфреймах серии ЕС. Ядром его программной реализации была созданная
в 1986 году оригинальная система управления так называемыми страничными базами
данных, оперировавшая динамическими гипертекстами и представлявшая собой, по
существу, прообраз современных веб-серверов. Одновременно был создан прототип
веб-клиента для персональных компьютеров. С конца 1990-х годов различные
аппаратно-программные реализации потоковых РСП эффективно применяются при
создании сетецентричных систем реального времени, оперирующих большими распределёнными
БД в крайне изменчивых условиях.
С 2000-х годов
И.А. Шеремет разрабатывает теорию рекурсивных мультимножеств и методы её
применения для решения задач системного анализа, исследования операций и
цифровой экономики.
И.А. Шеремет — создатель
научной школы «Специальные информационные технологии», подготовил 5 докторов и
13 кандидатов технических наук.
Главный редактор
журналов «Оборонный комплекс – научно-техническому прогрессу России» и
«Информационные технологии в проектировании и производстве», председатель
редсовета журнала «Вопросы кибербезопасности», член редсовета журнала
«Искусственный интеллект и принятие решений».