Paritosh Pandya
Paritish K. Pandya | |
---|---|
Born | India |
Residence | Mumbai, India |
Nationality | Indian |
Institutions | Oxford University Computing Laboratory, Tata Institute of Fundamental Research |
Academic advisors | Mathai Joseph |
Known for | DCVALID[1] |
Influences | Tony Hoare |
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).[2]
From 1988, Paritosh Pandya has held academic posts at TIFR.[2] 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.[1] His most cited paper, "Finding Response Times in a Real-Time System", with over 900 citations on Google Scholar,[3] was joint work with Mathai Joseph, published in The Computer Journal in 1986.[4]
Paritosh Pandya has been a member of the Editorial Board for the Formal Aspects of Computing journal published by Springer.[5]
References
- ↑ 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 2.0 2.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
- Paritosh K. Pandya home page
- Paritosh Pandya's publications indexed by Google Scholar, a service provided by Google
- Paritosh Pandya's publications indexed by the DBLP Bibliography Server at the University of Trier
- Paritosh Pandya on Academia.edu
- Paritosh Pandya on Mendeley
- Paritosh K. Pandya on ResearchGate
- Use Indian English from August 2015
- All Wikipedia articles written in Indian English
- Use dmy dates from August 2015
- Year of birth missing (living people)
- Living people
- Place of birth missing (living people)
- Maharaja Sayajirao University of Baroda alumni
- Indian Institute of Technology Kanpur alumni
- University of Mumbai alumni
- Tata Institute of Fundamental Research alumni
- Indian computer scientists
- Theoretical computer scientists
- Formal methods people
- Members of the Department of Computer Science, University of Oxford
- Tata Institute of Fundamental Research faculty