Кетан Малмулей - Ketan Mulmuley

Кетан Малмулей является профессором кафедры компьютерных наук в Чикагский университет, а иногда и приглашенным профессором в ИИТ Бомбей.[1] Он специализируется на теоретическая информатика, особенно теория сложности вычислений, и в последние годы работает над "теория геометрической сложности ", подход к P против проблемы NP с помощью методов алгебраическая геометрия, с Милинд Сохони ИИТ Бомбея.[2] Он также известен своим результатом с Умеш Вазирани и Виджай Вазирани который показал, что "Сопоставление так же просто, как и обращение матрицы",[3] в статье, которая представила лемма об изоляции.[4]

Он получил докторскую степень в области компьютерных наук в Университет Карнеги Меллон[1] в 1985 г. Дана Скотт, выиграв 1986 ACM Премия за докторскую диссертацию Полная абстракция и семантическая эквивалентность.[5] Он также выиграл стипендию Миллера в Калифорнийский университет в Беркли на 1985–1987 гг. и стипендию Фонда Гуггенхайма на 1999–2000 гг.[1]

Книги

  • Кетан Малмулей (1985), Полная абстракция и семантическая эквивалентность, MIT Press, ISBN  978-0-262-13227-5
  • Кетан Малмулей (1994), Вычислительная геометрия: введение через рандомизированные алгоритмы, Прентис-Холл, ISBN  978-0-13-336363-0

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

  1. ^ а б c Пейдж в ИИТ Бомбее (приглашенный профессор)
  2. ^ Лэнс Фортноу "Статус проблемы P vs NP ", CACM, сентябрь 2009 г.
  3. ^ Mulmuley, K .; У. В. Вазирани; В. В. Вазирани (1987), «Сопоставление так же просто, как обращение матрицы», Комбинаторика, 7 (1): 105–113, Дои:10.1007 / BF02579206. STOC версия: Дои:10.1145/28395.383347
  4. ^ Лемма об изоляции и не только, к Ричард Дж. Липтон
  5. ^ Ссылка на премию ACM

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