Кетан Малмули - профессор факультета компьютерных наук Чикагского университета и иногда приглашенный профессор в IIT Bombay . [1] Он специализируется на теоретической информатике , особенно в теории вычислительной сложности , и в последние годы вместе с Милиндом Сохони из IIT Bombay работал над « геометрической теорией сложности », подходом к проблеме 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), Вычислительная геометрия: введение через рандомизированные алгоритмы , Prentice-Hall, ISBN 978-0-13-336363-0
Ссылки [ править ]
- ^ a b c Пейдж в ИИТ Бомбее (приглашенный профессор)
- ^ Лэнс Фортноу, " Статус проблемы P vs NP ", CACM, сентябрь 2009 г.
- ^ Mulmuley, K .; У. В. Вазирани; В. В. Вазирани (1987), "Совпадение так же легко , как матрицы инверсии", Combinatorica , 7 (1): 105-113, DOI : 10.1007 / BF02579206 , S2CID 47370049 . Версия STOC : doi : 10.1145 / 28395.383347
- ^ Лемма об изоляции и за ее пределами , Ричард Дж. Липтон
- ^ Ссылка на премию ACM
Внешние ссылки [ править ]
- Страница факультета
- Список последних публикаций
- Кетан Малмули на проекте « Математическая генеалогия»