Райан Уильямс (ученый-компьютерщик) - Ryan Williams (computer scientist)

О других людях по имени Райан Уильямс см. Райан Уильямс (значения).
Райан Уильямс
Райан Уильямс в Дагстуле 10441.jpg
Уильямс (ноябрь 2010 г.)
Родившийся1979 (возраст 40–41)
НациональностьАмериканец
Альма-матерКорнелл Университет
Университет Карнеги Меллон
Научная карьера
ПоляТеория вычислительной сложности, Алгоритмы
УчрежденияУниверситет Карнеги Меллон
Исследовательский центр IBM в Альмадене
Стэндфордский Университет
ДокторантМануэль Блюм

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

Образование

Уильямс получил свой Степень бакалавра по математике и информатике от Корнелл Университет в 2001[1] и его Кандидат наук в информатике в 2007 г. Университет Карнеги Меллон под присмотром Мануэль Блюм.[2] С 2010 по 2012 год он был членом Теоретической группы Исследовательский центр IBM в Альмадене. С осени 2011 года по осень 2016 года он был профессором Стэнфордского университета. В январе 2017 года поступил на факультет в Массачусетский технологический институт [1].

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

Уильямс был членом программного комитета Симпозиум по теории вычислений в 2011 году и различные другие конференции. Он выиграл премию Ron V. Book за лучшую студенческую работу на IEEE. Конференция по вычислительной сложности в 2005 и 2007 годах,[3] и награду за лучшую студенческую работу Международный коллоквиум по автоматам, языкам и программированию в 2004 году из Европейская ассоциация теоретической информатики.[4]

Результат Уильямса о том, что класс сложности NEXP не содержится в АКК0 получил награду за лучшую работу на конференции по вычислительной сложности в 2011 году.[5] Теоретик сложности Скотт Ааронсон назвал результат «одним из самых ярких за десятилетие».[6]

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

Личная жизнь

Райан женат на Вирджиния Василевска Уильямс, также специалист по информатике.

Избранные публикации

  • Мейерсон, Адам; Уильямс, Райан (2004), "О сложности оптимального k-анонимность", Материалы двадцать третьего симпозиума ACM SIGMOD-SIGACT-SIGART по принципам систем баз данных (PODS '04), Нью-Йорк, Нью-Йорк, США: ACM, стр. 223–228, Дои:10.1145/1055558.1055591, ISBN  978-1581138580
  • Уильямс, Р. (2005), "Лучшие временные и пространственные нижние границы для SAT и связанных задач", Конференция IEEE по вычислительной сложности (CCC), стр. 40–49
  • Уильямс, Р. (2005), «Новый алгоритм для оптимального удовлетворения с двумя ограничениями и его последствия», Теоретическая информатика, 348 (2–3): 357–365, Дои:10.1016 / j.tcs.2005.09.023
  • Уильямс, Р. (2008), "Нижние границы пространства-времени для подсчета решений NP по модулю целых чисел", Вычислительная сложность, 17 (2): 179–219, Дои:10.1007 / s00037-008-0248-у
  • Уильямс, Р. (2011 г.), «Нижние границы неоднородной цепи ACC», Конференция IEEE по вычислительной сложности (CCC) (PDF), стр. 115–125, CiteSeerX  10.1.1.225.8935, Дои:10.1109 / CCC.2011.36, ISBN  978-1-4577-0179-5

Рекомендации

  1. ^ Биография Резюме (PDF), получено 2017-12-02
  2. ^ Райан Уильямс на Проект "Математическая генеалогия"
  3. ^ Материалы 20-й ежегодной конференции IEEE по вычислительной сложности (CCC'05) Сан-Хосе, Калифорния, 11–15 июня, г. ISBN  0-7695-2364-1, и Двадцать вторая ежегодная конференция IEEE по вычислительной сложности (CCC'07) Сан-Диего, Калифорния, 13 июня - 16 марта, ISBN  0-7695-2780-9.
  4. ^ «Лучшая студенческая работа ICALP». Европейская ассоциация теоретической информатики (EATCS).
  5. ^ Программа CCC2011 на http://computationalcomplexity.org/
  6. ^ Ааронсон, Скотт (8 ноября 2010 г.), «Состояние нижней границы схемы теперь чуть менее унизительно», Обзор технологий MIT.
  7. ^ Мейерсон и Уильямс (2004).

внешняя ссылка