Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Paritosh_Pandya> ?p ?o }
- 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 wikiPageLength "5277".
- Paritosh_Pandya wikiPageOutDegree "50".
- Paritosh_Pandya wikiPageRevisionID "677261415".
- Paritosh_Pandya wikiPageWikiLink Academia.edu.
- Paritosh_Pandya wikiPageWikiLink Bombay_University.
- Paritosh_Pandya wikiPageWikiLink Category:Formal_methods_people.
- Paritosh_Pandya wikiPageWikiLink Category:Indian_Institute_of_Technology_Kanpur_alumni.
- Paritosh_Pandya wikiPageWikiLink Category:Indian_computer_scientists.
- Paritosh_Pandya wikiPageWikiLink Category:Living_people.
- Paritosh_Pandya wikiPageWikiLink Category:Maharaja_Sayajirao_University_of_Baroda_alumni.
- Paritosh_Pandya wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Paritosh_Pandya wikiPageWikiLink Category:Place_of_birth_missing_(living_people).
- Paritosh_Pandya wikiPageWikiLink Category:Tata_Institute_of_Fundamental_Research_alumni.
- Paritosh_Pandya wikiPageWikiLink Category:Tata_Institute_of_Fundamental_Research_faculty.
- Paritosh_Pandya wikiPageWikiLink Category:Theoretical_computer_scientists.
- Paritosh_Pandya wikiPageWikiLink Category:University_of_Mumbai_alumni.
- Paritosh_Pandya wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Paritosh_Pandya wikiPageWikiLink Computer_Science.
- Paritosh_Pandya wikiPageWikiLink Computer_science.
- Paritosh_Pandya wikiPageWikiLink Computer_scientist.
- Paritosh_Pandya wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Paritosh_Pandya wikiPageWikiLink Doctor_of_Philosophy.
- Paritosh_Pandya wikiPageWikiLink Duration_Calculus.
- Paritosh_Pandya wikiPageWikiLink Duration_calculus.
- Paritosh_Pandya wikiPageWikiLink Editorial_Board.
- Paritosh_Pandya wikiPageWikiLink Editorial_board.
- Paritosh_Pandya wikiPageWikiLink Electronics.
- Paritosh_Pandya wikiPageWikiLink England.
- Paritosh_Pandya wikiPageWikiLink European_Strategic_Program_on_Research_in_Information_Technology.
- Paritosh_Pandya wikiPageWikiLink Formal_Aspects_of_Computing.
- Paritosh_Pandya wikiPageWikiLink Formal_methods.
- Paritosh_Pandya wikiPageWikiLink Google_Scholar.
- Paritosh_Pandya wikiPageWikiLink He_Jifeng.
- Paritosh_Pandya wikiPageWikiLink IIT_Kanpur.
- Paritosh_Pandya wikiPageWikiLink India.
- Paritosh_Pandya wikiPageWikiLink Indian_Institute_of_Technology_Kanpur.
- Paritosh_Pandya wikiPageWikiLink Jifeng_He.
- Paritosh_Pandya wikiPageWikiLink Jonathan_Bowen.
- Paritosh_Pandya wikiPageWikiLink Maharaja_Sayajirao_University_of_Baroda.
- Paritosh_Pandya wikiPageWikiLink Mathai_Joseph.
- Paritosh_Pandya wikiPageWikiLink Mendeley.
- Paritosh_Pandya wikiPageWikiLink Model-checking.
- Paritosh_Pandya wikiPageWikiLink Model_checking.
- Paritosh_Pandya wikiPageWikiLink Mumbai.
- Paritosh_Pandya wikiPageWikiLink Oxford_University_Computing_Laboratory.
- Paritosh_Pandya wikiPageWikiLink PhD.
- Paritosh_Pandya wikiPageWikiLink Real-time_computing.
- Paritosh_Pandya wikiPageWikiLink Real-time_system.
- Paritosh_Pandya wikiPageWikiLink ResearchGate.
- Paritosh_Pandya wikiPageWikiLink Springer-Verlag.
- Paritosh_Pandya wikiPageWikiLink Springer_Science+Business_Media.
- Paritosh_Pandya wikiPageWikiLink Tata_Institute_of_Fundamental_Research.
- Paritosh_Pandya wikiPageWikiLink The_Computer_Journal.
- Paritosh_Pandya wikiPageWikiLink Theoretical_computer_science.
- Paritosh_Pandya wikiPageWikiLink Tony_Hoare.
- Paritosh_Pandya wikiPageWikiLink University_of_Mumbai.
- Paritosh_Pandya wikiPageWikiLinkText "Paritosh Pandya".
- Paritosh_Pandya academicAdvisors Mathai_Joseph.
- Paritosh_Pandya birthPlace India.
- Paritosh_Pandya hasPhotoCollection Paritosh_Pandya.
- Paritosh_Pandya influences Tony_Hoare.
- Paritosh_Pandya knownFor Duration_Calculus.
- 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 wikiPageUsesTemplate Template:DBLP.
- Paritosh_Pandya wikiPageUsesTemplate Template:GoogleScholar.
- Paritosh_Pandya wikiPageUsesTemplate Template:Infobox_scientist.
- Paritosh_Pandya wikiPageUsesTemplate Template:Persondata.
- Paritosh_Pandya wikiPageUsesTemplate Template:Reflist.
- Paritosh_Pandya wikiPageUsesTemplate Template:Use_Indian_English.
- Paritosh_Pandya wikiPageUsesTemplate Template:Use_dmy_dates.
- Paritosh_Pandya workplaces Department_of_Computer_Science,_University_of_Oxford.
- Paritosh_Pandya workplaces Oxford_University_Computing_Laboratory.
- 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_the_Department_of_Computer_Science,_University_of_Oxford.
- Paritosh_Pandya subject Category:Place_of_birth_missing_(living_people).