Loading article…
パリトシュ・K・パンディア | |
|---|---|
| 生まれる | |
| 国籍 | インド人 |
| 知られている | DCVALID [2] |
| 受賞歴 | 2020年 テスト・オブ・タイム賞[1] |
| 科学者としてのキャリア | |
| 機関 | オックスフォード大学コンピューティング研究所、タタ基礎研究所 |
| 学術アドバイザー | マタイ・ジョセフ |
パリトシュ・K・パンディアは、インドのムンバイにあるタタ基礎研究所（TIFR）に拠点を置くインドのコンピューター科学者です。2020年より、インド工科大学ボンベイ校の非常勤教授を務めています。[3]
パリトシュ・パンディアは、バローダのマハラジャ・サヤジラオ大学で電子工学の学士号（1980年）、インド工科大学カンプール校でコンピュータサイエンスの修士号（1982年）、ボンベイ大学/TIFRでコンピュータサイエンスの博士号（1988年）を取得しました。[4]
1988年より、パリトシュ・パンディアはTIFRで学術職を務めている。[4] 1989年から1991年にかけて、TIFRを休職してイギリスのオックスフォード大学計算機研究所の研究員となり、ジョナサン・ボーエン、ジフェン・ヘ、トニー・ホーアらとともにESPRIT ProCoSプロジェクト「証明可能正しいシステム」の研究に携わった。その後、TIFRに戻り、そこでキャリアの大半を過ごした。パンディアはTIFRの理論計算機科学グループを率いている。
パンディアの主な研究対象は、リアルタイムシステムを含む形式手法の分野です。彼は特に、 DCVALIDモデル検査ツールを含む持続計算に関する研究に携わってきました。[2]彼の最も引用された論文「リアルタイムシステムでの応答時間の検出」は、 2021年にGoogle Scholarで1,500回以上引用されており、 [5] 1986年にThe Computer Journalに掲載されたマタイ・ジョセフとの共同研究です。[6]この論文は、第27回IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム（RTAS 2021）で発表された2020年のTest-of-Time賞を受賞しました。[1]
パリトシュ・パンディアは、シュプリンガー社が発行する雑誌「Formal Aspects of Computing」の編集委員会のメンバーである。[7]
参考文献
- ^ ab 「TCRTS Awards – 2020 Test-of-Time Awards」。RTAS 2021: 第27回IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム。2021年5月。 2021年5月22日閲覧。
- ^ ab Pandya, Paritosh (1997–2001). 「DCVALID: Duration Calculus Formulae のモデルチェックツール」インド: Tata Institute of Fundamental Research 。2014年1 月 29 日閲覧。
- ^ 「Paritosh K. Pandya : ホームページ」www.cse.iitb.ac.in . 2022年9月18日閲覧。
- ^ ab "履歴書: パリトシュ K. パンディア".インド:タタ基礎研究所。2014 年1 月 29 日に取得。
- ^ 「リアルタイムシステムでの応答時間の検索」。Google Scholar 。 2021年5月24日閲覧。
- ^ Joseph, Mathai ; Pandya, Paritosh (1986). 「リアルタイムシステムにおける応答時間の検出」.コンピュータジャーナル. 29 (5): 390–395. doi : 10.1093/comjnl/29.5.390 .
- ^ 「Editorial Board」。Formal Aspects of Computing。Springer。2014年1月29日閲覧。
外部リンク
- 公式サイト
- Google Scholarにインデックスされた Paritosh Pandya の出版物
- DBLP書誌サーバーの Paritosh K. Pandya
- Academia.eduの Paritosh Pandya の出版物
- Mendeleyの Paritosh Pandya
- ResearchGateの Paritosh K. Pandya による出版物