Mathai Joseph

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.{{cite web| title=Dr. Mathai Joseph: Renowned Executive, Researcher, Distinguished Scientist shares his deep insights into computing, research, careers, trends | date=11 January 2010 | first=Stephen | last=Ibaraki | publisher=blogs.technet.com | work=Canadian IT Manager's Blog | url=http://blogs.technet.com/b/cdnitmanagers/archive/2010/01/11/dr-mathai-joseph-renowned-executive-researcher-distinguished-scientist-shares-his-deep-insights-into-computing-research-careers-trends.aspx| access-date=25 January 2013 }} 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 (awarded 1968).

From 1968 to 1985, 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). 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).{{citation needed|date=June 2022}}

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). He was Board Chair of UNU-IIST (2004–06, United Nations University, Macau).{{cite web | title=Former UNU-IIST Board Chair Prof. Mathai Joseph Publishes New Book on India's IT Development | date=2 May 2013 | website=punetech.com | publisher=Pune Tech | url=http://iist.unu.edu/news/former-unu-iist-board-chair-prof.-mathai-joseph-publishes-new-book-indias-it-development | access-date=25 January 2014 | archive-date=19 February 2014 | archive-url=https://web.archive.org/web/20140219000522/http://iist.unu.edu/news/former-unu-iist-board-chair-prof.-mathai-joseph-publishes-new-book-indias-it-development | url-status=dead }} Joseph was the first person from India to be elected to the Council of the ACM.{{cite web| title=Dr. Mathai Joseph | publisher=Microsoft Research | url=http://research.microsoft.com/en-us/events/techvista2011/mathaijoseph.aspx | access-date=26 January 2014 }} In addition, he was a member of the ACM India Council until 2012. He chaired the ACM India Education Committee until 2014.

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 1,500 citations on Google Scholar in 2021,{{cite web| url=https://scholar.google.com/scholar?hl=en&as_sdt=1%2C5&q=Finding+response+times+in+a+real-time+system&btnG= | title=Finding response times in a real-time system | publisher=Google Scholar | access-date=24 May 2021 }} was joint work with Paritosh Pandya, published in The Computer Journal in 1986.{{cite journal| first1=Mathai | last1=Joseph | first2=Paritosh | last2=Pandya |authorlink2=Paritosh Pandya | title=Finding Response Times in a Real-Time System | journal=The Computer Journal | year=1986 | volume=29 | number=5 | pages=390–395 | doi=10.1093/comjnl/29.5.390 | doi-access=free }} This paper won a 2020 Test-of-Time Award, announced at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021).{{cite web| url=http://2021.rtas.org/news/tcrts-awards/ | title=TCRTS Awards – 2020 Test-of-Time Awards | work=RTAS 2021: 27th IEEE Real-Time and Embedded Technology and Applications Symposium | date=May 2021 | accessdate=22 May 2021 }}

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.{{cite journal| first1=Zhiming | last1=Liu | authorlink1=Zhiming Liu (computer scientist) |first2=Mathai | last2=Joseph |title=Transformation of Programs for Fault-Tolerance | journal=Formal Aspects of Computing | year=1992 | volume=4 | number=5 | pages=442–469 | doi=10.1007/BF01211393| s2cid=16116422 | url=http://wrap.warwick.ac.uk/60860/12/WRAP_cs-rr-165.pdf }}{{cite journal| first1=Zhiming | last1=Liu | authorlink1=Zhiming Liu (computer scientist) |first2=Mathai | last2=Joseph |title=Specification and Verification of Fault-Tolerance, Timing, and Scheduling | journal=ACM Transactions on Programming Languages and Systems | year=1999 | volume=21 | number=1 | pages=46–89| doi=10.1145/314602.314605 | citeseerx=10.1.1.54.2264 | s2cid=12975945 }}

Joseph is the author of Digital Republic, a personal reminiscence that also charts the development of Information Technology in India and the issues involved.{{cite web| title=Book: Digital Republic: India's rise to IT Power — by Mathai Joseph | first=Navin | last=Kabra | date=14 May 2013 | website=punetech.com | publisher=Pune Tech | url=http://punetech.com/book-digital-republic-indias-rise-to-it-power-by-mathai-joseph/ }}{{cite web| title=Digital Republic: India's rise to IT Power – by Mathai Joseph | work=Book Reviews | first1=Andrew | last1=Robinson | authorlink1=W. Andrew Robinson | first2=Jonathan | last2=Bowen | authorlink2=Jonathan Bowen | date=January 2014 | access-date=3 February 2014 | publisher=British Computer Society |url=https://www.bcs.org/content/conWebDoc/52077 | archive-url=https://web.archive.org/web/20140203040048/https://www.bcs.org/content/conWebDoc/52077 | archive-date=3 February 2014 | via=Archive.org }} He is interested in improving science in India.{{cite journal| title=Policy: Free Indian science | journal=Nature | volume=508 | issue=7494 | pages=36–38 | first1=Mathai | last1=Joseph | first2=Andrew | last2=Robinson | authorlink2=W. Andrew Robinson | date=2 April 2014 |doi=10.1038/508036a| pmid=24707526 | doi-access=free }}

• {{cite book| editor-first1=Mathai | editor-last1=Joseph | editor-first2=R. K. | editor-last2=Shyamasundar | title=Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13–15, 1984, Proceedings | publisher=Springer-Verlag | series=Lecture Notes in Computer Science | volume=181 | year=1984 | isbn=978-3-540-13883-9 }}
• {{cite book| editor-first=Mathai | editor-last=Joseph | title=Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22–23, 1988 | publisher=Springer-Verlag | series=Lecture Notes in Computer Science | volume=331 | year=1988 | isbn=978-3-540-50302-6 }}
• {{cite book| title=Real-Time Systems: Specification, Verification and Analysis | editor-first=Mathai | editor-last=Joseph | year=1996 | isbn=978-0-13-455297-2 | publisher=Prentice Hall | series=International Series in Computer Science }}
• {{cite book| title=Digital Republic: India's rise to IT power | first=Mathai | last=Joseph | publisher=Power Publishers |year=2013 | isbn=978-9-382-79257-4 | url=https://www.amazon.com/exec/obidos/ASIN/B00CGR5JLU/bookseaiam }}
• {{cite book| title=Dead to Reason | first=Mathai | last=Joseph | publisher=Amazon Kindle | year=2017 | url=https://www.amazon.com/exec/obidos/ASIN/B01N80H1W4/bookseaiam | isbn=978-1-520-65591-8 }}

{{Reflist}}

• [http://mathaijoseph.com/ Mathai Joseph website]
• {{DBLP |name=Mathai Joseph}}
• {{GoogleScholar|SvBU3JsAAAAJ}}
• [https://www.youtube.com/watch?v=Jlxj-MITfaU Turing100@Persistent: Part 2, Keynote Speaker — Dr. Mathai Joseph] on YouTube

{{Authority control}}

{{DEFAULTSORT:Joseph, Mathai}}

Category:Place of birth missing (living people)

Category:Living people

Category:University of Mumbai alumni

Category:Alumni of Cardiff University

Category:Alumni of Churchill College, Cambridge

Category:Indian computer scientists

Category:Formal methods people

Category:Academics of the University of Warwick

Category:Academic staff of Tata Institute of Fundamental Research

Category:Computer science writers

Category:Indian autobiographers

Category:Year of birth missing (living people)