Дональд Эрвин Кнут — американский учёный в области информатики, доктор философии (1963), эмерит-профессор Стэнфордского университета, член Американского философского общества (2012), преподаватель и идеолог программирования, автор 19 монографий и более 160 статей, разработчик нескольких известных программных технологий.
Премия Тьюринга — самая престижная премия по информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Ассоциация вычислительной техники — старейшая и наиболее крупная международная организация в компьютерной области. Объединяет около 83 000 специалистов. Штаб-квартира находится в Нью-Йорке.
Премия Дейкстры — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет. Сопровождается денежным вознаграждением размером в $2000.
Премия Гёделя — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, и EATCS, за выдающиеся труды по логике и теоретической информатике.
Теоретическая информатика — это научная область, предметом изучения которой являются информация и информационные процессы, в которой осуществляется изобретение и создание новых средств работы с информацией. Это подразделение общей информатики и математики, которое сосредотачивается на более абстрактных или математических аспектах вычислительной техники и включает в себя теорию алгоритмов.
Га́ри Ли Ми́ллер — американский математик, профессор информатики университета Карнеги — Меллона.
Ави Вигдерзон — израильский математик, специалист в области теоретической информатики, лауреат международных премий в области математики и информатики, в том числе Абелевской премии (2021) и премии Тьюринга (2023); член Национальной академии наук США с 2013 года.
Миха́лис Яннака́кис — греческий учёный в области компьютерных наук, профессор Колумбийского университета. Известен своими работами в области теории сложности вычислений, баз данных и других смежных областях. Лауреат Премии Кнута (2005). Член Национальной академии наук США (2018).
Эва Тардош — венгерско-американский математик. Профессор Корнеллского университета, заведующий кафедры информатики, член Национальной академии наук США (2013) и Американского философского общества (2020). Она написала более полутора сотен научных статей, довела до защиты более дюжины аспирантов и на 2016 год имеет индекс Хирша равный 58. Её самые широко цитируемые работы посвящены общему проектированию алгоритмов, решениям задач максимизации распространения влияния в социальной сети и оценке того, как влияет на работу сети эгоистическая маршрутизация.
Равиндран Каннан — индийский учёный, главный научный сотрудник Microsoft Research в Индии, где он руководит исследовательской группой алгоритмов. Он также является первым адъюнктом факультета информатики и автоматизации Индийского научного института.
Ричард Джей Липтон — американо-британский специалист компьютерных наук, который работает в области теоретической информатики, криптографии и ДНК-вычислений.
Синтия Дворк — американский теоретический информатик, специалист в области конфиденциальности. Доктор философии (1983), сотрудница Microsoft и прежде IBM, профессор Гарвардского университета, член Национальных Академии наук (2014) и Инженерной академии (2008) США, а также Американского философского общества (2016).
Теория вычислительного обучения — это подобласть теории искусственного интеллекта, посвящённая разработке и анализу алгоритмов машинного обучения.
SIGACT — специальная группа в ACM, целью которой является поддержка исследований в теоретической информатике. Основана Патриком Фишером в 1968 году.
Морис Херлихи — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
Санджив Арора — американский учёный-информатик индийского происхождения, специалист по теории сложности вычислений. Член Национальной АН США (2018), доктор философии (1994), профессор Принстонского университета, с которым связана практически вся его карьера — он преподаёт там после получения докторской степени с 1994 года.
Джеймс Хирам Моррис — учёный в области информатики. Занимал должность декана в школе информатики Карнеги — Меллона, а также в кампусе университета Карнеги — Меллона в кремниевой долине.
Одед Регев — израильско-американский учёный, теоретик информатики и математик. Лауреат премии Гёделя. Профессор информатики в Курантовском институте при Нью-Йоркском университете. Наиболее известен своими работами в области решётчатой криптографии, в частности постановкой задачи обучения с ошибками (LWE), криптоанализом схем GGH и NTRUSign, а также разработкой нового квантового алгоритма по факторизации чисел, превосходящего по эффективности алгоритм Шора.
Ричард Райан Уильямс, известный как Райан Уильямс, — американский ученый в области теоретической информатики, известный своими работами по теории сложности вычислений и алгоритмам.
