Ричард Райан Уильямс, известный как Райан Уильямс (1979 г.р.), — американский ученый в области теоретической информатики, известный своими работами по теории сложности вычислений и алгоритмам.

Райан Уильямс
Дата рождения 1979
Страна
Род деятельности специалист в области информатики, исследователь
Научная сфера теория сложности вычислений
Место работы
Альма-матер
Научный руководитель Мануэль Блюм

Образование

править

Уильямс окончил Школу математики и естественных наук Алабамы, затем получил степень бакалавра математики и информатики в Корнелльском университете в 2001 году[5] и докторскую степень по информатике в 2007 году в Университете Карнеги-Меллона под руководством Мануэля Блюма.[6] С 2010 по 2012 год он был членом теоретической группы исследовательского центра IBM в Альмадене. С осени 2011 по осень 2016 года он занимал должность профессора в Стэнфордском университет. С января 2017 является профессором на факультете компьютерных наук в Массачусетском технологическом институте.[7]

Исследования

править

Уильямс был членом программного комитета Симпозиума по теории вычислений в 2011 году и различных других конференций. Он получил награды Рона В. Бука за лучшую студенческую работу на конференции IEEE по вычислительной сложности (CCC) в 2005 и 2007 годах[8] и награду за лучшую студенческую работу на Международном коллоквиуме по автоматам, языкам и программированию (ICALP) в 2004 году от Европейской ассоциации теоретической информатики (EATCS).[9]

Результат Уильямса о том, что класс сложности NEXP не содержится в классе сложности ACC0, получил награду за лучшую статью на конференции по вычислительной сложности в 2011 году.[10] Известный исследователь теории сложности Скотт Ааронсон назвал этот результат «одним из самых впечатляющих за десятилетие».[11] В 2024 году за эту работу Уильямс получил Премию Гёделя.[12]

Уильямс также работал над вычислительной сложностью k-анонимности.[13]

Личная жизнь

править

Райан женат на Вирджинии Василевской Уильямс, которая также является известным исследователем в области теоретической информатики.

Ссылки

править
  1. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
  2. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
  3. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
  4. https://orcid.org/0000-0003-2326-2233
  5. Curriculum vitae.
  6. Уильямс, Райан (англ.) в проекте «Математическая генеалогия»
  7. Ryan Williams | MIT CSAIL Theory of Computation (англ.). toc.csail.mit.edu. Дата обращения: 18 декабря 2021.
  8. Proceedings of 20th Annual IEEE Conference on Computational Complexity (CCC'05) San Jose, CA June 11-June 15, ISBN 0-7695-2364-1, and Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07) San Diego, California, June 13-March 16, ISBN 0-7695-2780-9.
  9. Best Student ICALP Paper. European Association for Theoretical Computer Science (EATCS).
  10. Program for CCC2011 at http://computationalcomplexity.org/
  11. State of circuit lower bounds now slightly less humiliating.
  12. The 2024 Gödel Prize (англ.). EATCS.
  13. Meyerson, Adam. Proceedings of the Twenty-Third ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '04) / Adam Meyerson, Ryan Williams. — New York, NY, USA : ACM, 2004. — P. 223–228. — ISBN 978-1581138580. — doi:10.1145/1055558.1055591.

Внешние ссылки

править