Paritosh Pandya
Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India.

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).

From 1988, Paritosh Pandya 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.

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 1,500 citations on Google Scholar in 2021, was joint work with Mathai Joseph, published in "The Computer Journal" in 1986. This paper won a 2020 Test-of-Time Award, announced at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021).

Paritosh Pandya has been a member of the Editorial Board for the "Formal Aspects of Computing" journal published by Springer.
Q82594
computer scientist
Concept
Q142617
Tata Institute of Fundamental Research
ORG
Q1156
Mumbai
LOC
Q668
India
LOC
Q11650
Electronics
Concept
Q1747272
Maharaja Sayajirao University of Baroda
ORG
Q21198
Computer Science
Concept
Q782682
IIT Kanpur
LOC
Q752297
PhD
Concept
Q406402
Bombay University
ORG
Q5260200
Oxford University Computing Laboratory
ORG
Q21
England
LOC
Q93043
Jonathan Bowen
PER
Q5688822
Jifeng He
PER
Q92602
Tony Hoare
PER
Q2743938
ESPRIT
MEDIA
Q2878974
Theoretical Computer Science
Concept
Q1049183
formal methods
Concept
Q3988
real-time system
Concept
Q5316264
Duration Calculus
UNK
Q1569697
model-checking
Concept
Q494817
Google Scholar
MEDIA
Q15990096
Mathai Joseph
PER
Q7727237
The Computer Journal
MEDIA
Q2985386
Editorial Board
Concept
Q5469945
Formal Aspects of Computing
MEDIA
Q176916
Springer
ORG
Q15713163
Paritosh Pandya
PER
Q15713163
Paritosh Pandya
PER
Q15713163
Paritosh Pandya
PER
1988-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1988
DATE
1989-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1989
DATE
2021-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2021
DATE
1986-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1986
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2020
DATE
2021-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2021
DATE
+1980^^http://www.w3.org/2001/XMLSchema#decimal
1980
NUMBER
+1982^^http://www.w3.org/2001/XMLSchema#decimal
1982
NUMBER
+1988^^http://www.w3.org/2001/XMLSchema#decimal
1988
NUMBER
+91^^http://www.w3.org/2001/XMLSchema#decimal
91
NUMBER
+27^^http://www.w3.org/2001/XMLSchema#decimal
27
NUMBER
occupation
educated at
residence
country of citizenship
educated at
educated at
educated at
employer
doctoral advisor
headquarters location
country
country
publisher