Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Кристофер Уманс
НациональностьСоединенные Штаты Американец
Альма-матерКолледж Уильямса , Калифорнийский университет, Беркли
ИзвестенВычислительная сложность , Алгоритмы , Трудность аппроксимации , Умножение матриц.
Научная карьера
ПоляИнформатика
УчрежденияКалифорнийский технологический институт
ДокторантХристос Пападимитриу

Кристофер Уманс - профессор компьютерных наук факультета вычислительных и математических наук Калифорнийского технологического института . Он известен работой над алгоритмами , вычислительной сложностью , алгебраической сложностью и трудностью аппроксимации .

Академическая биография [ править ]

Уманс учился в колледже Уильямс , где в 1996 году получил степень бакалавра математики и компьютерных наук. Затем он получил докторскую степень в области компьютерных наук в Калифорнийском университете в Беркли в 2000 году под руководством Христоса Пападимитриу . После получения докторской степени он работал исследователем в Microsoft Research до прихода в Калифорнийский технологический институт в 2002 году.

Исследование [ править ]

Исследования Уманса в основном сосредоточены на алгоритмах и сложности. Он внес заметный вклад в различные области этого пространства, включая генерацию случайных чисел , расширители и алгоритмы умножения матриц . Ярким примером является его работа по развитию теоретико-группового подхода к матричному умножению. [1]

В 2008 году Уманс и его ученик Дэйв Бухфюрер разрешили гипотезу 1979 года о сложности неограниченной минимизации булевых формул ; результат получил награду за лучшую работу на ICALP .[2]

Награды и награды [ править ]

Уманс получил награду NSF CAREER в 2004 г. и стипендию Альфреда П. Слоана в 2005 г. [3] Кроме того, его работа была отмечена наградами «Лучшая статья» на Международной конференции по автоматам, языкам и программированию (ICALP) и конференции IEEE. по вычислительной сложности (CCC).

Ссылки [ править ]

  1. ^ Кон, H .; Уманс, К. (2003), «Теоретико-групповой подход к быстрому умножению матриц», 44-й ежегодный симпозиум IEEE по основам компьютерных наук, 2003. Труды , стр. 438–449, arXiv : math / 0307321 , doi : 10.1109 / SFCS.2003.1238217 , ISBN 978-0-7695-2040-7
  2. ^ Buchfuhrer, Дэвид; Уманс, Кристофер (январь 2011 г.). «Сложность минимизации булевых формул» . Журнал компьютерных и системных наук (JCSS) . 77 (1): 142–153. DOI : 10.1016 / j.jcss.2010.06.011 .Это расширенная версия документа конференции: Buchfuhrer, David; Уманс, Кристофер (2008). «Сложность минимизации булевых формул» (PDF) . В Луке Ачето; Иван Дамгард; и другие. (ред.). Автоматные, Языки и программирование: 35 - я Международная коллоквиум, ICALP 2008, Рейкьявик, Исландия, 7-11 июля, 2008, Труды, Часть I . Конспект лекций по информатике (LNCS) 5125. Берлин / Гейдельберг, Германия: Springer-Verlag . С. 24–35. DOI : 10.1007 / 978-3-540-70575-8_3 . ISBN  978-3-540-70574-1. Архивировано (PDF) из оригинала на 2018-01-14 . Проверено 14 января 2018 . Он получил награду за лучшую работу в треке A «Алгоритмы, автоматы, сложность и игры».
  3. ^ Sloan Fellows

Внешние ссылки [ править ]

  • Профессиональная домашняя страница Криса Уманса