Игорь Анатольевич Шеремет (род. 23 марта 1956 года) — российский учёный, специалист в области информационных технологий, системного анализа, искусственного интеллекта, кибербезопасности, вычислительных и телекоммуникационных систем, академик Российской академии наук.
 Генерал-майор (с 2012 года в запасе), действительный государственный советник Российской Федерации 3 класса (c 2014 года).
 Доктор технических наук, профессор.
 С 2009 по 2012 год — заместитель начальника Генерального штаба Вооружённых Сил Российской Федерации, возглавлял Военно-научный комитет Вооружённых Сил.
 С 2012 по 2015 год — член Военно-промышленной комиссии при Правительстве Российской Федерации и коллегии ВПК России, председатель Совета ВПК по АСУ, связи, разведке, радиоэлектронной борьбе и информационному противоборству, курировал радиоэлектронную промышленность России.
 С 2015 по 2022 год - заместитель директора по науке Российского фонда фундаментальных исследований, курировал междисциплинарные исследования, проводившиеся на гранты РФФИ в интересах федеральных органов власти и крупнейших корпораций Российской Федерации («Ростех», «Росатом», «Роскосмос», «Российские железные дороги» и др.), а также региональную и международную деятельность РФФИ.
 В 2016 году избран членом-корреспондентом РАН по отделению нанотехнологий и информационных технологий, в 2022 - академиком РАН по этому же отделению.
 С 2019 года член президиума Высшей аттестационной комиссии при Минобрнауки России.
 С 2023 года председатель совета по приоритетному направлению Стратегии научно-технологического развития Российской Федерации "Противодействие техногенным, биогенным, социокультурным угрозам, терроризму и идеологическому экстремизму, а также киберугрозам и иным источникам опасности для общества, экономики и государства".
 Автор и соавтор более 300 научных трудов, в том числе 26 книг, 13 из которых изданы за рубежом (Великобритания, Германия, Индия, КНР, Франция, Швейцария), и двух патентов. Подготовил пять докторов и 13 кандидатов технических наук.
 В первой половине 1980-х годов, в период повсеместного развития различных модификаций реляционной модели данных и ассоциированных с ней моделей представления знаний, предложил принципиально иной подход к формализации и аксиоматизации баз данных и знаний. В основу этого подхода положено представление базы данных (БД) в виде множества символьных строк («фактов»), а базы знаний (БЗ) - в виде специальным образом модифицированной («расширенной») системы Поста (РСП), определяющей логику формирования новых фактов из ранее сформированных и/или имеющихся в БД (Шеремет И.А. Об одном формализме для представления знаний. - Программирование, 1993, №2).
В рамках этого же подхода им были разработаны методы ассоциативной организации больших БЗ и БД для минимизации избыточного перебора в процессе логического вывода ответов на обращения к РСП, методы сжатия фактов для хранения и передачи (Шеремет И.А. Эффективное кодирование формализованных сообщений. - Кибернетика и системный анализ, 1992, №3;
Sheremet I.A. Grammatical Codings. - Hannover: EANS, 2012. P.54. - ISBN 978-3-942944-19-9), а также комплекс методов и архитектурных решений для распараллеливания логического вывода посредством его макроконвейеризации применительно к семейству РСП, обеспечивающих распределённую интеллектуальную обработку интенсивных гетерогенных информационных потоков.
Подход был впервые успешно реализован во второй половине 1980-х годов на мейнфреймах серии ЕС. Ядром его программной реализации была созданная в 1986 г. оригинальная система управления так называемыми страничными базами данных, оперировавшая динамическими гипертекстами и представлявшая собой, по существу, прообраз современных веб-серверов (Шабуров Е.П., Шеремет И.А. Реализация и применение символьно-продукционных интеллектуальных программных сред. - Управляющие системы и машины, 1991, №5). Одновременно был создан прототип веб-клиента для персональных компьютеров (Бушенков В.А., Шеремет И.А. Система управления базами неформализованных данных для персональных ЭВМ. - Труды Всесоюзн. научн. конф. «Проблемы моделирования экономических экспериментов.» - М.: ВНИИПОУ ГКНТ СССР, 1986).
С конца 1990-х годов различные аппаратно-программные реализации потоковых РСП эффективно применяются при создании сетецентричных систем реального времени, оперирующих большими распределёнными БД в крайне изменчивых условиях.
 С 2000-х годов разрабатывает теорию рекурсивных мультимножеств и методы её применения для решения задач системного анализа, исследования операций и цифровой экономики. В рамках этого направления им предложен математический инструментарий, сочетающий в себе достоинства классического математического программирования и современной инженерии знаний - семейство мультимножественных грамматик и метаграмматик – и получены фундаментальные результаты в области анализа и обеспечения устойчивости критических инфраструктур и использующих их больших социотехнических систем к деструктивным воздействиям (стихийным бедствиям, техногенным катастрофам, террористическим актам, кибератакам, экономическим санкциям). В 2022 году включен в число тридцати двух ведущих прикладных математиков и системных аналитиков мира – соавторов изданной ЮНЕСКО книги «Математика для действия. Научно обоснованная поддержка принятия решений».
 Является заместителем председателя Комитета РАН по системному анализу, заместителем председателя Научного совета по робототехнике и мехатронике РАН, членом Научного совета РАН «Квантовые технологии» и членом Научного совета «Научные основы построения вычислительных, телекоммуникационных и локационных систем» РАН. В 2014-2020 годах являлся членом Научно-консультативного комитета при Международном институте прикладного системного анализа (IIASA), в 2018-2023 - сопредседателем проблемной группы "Перспективные математические инструменты прикладного системного анализа, основанного на данных" Комитета по данным (CODATA) Международного совета по науке (ISC), в 2020-2022 - председателем совместной рабочей группы CODATA и IIASA «Большие данные и системный анализ».
 Создатель научной школы «Специальные информационные технологии». Научный руководитель - председатель научно-технического совета Научно-производственного объединения «Эшелон», главным направлением деятельности которого является создание и внедрение средств и систем обеспечения кибербезопасности. Научный руководитель Института компьютерных наук и кибербезопасности Санкт-Петербургского политехнического университета Петра Великого. За разработку основ специального сдерживания И.А. Шеремету и группе его коллег в 2013 году присуждена Государственная премия Российской Федерации имени Маршала Советского Союза Г.К. Жукова. В 2018 году в составе группы сотрудников НПО «Эшелон», ПАО «Сбербанк» и СПбПУ Петра Великого удостоен премии Правительства Российской Федерации за комплекс работ по обеспечению кибербезопасности автоматизированных банковских систем нового поколения.
 Председатель редакционного совета журнала «Вопросы кибербезопасности», входящего в RSCI на платформе Web of Science, ядро РИНЦ и квартиль К1 перечня изданий, рекомендуемых ВАК.