Паритош Пандья
Паритош К. Пандья | |
|---|---|
| Рожденный | |
| Национальность | Индийский |
| Известный | DCVALID [2] |
| Награды | Премия "Испытание временем" 2020 года [1] |
| Научная карьера | |
| Учреждения | Вычислительная лаборатория Оксфордского университета , Институт фундаментальных исследований Тата |
| Академические консультанты | Матай Джозеф |
Паритош К. Пандья — индийский ученый-компьютерщик , работающий в Институте фундаментальных исследований Тата (TIFR) в Мумбаи , Индия . С 2020 года является адъюнкт-профессором ИИТ Бомбея . [3]
Паритош Пандья получил степень бакалавра электроники в Университете Махараджи Саяджирао в Бароде (1980 г.), степень магистра технических наук в области компьютерных наук в ИИТ Канпура (1982 г.) и степень доктора компьютерных наук в Бомбейском университете / TIFR (1988 г.). [4]
С 1988 года Паритош Пандья занимал академические должности в ТИФР. [4] Он был исследователем в вычислительной лаборатории Оксфордского университета в Англии в 1989–91 годах, в отпуске из TIFR, проводя исследования вместе с Джонатаном Боуэном , Цзифэном Хэ и Тони Хоаром , среди других, в рамках проекта ESPRIT ProCoS по «Доказуемо корректным системам». ". Затем он вернулся в ТИФР, где провел большую часть своей карьеры. Пандья возглавляет там группу теоретической информатики .
Основной исследовательский интерес Пандьи лежит в области формальных методов , включая системы реального времени . Он особенно принимал участие в исследованиях, касающихся исчисления продолжительности , включая инструмент проверки моделей DCVALID . [2] Его самая цитируемая статья « Определение времени отклика в системе реального времени » с более чем 1500 цитированиями в Google Scholar в 2021 году. [5] была совместная работа с Матаем Джозефом , опубликованная в The Computer Journal в 1986 году. [6] Этот документ получил награду «Испытание временем» 2020 года, объявленную на 27-м симпозиуме IEEE по встраиваемым технологиям и приложениям реального времени (RTAS 2021). [1]
Паритош Пандья был членом редакционного совета журнала « Формальные аспекты вычислений» , издаваемого Springer . [7]
Ссылки
[ редактировать ]- ^ Jump up to: а б «TCRTS Awards – Награды за испытание временем 2020» . RTAS 2021: 27-й симпозиум IEEE по встраиваемым технологиям и приложениям реального времени . Май 2021 года . Проверено 22 мая 2021 г.
- ^ Jump up to: а б Пандия, Паритош (1997–2001). «DCVALID: инструмент для проверки моделей по формулам расчета продолжительности» . Индия: Институт фундаментальных исследований Тата . Проверено 29 января 2014 г.
- ^ «Паритош К. Пандья: Домашняя страница» . www.cse.iitb.ac.in. Проверено 18 сентября 2022 г.
- ^ Jump up to: а б «Биографическая справка: Паритош К. Пандья» . Индия: Институт фундаментальных исследований Тата . Проверено 29 января 2014 г.
- ^ «Определение времени отклика в системе реального времени» . Google Академик . Проверено 24 мая 2021 г.
- ^ Джозеф, Матай ; Пандия, Паритош (1986). «Определение времени отклика в системе реального времени» . Компьютерный журнал . 29 (5): 390–395. дои : 10.1093/comjnl/29.5.390 .
- ^ «Редакция» . Формальные аспекты вычислений . Спрингер . Проверено 29 января 2014 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Публикации Паритоша Пандья , проиндексированные Google Scholar
- Паритош К. Пандья на DBLP библиографическом сервере
- Публикации Паритоша Пандья на Academia.edu
- Паритош Пандья о Мендели
- Публикации Паритоша К. Пандья в ResearchGate
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Выпускники Университета Бароды Махараджи Саяджирао
- Выпускники ИИТ Канпура
- Выпускники Университета Мумбаи
- Выпускники Института фундаментальных исследований Тата
- Индийские ученые-компьютерщики
- Теоретики-компьютерщики
- Формальные методы люди
- Члены кафедры компьютерных наук Оксфордского университета
- Академический состав Института фундаментальных исследований Тата