Paritosh Pandya studied for a Bachelor of Engineering degree in Electronics at the Maharaja Sayajirao University of Baroda (1980), Master of Technology degree in Computer Science at IIT Kanpur (1982), and a Doctor of Philosophy in Computer Science at Bombay University/Tata Institute of Fundamental Research (1988).
From 1988, Paritosh Pandya has held academic posts at Tata Institute of Fundamental Research. He was a researcher at the Oxford University Computing Laboratory in England during 1989-1991, on leave from Tata Institute of Fundamental Research, 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 Tata Institute of Fundamental Research, 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. His most cited paper, "Finding Response Times in a Real-Time System", with over 900 citations on Google Scholar, was joint work with Mathai Joseph, published in The Computer Journal in 1986.
Paritosh Pandya has been a member of the Editorial Board for the Formal Aspects of Computing journal published by Springer.
