Леонард Макс Адлеман — американский учёный-теоретик в области компьютерных наук, профессор компьютерных наук и молекулярной биологии в Университете Южной Калифорнии. Он известен как соавтор системы шифрования RSA и ДНК-вычислений. RSA широко используется в приложениях компьютерной безопасности, включая протокол HTTPS.
Роберт Эндре Тарджан — американский учёный в области теории вычислительных систем.
Стивен Артур Кук — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.
Ричард Мэннинг Карп — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Джон Эдвард Хопкрофт — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Ю́рис Ха́ртманис — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
Мануэль Блюм — учёный в области теории вычислительных систем, профессор по информатике в университете Карнеги — Меллон. Награждён в 1995 году премией Тьюринга за достижения в исследовании основ теории сложности вычислений и их применении в криптографии и верификации программ.
Э́ндрю Я́о Цичжи́ — китайский и прежде американский учёный в области теории информатики. Профессор университета Цинхуа (Пекин). Член Национальной академии наук США (1998). Иностранный член Китайской академии наук (2004), с 2017 — действительный член (академик). Лауреат премий Кнута (1996) и Тьюринга (2000), а также Киото (2021). Основные работы — в области теории сложности вычислений и квантовой криптографии.
Питер Шор — американский учёный. Автор работ в области геометрии, теории вероятностей, комбинаторики, теории алгоритмов и квантовой информатики. Наиболее известен своими основополагающими результатами в теории квантовых вычислений.
Скотт Джоэл Ааронсон — специалист в области теории вычислительных машин и систем, преподаватель факультета компьютерных наук Техасского университета в Остине.
Лесли Гэбриел Вэлиант — британский и американский учёный в области теоретической информатики, лауреат премии Тьюринга 2010 года.
Христос Харилаос Пападимитриу — греческий и американский учёный-информатик. Член Национальных Академии наук (2009) и Инженерной академии США, профессор Калифорнийского университета в Беркли.
Алексе́й Ю́рьевич Кита́ев — российский и американский физик, специалист в области квантовой физики. Кандидат физико-математических наук. Профессор Калифорнийского технологического института, член НАН США (2021). Член международного консультативного совета Российского квантового центра. Номинант Нобелевской премии по физике 2021 года.
Га́ри Ли Ми́ллер — американский математик, профессор информатики университета Карнеги — Меллона.
В теории вычислительной сложности теорема PCP утверждает, что любое решение задачи принятия решения в классе сложности NP имеет вероятностно проверяемое доказательство постоянной сложности запроса и логарифмической сложности случайности.
Ави Вигдерзон — израильский математик, специалист в области теоретической информатики, лауреат международных премий в области математики и информатики, в том числе Абелевской премии (2021) и премии Тьюринга (2023); член Национальной академии наук США с 2013 года.
Миха́лис Яннака́кис — греческий учёный в области компьютерных наук, профессор Колумбийского университета. Известен своими работами в области теории сложности вычислений, баз данных и других смежных областях. Лауреат Премии Кнута (2005). Член Национальной академии наук США (2018).
Санджив Арора — американский учёный-информатик индийского происхождения, специалист по теории сложности вычислений. Член Национальной АН США (2018), доктор философии (1994), профессор Принстонского университета, с которым связана практически вся его карьера — он преподаёт там после получения докторской степени с 1994 года.
Алгоритм Бернштейна — Вазирани — квантовый алгоритм, решающий задачу нахождения -битного числа, скрытого в черном ящике. Предложен Итаном Бернштейном и Умешем Вазирани в 1993 году. Данный алгоритм решает поставленную задачу значительно быстрее, чем это возможно в неквантовой постановке. Алгоритм может применяться в базах данных, атаках на блочные шифры, тестах производительности для квантовых компьютеров, был реализован на 5- и 16-кубитных квантовых компьютерах IBM.
Андрис Амбайнис — латвийский информатик, учёный в области компьютерных наук, специализирующийся в областях квантовой информации и квантовых вычислений. Профессор, член Академии наук Латвии, лауреат Большой медали Академии наук Латвии (2013).