Mathai Joseph

Last updated

Mathai Joseph
Born
India
NationalityIndian
Alma mater Wilson College, Mumbai, University of Bombay, Welsh College of Advanced Technology, University of Cambridge
Known for Real-time systems; formal methods
Awards2020 Test-of-Time Award [1]
Scientific career
Fields Computer science
Institutions University of Warwick, Tata Institute of Fundamental Research
Doctoral advisor David Wheeler [2]
Notable students Paritosh Pandya, Zhiming Liu

Mathai Joseph is an Indian computer scientist and author. [3]

Contents

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. [4] 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 [2] (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). [4] 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 ]

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). [4] He was Board Chair of UNU-IIST (2004–06, United Nations University, Macau). [5] Joseph was the first person from India to be elected to the Council of the ACM. [6] 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, [7] was joint work with Paritosh Pandya, published in The Computer Journal in 1986. [8] This paper won a 2020 Test-of-Time Award, announced at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021). [1]

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. [9] [10]

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

Books

Related Research Articles

In systems engineering, dependability is a measure of a system's availability, reliability, maintainability, and in some cases, other characteristics such as durability, safety and security. In real-time computing, dependability is the ability to provide services that can be trusted within a time-period. The service guarantees must hold even when the system is subject to attacks or natural failures.

A Byzantine fault is a condition of a computer system, particularly distributed computing systems, where components may fail and there is imperfect information on whether a component has failed. The term takes its name from an allegory, the "Byzantine generals problem", developed to describe a situation in which, in order to avoid catastrophic failure of the system, the system's actors must agree on a concerted strategy, but some of these actors are unreliable.

Narendra Krishna Karmarkar is an Indian mathematician. Karmarkar developed Karmarkar's algorithm. He is listed as an ISI highly cited researcher.

Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of one or more faults within some of its components. If its operating quality decreases at all, the decrease is proportional to the severity of the failure, as compared to a naively designed system, in which even a small failure can cause total breakdown. Fault tolerance is particularly sought after in high-availability, mission-critical, or even life-critical systems. The ability of maintaining functionality when portions of a system break down is referred to as graceful degradation.

<span class="mw-page-title-main">Dines Bjørner</span> Danish computer scientist

Professor Dines Bjørner is a Danish computer scientist.

<span class="mw-page-title-main">United Nations University International Institute for Software Technology</span> U.N. University Research Training Centre based in Macau, China

The United Nations University International Institute for Software Technology was a United Nations University Research Training Centre based in Macau, China.

Zhou Chaochen is a Chinese computer scientist.

He Jifeng is a Chinese computer scientist.

M. Dale Skeen is an American computer scientist. He specializes in designing and implementing large-scale computing systems, distributed computing and database management systems.

<span class="mw-page-title-main">Zhiming Liu (computer scientist)</span>

Zhiming Liu is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on Fault-Tolerant Programming by Transformations.

<span class="mw-page-title-main">Werner Vogels</span> American computer scientist

Werner Hans Peter Vogels is the chief technology officer and vice president of Amazon in charge of driving technology innovation within the company. Vogels has broad internal and external responsibilities.

<span class="mw-page-title-main">Indian Institute of Space Science and Technology</span> Government-aided institute in Valiamala, Nedumangad, Thiruvananthapuram, Kerala

Indian Institute of Space Science and Technology (IIST) is a government-aided institute and deemed university for the study and research of space science, located at Valiamala, Nedumangad,Thiruvananthapuram, Kerala. It is the first university in Asia to be solely dedicated to the study and research of Outer space. It was inaugurated on 14 September 2007 by G. Madhavan Nair, the then Chairman of ISRO. IIST was set up by the Indian Space Research Organisation (ISRO) under the Department of Space, Government of India. A. P. J. Abdul Kalam, former President of India, was the Chancellor of IIST. IIST offers regular engineering undergraduate, postgraduate and doctorate programmes with focus on space science, technology and applications.

<span class="mw-page-title-main">Rajeev Alur</span> American computer scientist

Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata and nested words.

Susan Owicki is a computer scientist, Association for Computing Machinery (ACM) Fellow, and one of the founding members of the Systers mailing list for women in computing. She changed careers in the early 2000s and became a licensed marriage and family therapist.

Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India. Since 2020, he is an adjunct professor at IIT Bombay.

<span class="mw-page-title-main">United Nations University Institute on Computing and Society</span> Institute of the United Nations University in São Lázaro, Macau

The United Nations University Institute on Computing and Society is an institute of the United Nations University (UNU), located in São Lázaro, Macau, China.

Mootaz Elnozahy is a computer scientist. He is currently a professor of computer science at the computer, electrical and mathematical science, and engineering (CEMSE) division at King Abdullah University of Science and Technology. He previously served as Special Advisor to the President and Dean of CEMSE. Elnozahy's research area is in systems, including high-performance computing, power-aware computing, fault tolerance, operating systems, system architecture, and distributed systems. His work on rollback-recovery is now a standard component of graduate courses in fault-tolerant computing, and he has made seminal contributions in checkpoint/restart, and in general on the complex hardware-software interactions in resilience.

Chen Guangxi was a Chinese engineer, computer scientist, and professor who founded the discipline of computer science at the Harbin Institute of Technology.

<span class="mw-page-title-main">Anders P. Ravn</span> Danish computer scientist (1947–2019)

Anders Peter Ravn was a Danish computer scientist.

<span class="mw-page-title-main">Magdalena Bałazińska</span> Computer scientist

Magdalena Bałazińska is a computer scientist whose research concerns databases and data streams. Born in Poland and educated in Algeria, Canada, and the US, she works at the University of Washington, where she directs the Paul G. Allen School of Computer Science & Engineering.

References

  1. 1 2 "TCRTS Awards – 2020 Test-of-Time Awards". RTAS 2021: 27th IEEE Real-Time and Embedded Technology and Applications Symposium. May 2021. Retrieved 22 May 2021.
  2. 1 2 Digital Republic, page 72.
  3. ↑ 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. blogs.technet.com. Retrieved 25 January 2013.
  4. 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. blogs.technet.com. Retrieved 25 January 2013.
  5. 1 2 "Former UNU-IIST Board Chair Prof. Mathai Joseph Publishes New Book on India's IT Development". punetech.com. Pune Tech. 2 May 2013. Retrieved 25 January 2014.
  6. ↑ "Dr. Mathai Joseph". Microsoft Research . Retrieved 26 January 2014.
  7. ↑ "Finding response times in a real-time system". Google Scholar . Retrieved 24 May 2021.
  8. ↑ Joseph, Mathai; Pandya, Paritosh (1986). "Finding Response Times in a Real-Time System". The Computer Journal . 29 (5): 390–395. doi: 10.1093/comjnl/29.5.390 .
  9. ↑ Liu, Zhiming; Joseph, Mathai (1992). "Transformation of Programs for Fault-Tolerance" (PDF). Formal Aspects of Computing . 4 (5): 442–469. doi:10.1007/BF01211393. S2CID   16116422.
  10. ↑ Liu, Zhiming; Joseph, Mathai (1999). "Specification and Verification of Fault-Tolerance, Timing, and Scheduling". ACM Transactions on Programming Languages and Systems . 21 (1): 46–89. CiteSeerX   10.1.1.54.2264 . doi:10.1145/314602.314605. S2CID   12975945.
  11. ↑ Kabra, Navin (14 May 2013). "Book: Digital Republic: India's rise to IT Power — by Mathai Joseph". punetech.com. Pune Tech.
  12. 1 2 Robinson, Andrew; Bowen, Jonathan (January 2014). "Digital Republic: India's rise to IT Power – by Mathai Joseph". Book Reviews. British Computer Society. Archived from the original on 3 February 2014. Retrieved 3 February 2014– via Archive.org.
  13. ↑ Joseph, Mathai; Robinson, Andrew (2 April 2014). "Policy: Free Indian science". Nature . 508 (7494): 36–38. doi: 10.1038/508036a . PMID   24707526.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.