Paritosh Pandya
Paritosh K. Pandya | |
|---|---|
| Born | |
| Known for | DCVALID[2] |
| Awards | 2020 Test-of-Time Award[1] |
| Scientific career | |
| Institutions | Oxford University Computing Laboratory, Tata Institute of Fundamental Research |
| Academic advisors | Mathai Joseph |
Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India. Since 2020, he is an adjunct professor at IIT Bombay.[3]
Paritosh Pandya studied for a BE degree in Electronics at the Maharaja Sayajirao University of Baroda (1980), MTech degree in Computer Science at IIT Kanpur (1982), and a PhD in Computer Science at Bombay University/TIFR (1988).[4]
From 1988, Paritosh Pandya has held academic posts at TIFR.[4] He was a researcher at the Oxford University Computing Laboratory in England during 1989–91, on leave from TIFR, undertaking research with Jonathan Bowen, Jifeng He, and Tony Hoare, amongst others, as part of the ESPRIT ProCoS project on "Provably Correct Systems". He then returned to TIFR, where he has spent most of his career. Pandya leads the Theoretical Computer Science Group there.
Pandya's main research interest is in the area of formal methods, including real-time systems. He has been especially involved with research concerning Duration Calculus, including the DCVALID model-checking tool.[2] His most cited paper, "Finding Response Times in a Real-Time System", with over 1,500 citations on Google Scholar in 2021,[5] was joint work with Mathai Joseph, published in The Computer Journal in 1986.[6] This paper won a 2020 Test-of-Time Award, announced at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021).[1]
Paritosh Pandya has been a member of the Editorial Board for the Formal Aspects of Computing journal published by Springer.[7]
References
[edit | edit source]- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Lua error in Module:Official_website at line 94: attempt to index field 'wikibase' (a nil value).
- Paritosh Pandya publications indexed by Google ScholarLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- Paritosh K. Pandya at DBLP Bibliography ServerLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- [{{#property:P5715}} Paritosh Pandya] publications on Academia.eduLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- Paritosh Pandya on Mendeley
- Publications by Paritosh K. Pandya at ResearchGateLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- Living people
- Maharaja Sayajirao University of Baroda alumni
- IIT Kanpur alumni
- University of Mumbai alumni
- Tata Institute of Fundamental Research alumni
- Indian theoretical computer scientists
- Formal methods people
- Members of the Department of Computer Science, University of Oxford
- Academic staff of Tata Institute of Fundamental Research