Mathai Joseph

Mathai Joseph
Born India
Residence Pune, India
Nationality Indian
Institutions University of Warwick, Tata Institute of Fundamental Research
Alma mater Wilson College, Mumbai, University of Bombay, Welsh College of Advanced Technology, University of Cambridge
Doctoral advisor David Wheeler[1]
Notable students Paritosh Pandya, Zhiming Liu

Mathai Joseph is a leading Indian computer scientist.[2]

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.[3] He later studied for a Postgraduate Diploma in electronics at the Welsh College of Advanced Technology (1965) and then undertook a PhD in computing at Churchill College, Cambridge under the supervision of David Wheeler[1] (awarded 1968).

From 1968–85, Joseph worked on programming as a Fellow and Senior Research Scientist at the Tata Institute of Fundamental Research (Mumbai, India) and then became professor of computer science at the University of Warwick in England for 12 years (1985–97).[3] He returned to India in 1997. He then worked in industry as Executive Director at the Tata Research Development and Design Centre (Pune) and as Executive Vice-President at Tata Consultancy Services (1997–2007).

Joseph was a Visiting Professor at Carnegie-Mellon University (1980–81), Eindhoven University of Technology (1990–92), the University of Warwick (1997–98), and the University of York (2001–04).[3] He was Board Chair of UNU-IIST (2004–06, United Nations University, Macau).[4] Joseph was the first person from India to be elected to the Council of the ACM.[5] In addition, he was a member of the ACM India Council until 2012. He now chairs the ACM India Education Committee.

Mathai Joseph's main research interest is in the area of formal methods related to computer systems, including real-time systems. His most cited paper, "Finding Response Times in a Real-Time System", with over a thousand citations on Google Scholar,[6] was joint work with Paritosh Pandya, published in The Computer Journal in 1986.[7]

Joseph's joint work with Zhiming Liu on fault tolerance gives a formal model that precisely defines the notions of fault, error, failure and fault-tolerance, and their relationships. It also provided the properties that models fault-affected programs and fault-tolerant programs in terms of transformations. Together, they proposed a design process for fault-tolerant systems from requirement specifications and analysis, fault environment identification and analysis, specification of fault-affected design and verification of fault-tolerance for satisfaction of the requirements specification.[8][9]

Joseph is the author of Digital Republic, a personal reminiscence that also charts the development of Information Technology in India and the issues involved.[4][10][11] He is interested in improving science in India.[12]

Books

References

  1. 1 2 Digital Republic, page 72.
  2. ↑ Ibaraki, Stephen (27 August 2013). "Chat with Dr. Mathai Joseph: Internationally Renowned Author, Executive, Researcher, and Technology Advisor; Distinguished Computer Scientist". Canadian IT Manager's Blog. Retrieved 25 January 2013. External link in |work= (help)
  3. 1 2 3 Ibaraki, Stephen (11 January 2010). "Dr. Mathai Joseph: Renowned Executive, Researcher, Distinguished Scientist shares his deep insights into computing, research, careers, trends". Canadian IT Manager's Blog. Retrieved 25 January 2013. External link in |work= (help)
  4. 1 2 "Former UNU-IIST Board Chair Prof. Mathai Joseph Publishes New Book on India's IT Development". Pune Tech. 2 May 2013. Retrieved 25 January 2014. External link in |publisher= (help)
  5. ↑ "Dr. Mathai Joseph". Microsoft Research. Retrieved 26 January 2014.
  6. ↑ "Finding response times in a real-time system". Google Scholar. Retrieved 29 January 2014.
  7. ↑ Joseph, Mathai; Pandya, Paritosh (1986). "Finding Response Times in a Real-Time System". The Computer Journal. BCS. 29 (5): 390–395. doi:10.1093/comjnl/29.5.390. Retrieved 29 January 2014.
  8. ↑ Liu, Zhiming; Joseph, Mathai (1992). "Transformation of Programs for Fault-Tolerance". Formal Aspects of Computing. Springer. 4 (5): 442–469. doi:10.1007/BF01211393.
  9. ↑ Liu, Zhiming; Joseph, Mathai (1999). "Specification and Verification of Fault-Tolerance, Timing, and Scheduling". ACM Transactions on Programming Languages and Systems. ACM. 21 (1): 46–89. doi:10.1145/314602.314605.
  10. ↑ Kabra, Navin (14 May 2013). "Book: Digital Republic: India's rise to IT Power — by Mathai Joseph". Pune Tech. External link in |publisher= (help)
  11. ↑ Robinson, Andrew; Bowen, Jonathan (January 2014). "Digital Republic: India's rise to IT Power — by Mathai Joseph". Book Reviews. British Computer Society. Retrieved 1 February 2014.
  12. ↑ Joseph, Mathai; Robinson, Andrew (2 April 2014). "Policy: Free Indian science". Nature. doi:10.1038/508036a.
This article is issued from Wikipedia - version of the 11/27/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.