Paritosh Pandya とは

Paritosh K. Pandyaは、インドのムンバイにあるTata Institute of Fundamental Research(TIFR)に勤務するインドのコンピュータ科学者です。
Paratosh Pandyaは、Maharaja Sayajirao大学Baroda(1980)、IIT Kanpur(1982)のコンピュータサイエンスのMTech学位、Bombay University / TIFR(1988)のコンピュータサイエンスのPhDを学びました。
1988年から、Paritosh PandyaはTIFRでアカデミックポストを開催しています。 1989〜91年に英国のオックスフォード大学コンピューティング研究所の研究員であり、TIFRから退去し、「Provably Correct Systems」のESPRIT ProCoSプロジェクトの一環としてJonathan Bowen、Jifeng He、Tony Hoareとの研究を行った"その後、彼はTIFRに戻り、彼は彼のキャリアの大部分を費やしています。 PandyaはTheoretical Computer Science Groupをリードしています。
Pandyaの主な研究関心は、リアルタイムシステムを含む正式な方法の分野です。彼は特に、DCVALIDモデル検査ツールを含むDuration Calculusに関する研究に携わってきました。彼の最も引用した論文、「リアルタイムシステムでの応答時間の発見」は、Google Scholarで900を超える引用があり、1986年にThe Computer Journalに掲載されたMathai Josephとの共同作業でした。
Paritosh Pandyaは、Springerによって出版されたコンピューティングのフォーマル・アスペクトの編集委員会のメンバーです。