Paritosh Pandya - Paritosh Pandya

Paritosh K. Pandya
narozený
Indie
Národnostindický
Známý jakoDCVALID[1]
Vědecká kariéra
InstituceOxford University Computing Laboratory, Tata Institute of Fundamental Research
Akademičtí poradciMathai Joseph
VlivyTony Hoare

Paritosh K. Pandya je Ind počítačový vědec se sídlem v Tata Institute of Fundamental Research (TIFR) v Bombaj, Indie.

Paritosh Pandya studoval na BE v roce Elektronika na Maharaja Sayajirao University of Baroda (1980), MTech v Počítačová věda na IIT Kanpur (1982) a a PhD in Computer Science ve společnosti Bombajská univerzita / TIFR (1988).[2]

Od roku 1988 zastává Paritosh Pandya akademické funkce na TIFR.[2] Byl výzkumným pracovníkem v Oxford University Computing Laboratory v Anglie v letech 1989–1991, na dovolené TIFR, provádějící výzkum u Jonathan Bowen, Jifeng He, a Tony Hoare, mimo jiné jako součást ESPRIT Projekt ProCoS o „prokazatelně správných systémech“. Poté se vrátil do TIFR, kde strávil většinu své kariéry. Pandya vede Teoretická informatika Seskupte se tam.

Hlavní výzkumný zájem Pandya je v oblasti formální metody, počítaje v to systémy v reálném čase. Specializoval se zejména na výzkum týkající se Počítadlo trvání, včetně DCVALID kontrola modelu nářadí.[1] Jeho nejcitovanější článek, “Nalezení doby odezvy v systému v reálném čase", s více než 900 citacemi dne Google Scholar,[3] byla společná práce s Mathai Joseph, publikoval v Počítačový deník v roce 1986.[4]

Paritosh Pandya byl členem Redakční rada pro Formální aspekty práce na počítači časopis vydávaný Springer.[5]

Reference

  1. ^ A b Pandya, Paritosh (1997–2001). "DCVALID: Nástroj pro modelovou kontrolu vzorců délky trvání". Indie: Tata Institute of Fundamental Research. Citováno 29. ledna 2014.
  2. ^ A b „Curriculum Vitae: Paritosh K. Pandya“. Indie: Tata Institute of Fundamental Research. Citováno 29. ledna 2014.
  3. ^ „Nalezení doby odezvy v systému v reálném čase“. Google Scholar. Citováno 2. února 2020.
  4. ^ Joseph, Mathai; Pandya, Paritosh (1986). „Nalezení doby odezvy v systému v reálném čase“. Počítačový deník. 29 (5): 390–395. doi:10.1093 / comjnl / 29.5.390. Citováno 29. ledna 2014.
  5. ^ "Redakční rada". Formální aspekty práce na počítači. Springer. Citováno 29. ledna 2014.

externí odkazy