Paritosh K. Pandya is an Indian

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

based at the

Tata Institute of Fundamental Research Tata Institute of Fundamental Research (TIFR) is a public deemed research university located in Mumbai, India that is dedicated to basic research in mathematics and the sciences. It is a Deemed University and works under the umbrella of the D ...

(TIFR) in

Mumbai Mumbai (, ; also known as Bombay — the official name until 1995) is the capital city of the Indian state of Maharashtra and the ''de facto'' financial centre of India. According to the United Nations, as of 2018, Mumbai is the second- ...

India India, officially the Republic of India (Hindi: ), is a country in South Asia. It is the seventh-largest country by area, the second-most populous country, and the most populous democracy in the world. Bounded by the Indian Ocean on the so ...

. Since 2020, he is an adjunct professor at

IIT Bombay The Indian Institute of Technology Bombay (IIT Bombay or IITB) is a public research university and technical institute in Powai, Mumbai, Maharashtra, India. It is considered as one of the best engineering universities in India and is top ranked ...

. Paritosh Pandya studied for a BE degree in

Electronics The field of electronics is a branch of physics and electrical engineering that deals with the emission, behaviour and effects of electrons using electronic devices. Electronics uses active devices to control electron flow by amplification ...

at the

Maharaja Sayajirao University of Baroda The Maharaja Sayajirao University of Baroda, formerly Baroda College, is a public university in the city of Vadodara, in Gujarat state, India. Originally established as a college in 1881, it became a university in 1949 after the independence of ...

(1980), MTech degree in

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

IIT Kanpur The Indian Institute of Technology Kanpur (IIT Kanpur) Hindi: भारतीय प्रौद्योगिकी संस्थान कानपुर) is a public institute of technology located in Kanpur, Uttar Pradesh, India. It was ...

(1982), and a

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. albu ...

in Computer Science at

Bombay University The University of Mumbai is a collegiate, state-owned, public research university in Mumbai. The University of Mumbai is one of the largest universities in the world. , the university had 711 affiliated colleges. Ratan Tata is the appointed ...

/TIFR (1988). From 1988, Paritosh Pandya has held academic posts at TIFR. He was a researcher at the

Oxford University Computing Laboratory The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division, University of Oxford, Mathematical, Physical and Life ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

during 1989–91, on leave from TIFR, undertaking research with

Jonathan Bowen Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited ...

, Jifeng He, and

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

, 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 Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

Group there. Pandya's main research interest is in the area of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

, including

real-time system Real-time computing (RTC) is the computer science term for hardware and software systems subject to a "real-time constraint", for example from event to system response. Real-time programs must guarantee response within specified time constrai ...

s. He has been especially involved with research concerning

Duration Calculus Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ''ProCoS'' project on ''Provably ...

, including the DCVALID

model-checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

tool. His most cited paper, "''Finding Response Times in a Real-Time System''", with over 1,500 citations on

Google Scholar Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines. Released in beta in November 2004, the Google Scholar index includes p ...

in 2021, was joint work with

Mathai Joseph Mathai Joseph is an Indian computer scientist and author. Early life and education Joseph studied for a BSc in physics at Wilson College (Mumbai, India, 1962) and an MSc in the same subject at the University of Mumbai in 1964. He later studi ...

, published in ''

The Computer Journal ''The Computer Journal'' is a peer-reviewed scientific journal covering computer science and information systems. Established in 1958, it is one of the oldest computer science research journals. It is published by Oxford University Press on beha ...

'' 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 The editorial board is a group of experts, usually at a publication, who dictate the tone and direction the publication's editorial policy will take. Mass media At a newspaper, the editorial board usually consists of the editorial page editor, a ...

for the ''

Formal Aspects of Computing ''Formal Aspects of Computing'' (''FAOC'') is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and ...

'' journal published by

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

References

External links

* * * *
Paritosh Pandya
on

Mendeley Mendeley is a reference manager software developed by Elsevier. It is used to manage and share research papers and generate bibliographies for scholarly articles. History The company Mendeley, named after the biologist Gregor Mendel and chemist D ...

* {{DEFAULTSORT:Pandya, Paritosh Year of birth missing (living people) Living people Place of birth missing (living people) Maharaja Sayajirao University of Baroda alumni IIT 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 Academic staff of Tata Institute of Fundamental Research