Paritosh K. Pandya
Associate Professor
Department of Technology and Computer Science
Tata Institute of Fundamental Research
India
Biography
Dr. Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India.He has 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). From 1988, he has held academic posts at TIFR. 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.His 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.He has been a member of the Editorial Board for the Formal Aspects of Computing journal published by Springer.
Research Interest
Formal methods, Logics and Model checking.
Publications
-
Pandya P (2000) Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID RTTOOLS 2001 Workshop.
-
Kazhamiakin R, Pandya P, Pistore M (2006) Representation, verification, and computation of timed properties in web ICWS'06 pp: 497-504.
-
Joseph M, Pandya P (1986) Finding response times in a real-time system The Computer Journal 5 pp: 390-395.
