Крис Уманс
Кристофер Уманс | |
|---|---|
| Национальность | Американский |
| Альма-матер | Колледж Уильямс , Калифорнийский университет, Беркли |
| Известный | Вычислительная сложность , алгоритмы , трудность аппроксимации , умножение матриц |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Калифорнийский технологический институт |
| Докторантура | Христос Пападимитриу |
Кристофер Уманс — профессор компьютерных наук на факультете вычислительной техники и математических наук Калифорнийского технологического института . Он известен своими работами по алгоритмам , вычислительной сложности , алгебраической сложности и твердости аппроксимации .
Академическая биография
[ редактировать ]Уманс учился в колледже Уильямс , где в 1996 году получил степень бакалавра математики и информатики. Затем он получил степень доктора компьютерных наук в Калифорнийском университете в Беркли в 2000 году под руководством Христаса Пападимитриу . После получения докторской степени он работал научным сотрудником в Microsoft Research, пока не присоединился к Калифорнийскому технологическому институту в 2002 году.
Исследовать
[ редактировать ]Исследования Уманса в основном сосредоточены на алгоритмах и их сложности. Он внес заметный вклад в различные области этой области, включая генерацию случайных чисел , расширители и алгоритмы умножения матриц . Ярким примером является его работа по разработке теоретико-группового подхода к умножению матриц. [1] [2] [3] [4] [5] [6] [7]
В 2008 году Уманс и его ученик Дэйв Бухфюрер разрешили гипотезу 1979 года о сложности минимизации неограниченной булевой формулы ; Результат получил награду за лучшую статью на ICALP . [8]
Награды и почести
[ редактировать ]Уманс получил награду NSF CAREER в 2004 году и стипендию Альфреда П. Слоана в 2005 году. [9] Кроме того, его работа получила награды «Лучшая статья» на Международной конференции по автоматам, языкам и программированию (ICALP) и конференции IEEE по вычислительной сложности (CCC).
Ссылки
[ редактировать ]- ^ Кон, Х.; Уманс, К. (2003), «Теоретико-групповой подход к быстрому умножению матриц», 44-й ежегодный симпозиум IEEE по основам информатики, 2003. Труды , стр. 438–449, arXiv : math/0307321 , doi : 10.1109/ SFCS.2003.1238217 , ISBN 978-0-7695-2040-7 , S2CID 5890100
- ^ Кон, Генри; Кляйнберг, Роберт; Сегеди, Балаш; Уманс, Кристофер (2005). «Теоретико-групповые алгоритмы умножения матриц» . Учеб. 46-й ежегодный симпозиум IEEE по основам компьютерных наук (FOCS) . IEEE. стр. 379–388. arXiv : math/0511460 . дои : 10.1109/SFCS.2005.39 .
- ^ Кон, Генри; Уманс, Кристофер (2013). «Быстрое умножение матриц с использованием связных конфигураций» . Учеб. 24-й ежегодный симпозиум ACM-SIAM по дискретным алгоритмам (SODA) . СИАМ. стр. 1074–1087. arXiv : 1207.6528 . дои : 10.1137/1.9781611973105.77 .
- ^ Алон, Нога; Шпилька, Амир; Уманс, Кристофер (2013). «О подсолнухах и умножении матриц» . Вычислительная сложность . 22 (2): 219–243. дои : 10.1007/s00037-013-0060-1 .
- ^ Блазиак, Иона; Черч, Томас; Кон, Генри; Грочоу, Джошуа А.; Наслунд, Эрик; Савин, Уильям Ф.; Уманс, Кристофер (2017). «О наборах ограничений и теоретико-групповом подходе к умножению матриц» . Дискретный анализ . arXiv : 1605.06702 . дои : 10.19086/da.1245 .
- ^ Блазиак, Иона; Черч, Томас; Кон, Генри; Грочоу, Джошуа А.; Уманс, Кристофер (2017). «Какие группы поддаются доказательству второй степени матричного умножения?». arXiv : 1712.02302 [ math.GR ].
- ^ Блазиак, Иона; Кон, Генри; Грочоу, Джошуа А.; Пратт, Кевин; Уманс, Кристофер (2023). «Умножение матриц через группы матриц». 14-я конференция «Инновации в теоретической информатике» (ITCS 2023) . Замок Дагштуль – Центр информатики Лейбница. стр. 19:1–19:16. дои : 10.4230/LIPIcs.ITCS.2023.19 .
- ^ Бухфюрер Давид; Уманс, Кристофер (январь 2011 г.). «Сложность минимизации булевых формул» . Журнал компьютерных и системных наук (JCSS) . 77 (1): 142–153. дои : 10.1016/j.jcss.2010.06.011 . Это расширенная версия доклада конференции: Бухфюрер Давид; Уманс, Кристофер (2008). «Автоматы, языки и программирование» (PDF) . В Луке Ачето; Иван Дамгорд; и др. (ред.). Автоматы, языки и программирование: 35-й Международный коллоквиум, ICALP 2008, Рейкьявик, Исландия, 7–11 июля 2008 г., Материалы, Часть I. Конспекты лекций по информатике (LNCS) 5125. Том. 5125. Берлин/Гейдельберг, Германия: Springer-Verlag . стр. 24–35. дои : 10.1007/978-3-540-70575-8_3 . ISBN 978-3-540-70574-1 . Архивировано (PDF) из оригинала 14 января 2018 г. Проверено 14 января 2018 г. Работа получила награду за лучшую статью в категории А «Алгоритмы, автоматы, сложность и игры».
- ^ Слоан Феллоуз
