TiffinyAult552: Creating Page

2026-03-07T18:52:10Z

Creating Page

New page

{{Short description|Indian computer scientist}}
{{Use dmy dates|date=August 2015}}
{{Use Indian English|date=August 2015}}
{{Infobox scientist
|name = Mathai Joseph
|image =
|image_size =
|caption =
|birth_date =
|birth_place = India

|citizenship =
|fields = [[Computer science]]
|workplaces = [[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 (computer scientist)|David Wheeler]]<ref name="PhD">''Digital Republic'', page 72.</ref>
|academic_advisors =
|doctoral_students =
|notable_students = [[Paritosh Pandya]], [[Zhiming Liu (computer scientist)|Zhiming Liu]]
|known_for = [[Real-time system]]s; [[formal methods]]
|author_abbrev_bot =
|author_abbrev_zoo =
|influences =
|influenced =
|awards = 2020 Test-of-Time Award<ref name="tot-award" />
|signature = 
|footnotes =
}}

'''Mathai Joseph''' is an Indian [[computer scientist]] and author.<ref>{{cite web| title=Chat with Dr. Mathai Joseph: Internationally Renowned Author, Executive, Researcher, and Technology Advisor; Distinguished Computer Scientist | date=27 August 2013 | first=Stephen | last=Ibaraki | publisher=blogs.technet.com | work=Canadian IT Manager's Blog | url=http://blogs.technet.com/b/cdnitmanagers/archive/2013/08/27/chat-with-dr-mathai-joseph-internationally-renowned-author-executive-researcher-and-technology-advisor-distinguished-computer-scientist.aspx | access-date=25 January 2013 }}</ref>

==Early life and education==
Joseph studied for a BSc in [[physics]] at [[Wilson College, Mumbai|Wilson College]] ([[Mumbai]], India, 1962) and an MSc in the same subject at the [[University of Mumbai]] in 1964.<ref name="Ibaraki2010">{{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 }}</ref> 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 (computer scientist)|David Wheeler]]<ref name="PhD" /> (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).<ref name="Ibaraki2010" /> 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}}

==Career==
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).<ref name="Ibaraki2010" /> He was [[Chairman|Board Chair]] of [[UNU-IIST]] (2004–06, [[United Nations University]], Macau).<ref name="unu-iist">{{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 }}</ref> Joseph was the first person from India to be elected to the Council of the [[Association for Computing Machinery|ACM]].<ref name="microsoft">{{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 }}</ref> 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 system]]s, including [[real-time system]]s. His most cited paper, "''Finding Response Times in a Real-Time System''", with over 1,500 citations on [[Google Scholar]] in 2021,<ref>{{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 }}</ref> was joint work with [[Paritosh Pandya]], published in ''[[The Computer Journal]]'' in 1986.<ref>{{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 }}</ref> This paper won a 2020 Test-of-Time Award, announced at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021).<ref name="tot-award">{{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 | archive-date=22 May 2021 | archive-url=https://web.archive.org/web/20210522114509/http://2021.rtas.org/news/tcrts-awards/ | url-status=dead }}</ref>

Joseph's joint work with [[Zhiming Liu (computer scientist)|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.<ref>{{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 }}</ref><ref>{{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 }}</ref>

Joseph is the author of ''Digital Republic'', a personal reminiscence that also charts the development of Information Technology in India and the issues involved.<ref name="unu-iist" /><ref name="Kabra2013">{{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/ }}</ref><ref name="bcs-review">{{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]] }}</ref> He is interested in improving science in India.<ref>{{cite journal| title=Policy: Free Indian science | journal=[[Nature (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 }}</ref>

==Books==
* {{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=[[Prentice Hall International Series in Computer Science|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 }}<ref name="bcs-review" />
* {{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 }}

==References==
{{Reflist}}

==External links==
* [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)]]

Mathai Joseph - Revision history

TiffinyAult552: Creating Page