Ашок К. Чандра | |
---|---|
Рожденный | ( 1948-07-30 )30 июля 1948 г. |
Умер | 15 ноября 2014 г. (2014-11-15)(66 лет) |
Альма-матер | Беркли |
Известный | Конъюнктивные запросы , чередование машин Тьюринга |
Научная карьера | |
Поля | Информатика |
Учреждения | Исследования IBM Исследования Microsoft |
научный руководитель | Зоар Манна [1] |
Ашок К. Чандра (30 июля 1948 г. – 15 ноября 2014 г.) [2] был компьютерным ученым в Microsoft Research в Маунтин-Вью , Калифорния , США, где он был генеральным менеджером в Internet Services Research Center. [3] Чандра получил докторскую степень в области компьютерных наук в Стэнфордском университете , степень магистра в Калифорнийском университете в Беркли и степень бакалавра в области технологий в IIT Kanpur . Ранее он был директором по базам данных и распределенным системам в IBM Almaden Research Center .
Чандра был соавтором нескольких ключевых статей в области теоретической информатики. Среди других его вкладов, он представил альтернативные машины Тьюринга в вычислительной сложности (совместно с Декстером Козеном и Ларри Стокмейером ), [4] [5] конъюнктивные запросы в базах данных (совместно с Филиппом М. Мерлином), [6] вычислимые запросы (совместно с Дэвидом Харелом ), [7] и сложность многосторонней связи (совместно с Мерриком Л. Фурстом и Ричардом Дж. Липтоном ). [8]
Он был основателем ежегодного симпозиума IEEE по логике в компьютерных науках и был председателем первых трех конференций в 1986–1988 годах. [9] Он был членом IEEE . [10]