Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Paritosh_Pandya> ?p ?o. }
Showing items 1 to 61 of
61
with 100 items per page.
- Paritosh_Pandya abstract "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 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.".
- Paritosh_Pandya academicAdvisor Mathai_Joseph.
- Paritosh_Pandya birthPlace India.
- Paritosh_Pandya influencedBy Tony_Hoare.
- Paritosh_Pandya knownFor Duration_calculus.
- Paritosh_Pandya residence India.
- Paritosh_Pandya residence Mumbai.
- Paritosh_Pandya wikiPageExternalLink paritosh-pandya.
- Paritosh_Pandya wikiPageExternalLink Paritosh_Pandya.
- Paritosh_Pandya wikiPageExternalLink ~pandya.
- Paritosh_Pandya wikiPageExternalLink ParitoshPandya.
- Paritosh_Pandya wikiPageID "41771027".
- Paritosh_Pandya wikiPageRevisionID "593713216".
- Paritosh_Pandya academicAdvisors Mathai_Joseph.
- Paritosh_Pandya birthPlace India.
- Paritosh_Pandya influences Tony_Hoare.
- Paritosh_Pandya knownFor Duration_calculus.
- Paritosh_Pandya name "Pandya, Paritosh K.".
- Paritosh_Pandya name "Paritish K. Pandya".
- Paritosh_Pandya nationality "Indian".
- Paritosh_Pandya placeOfBirth India.
- Paritosh_Pandya residence "Mumbai, India".
- Paritosh_Pandya shortDescription "Computer scientist".
- Paritosh_Pandya workplaces Department_of_Computer_Science,_University_of_Oxford.
- Paritosh_Pandya workplaces Tata_Institute_of_Fundamental_Research.
- Paritosh_Pandya description "Computer scientist".
- Paritosh_Pandya description "Computer scientist".
- Paritosh_Pandya subject Category:Formal_methods_people.
- Paritosh_Pandya subject Category:Indian_Institute_of_Technology_Kanpur_alumni.
- Paritosh_Pandya subject Category:Indian_computer_scientists.
- Paritosh_Pandya subject Category:Living_people.
- Paritosh_Pandya subject Category:Maharaja_Sayajirao_University_of_Baroda_alumni.
- Paritosh_Pandya subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Paritosh_Pandya subject Category:Place_of_birth_missing.
- Paritosh_Pandya subject Category:Tata_Institute_of_Fundamental_Research_alumni.
- Paritosh_Pandya subject Category:Tata_Institute_of_Fundamental_Research_faculty.
- Paritosh_Pandya subject Category:Theoretical_computer_scientists.
- Paritosh_Pandya subject Category:University_of_Mumbai_alumni.
- Paritosh_Pandya subject Category:Year_of_birth_missing_(living_people).
- Paritosh_Pandya type Agent.
- Paritosh_Pandya type Person.
- Paritosh_Pandya type Scientist.
- Paritosh_Pandya type Person.
- Paritosh_Pandya type Q215627.
- Paritosh_Pandya type Q5.
- Paritosh_Pandya type Agent.
- Paritosh_Pandya type NaturalPerson.
- Paritosh_Pandya type Thing.
- Paritosh_Pandya type Person.
- Paritosh_Pandya comment "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.".
- Paritosh_Pandya label "Paritosh Pandya".
- Paritosh_Pandya sameAs m.0_h19hl.
- Paritosh_Pandya sameAs Q15713163.
- Paritosh_Pandya sameAs Q15713163.
- Paritosh_Pandya wasDerivedFrom Paritosh_Pandya?oldid=593713216.
- Paritosh_Pandya givenName "Paritosh K.".
- Paritosh_Pandya isPrimaryTopicOf Paritosh_Pandya.
- Paritosh_Pandya name "Pandya, Paritosh K.".
- Paritosh_Pandya name "Paritish K. Pandya".
- Paritosh_Pandya name "Paritosh K. Pandya".
- Paritosh_Pandya surname "Pandya".