Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India.
Pandya's main research interest is in the area of formal methods, including real-time systems.
[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.