Информа́тика — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Параллельные вычисления — способ организации компьютерных вычислений, при котором программы разрабатываются как набор взаимодействующих вычислительных процессов, работающих параллельно (одновременно). Термин охватывает совокупность вопросов параллелизма в программировании, а также создание эффективно действующих аппаратных реализаций. Теория параллельных вычислений составляет раздел прикладной теории алгоритмов.
Джон Маккарти — американский информатик, автор термина «искусственный интеллект» (1956), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
Даббала Раджагопал «Радж» Редди — учёный в области теории вычислительных систем, профессор по информатике и робототехнике при университете Карнеги — Меллон. Награждён в 1994 году премией Тьюринга за достижения в исследовании искусственного интеллекта, в частности экспертных систем.
Э́ндрю Я́о Цичжи́ — китайский и прежде американский учёный в области теории информатики. Профессор университета Цинхуа (Пекин). Член Национальной академии наук США (1998). Иностранный член Китайской академии наук (2004), с 2017 — действительный член (академик). Лауреат премий Кнута (1996) и Тьюринга (2000), а также Киото (2021). Основные работы — в области теории сложности вычислений и квантовой криптографии.
Фрэнсис Элизабет Аллен — американский учёный в области теории вычислительных систем. Первая женщина, удостоенная премии Тьюринга (2006).
Эдмунд Мельсон Кларк младший — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон.
Премия Дейкстры — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет. Сопровождается денежным вознаграждением размером в $2000.
Лесли Гэбриел Вэлиант — британский и американский учёный в области теоретической информатики, лауреат премии Тьюринга 2010 года.
Информатик — учёный, изучающий информатику, теоретическую основу информации, вычисление и их применение.
IBM 801 — проект экспериментального мини-компьютера компании IBM, разрабатывавшийся группой разработчиков под руководством Джорджа Радина. Как и вся техника IBM военного назначения, создавался в режиме секретности. Созданная в рамках проекта архитектура использовалась в различных целях в продуктах IBM вплоть до 1980-х гг.
Сильвио Микали — итальянский и американский учёный в области теории вычислительных систем, лауреат премии Тьюринга 2012 года.
Ави Вигдерзон — израильский математик, специалист в области теоретической информатики, лауреат международных премий в области математики и информатики, в том числе Абелевской премии (2021) и премии Тьюринга (2023); член Национальной академии наук США с 2013 года.
Анна Р. Карлин — учёный в области информатики, профессор Вашингтонского университета. Имеет индекс Хирша 45, а на её самую цитируемую статью ссылаются более полутора тысяч других академических статей и книг, и сотни — на не менее известные статьи по когерентности кэша в мультипроцессорах, одновременному управлению несколькими уровнями иерархии памяти, алгоритмам для прокси-серверов и хеш-таблицам с постоянным худшим временем доступа. Прежде всего Карлин известна работами в области создания и анализа алгоритмов, применением вероятностных методов в информатике, операционных системах, распределённых системах, вычислительной сложности, анализе производительности, компьютерной музыке и цифровым аудиосигналам. Её вклад касается так называемых онлайн-алгоритмов, то есть алгоритмов, которым входящие данные нужны последовательно, так как они способны обрабатывать их один за другим, без необходимости знать общий размер или другие общие свойства. Традиционно онлайн-алгоритмы оцениваются с помощью соревновательного анализа — проще говоря, путём сравнения производительности с аналогичными офлайн-алгоритмами. Анализ онлайн-алгоритмов и вероятностных алгоритмов Карлин применяет к задачам алгоритмической теории игр, распределённым вычислениям и добыче данных.
Нэнси Мари Амато — американский учёный в области информатики. Амато известна исследованиями в области алгоритмических основ планирования движений, вычислительной биологии, вычислительной геометрии и параллельных вычислений. Она также с 2000 года входит в руководящий комитет CRA-W, рабочей группы Ассоциации вычислительных исследований по продвижению участия женщин в информатике и технологиях.
Пол ван Ооршот — криптограф и исследователь компьютерной безопасности, профессор информатики в Карлтонском университете, где он возглавляет Канадскую кафедру исследований в области аутентификации и компьютерной безопасности. Он является действительным членом Королевского общества Канады.
SIGACT — специальная группа в ACM, целью которой является поддержка исследований в теоретической информатике. Основана Патриком Фишером в 1968 году.
Морис Херлихи — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
Спекулятивное выполнение — это метод оптимизации, при котором компьютерная система выполняет некоторую задачу, которая может оказаться ненужной. Работа выполняется до того, как станет известно, действительно ли она необходима, чтобы предотвратить задержку, которая может возникнуть при выполнении работы после того, как станет известно, что она необходима. Если выясняется, что работа в конце концов не нужна, большинство изменений, внесённых в работу, отменяется, а результаты игнорируются.
Джек Донгарра — американский учёный, математик, специалист в области информатики. Профессор кафедры электротехники и информатики в Университете Теннесси, директор-основатель Инновационной вычислительной лаборатории в Университете Теннесси, заслуженный научный сотрудник отдела информатики и математики в Ок-Риджской национальной лаборатории. Лауреат премии Тьюринга (2021).
