WikiDer > Паритош Пандья

Paritosh Pandya

Паритош К. Пандья
Родившийся
Индия
НациональностьИндийский
ИзвестенDCVALID[1]
Научная карьера
УчрежденияВычислительная лаборатория Оксфордского университета, Институт фундаментальных исследований Тата
Академические консультантыМатай Джозеф
ВлиянияТони Хоар

Паритош К. Пандья индиец специалист в области информатики на основе Институт фундаментальных исследований Тата (TIFR) в Мумбаи, Индия.

Паритош Пандья получил степень бакалавра гуманитарных наук в Электроника на Университет Бароды Махараджи Саяджирао (1980), диплом магистра Информатика в ИИТ Канпур (1982), и кандидат наук в области компьютерных наук в Бомбейский университет/ TIFR (1988).[2]

С 1988 года Паритош Пандья занимал академические должности в TIFR.[2] Он был исследователем в Вычислительная лаборатория Оксфордского университета в Англия в 1989–91, в отпуске из TIFR, проводил исследования с Джонатан Боуэн, Цзифэн Хэ, и Тони Хоар, среди прочего, как часть ESPRIT Проект ProCoS «Доказанно корректные системы». Затем он вернулся в TIFR, где провел большую часть своей карьеры. Пандья возглавляет Теоретическая информатика Группа там.

Главный исследовательский интерес Пандьи находится в области формальные методы, включая системы реального времени. Он был особенно вовлечен в исследования, касающиеся Расчет продолжительности, включая DCVALID модельная проверка инструмент.[1] Его самая цитируемая статья "Определение времени отклика в системе реального времени", с более чем 900 цитированием на Google ученый,[3] была совместная работа с Матай Джозеф, опубликовано в Компьютерный журнал в 1986 г.[4]

Паритош Пандья был членом Редакционная коллегия для Формальные аспекты вычислений журнал, изданный Springer.[5]

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

  1. ^ а б Пандья, Паритош (1997–2001). «DCVALID: инструмент для проверки моделей по формулам расчета продолжительности». Индия: Институт фундаментальных исследований Тата. Получено 29 января 2014.
  2. ^ а б "Биографическая справка: Паритош К. Пандья". Индия: Институт фундаментальных исследований Тата. Получено 29 января 2014.
  3. ^ «Определение времени отклика в системе реального времени». Google ученый. Получено 2 февраля 2020.
  4. ^ Джозеф, Матай; Пандья, Паритош (1986). «Определение времени отклика в системе реального времени». Компьютерный журнал. 29 (5): 390–395. Дои:10.1093 / comjnl / 29.5.390. Получено 29 января 2014.
  5. ^ "Редакционная коллегия". Формальные аспекты вычислений. Springer. Получено 29 января 2014.

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