Ашок К. Чандра - Ashok K. Chandra

Ашок К. Чандра
Родился(1948-07-30)30 июля 1948 г.
Умер15 ноября 2014 г.(2014-11-15) (66 лет)
Калифорния, Соединенные Штаты
Альма-матерБеркли
Известенконъюнктивные запросы, чередующиеся машины Тьюринга
Научная карьера
ПоляИнформатика
УчрежденияIBM Research
Microsoft Research
ДокторантЗохар Манна[1]

Ашок К. Чандра (30 июля 1948 г. - 15 ноября 2014 г.[2]) был специалист в области информатики в Microsoft Research в вид на горы, Калифорния, США, где он был генеральным менеджером Исследовательского центра Интернет-услуг.[3] Чандра получил докторскую степень в Информатика от Стэндфордский Университет, MS от Калифорнийский университет в Беркли, и BTech от ИИТ Канпур Ранее он был директором по базам данных и распределенным системам в компании. Исследовательский центр IBM в Альмадене.

Чандра является соавтором нескольких ключевых статей в области теоретической информатики. Среди других вкладов он представил чередующиеся машины Тьюринга в вычислительная сложность (с участием Декстер Козен и Ларри Стокмейер ),[4][5] конъюнктивные запросы в базах данных (совместно с Филипом М. Мерлином),[6] вычислимые запросы (с Дэвид Харел ),[7] и многопартийность сложность коммуникации (с участием Меррик Л. Ферст и Ричард Дж. Липтон ).[8]

Он был основателем ежегодного Симпозиум IEEE по логике в компьютерных науках и был председателем на первых трех конференциях в 1986-8 гг.[9]Он был Сотрудник IEEE.[10]

использованная литература

  1. ^ Ашок К. Чандра на Проект "Математическая генеалогия"
  2. ^ "Некролог доктора Ашока Кумара Чандры". Получено 29 мая 2015.
  3. ^ «Профиль Ашока К. Чандры в Microsoft». Архивировано из оригинал 2 ноября 2013 г.. Получено 31 октября 2013.
  4. ^ Chandra, A.K .; Штокмейер, Л. Дж. (1976). Чередование. FOCS '76: Материалы 17-го симпозиума IEEE по основам компьютерных наук. Хьюстон, Техас. С. 98–108. Дои:10.1109 / SFCS.1976.4.
  5. ^ Chandra, A.K .; Kozen, D. C .; Штокмейер, Л. Дж. (1981). «Чередование». Журнал ACM. 28 (1): 114–133. Дои:10.1145/322234.322243.
  6. ^ Chandra, Ashok K .; Мерлин, Филип М. (1977). Оптимальная реализация конъюнктивных запросов в реляционных базах данных. STOC '77: Материалы девятого ежегодного симпозиума ACM по теории вычислений. С. 77–90. Дои:10.1145/800105.803397.
  7. ^ Chandra, Ashok K .; Харел, Дэвид (1980). «Вычислимые запросы к реляционным базам данных». Журнал компьютерных и системных наук. 21 (2): 156–178. Дои:10.1016 / 0022-0000 (80) 90032-Х.
  8. ^ Chadra, Ashok K .; Furst, Merrick L .; Липтон, Ричард Дж. (1983). Многосторонние протоколы. STOC '83: Материалы пятнадцатого ежегодного симпозиума ACM по теории вычислений. С. 94–99. Дои:10.1145/800061.808737.
  9. ^ «LICS - Архив». Архивировано из оригинал 11 марта 2012 г.. Получено 31 октября 2013.
  10. ^ «Стипендиаты IEEE - C». Архивировано из оригинал 2 ноября 2013 г.. Получено 31 октября 2013.

внешние ссылки