Paritosh K. Pandya es un científico informático indio que trabaja en el Instituto Tata de Investigación Fundamental (TIFR) en Mumbai , India .
Paritosh Pandya estudió una licenciatura en Electrónica en la Universidad Maharaja Sayajirao de Baroda (1980), una licenciatura en Ciencias de la Computación en IIT Kanpur (1982) y un doctorado en Ciencias de la Computación en la Universidad de Bombay / TIFR (1988). [3]
Desde 1988, Paritosh Pandya ha ocupado puestos académicos en TIFR. [3] Fue investigador en el Laboratorio de Computación de la Universidad de Oxford en Inglaterra durante 1989-1991, con licencia de TIFR, realizando investigaciones con Jonathan Bowen , Jifeng He y Tony Hoare , entre otros, como parte del proyecto ESPRIT ProCoS en " Sistemas comprobablemente correctos ". Luego regresó a TIFR, donde ha pasado la mayor parte de su carrera. Pandya dirige el Grupo de Ciencias de la Computación Teórica allí.
El principal interés de investigación de Pandya se encuentra en el área de métodos formales , incluidos los sistemas en tiempo real . Ha estado especialmente involucrado en investigaciones relacionadas con el cálculo de duración , incluida la herramienta de verificación de modelos DCVALID . [1] Su artículo más citado, " Finding Response Times in a Real-Time System ", con más de 1.500 citas en Google Scholar en 2021, [4] fue un trabajo conjunto con Mathai Joseph , publicado en The Computer Journal en 1986. [5 ]Este documento ganó un premio Test-of-Time de 2020, anunciado en el 27 ° Simposio de aplicaciones y tecnologías integradas y en tiempo real de IEEE (RTAS 2021). [2]
Paritosh Pandya ha sido miembro del Comité Editorial de la revista Formal Aspects of Computing publicada por Springer . [6]