Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Mathai_Joseph> ?p ?o }
- Mathai_Joseph abstract "Mathai Joseph is a leading Indian computer scientist.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 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–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). 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). He was Board Chair of UNU-IIST (2004–06, United Nations University, Macau). Joseph was the first person from India to be elected to the Council of the ACM. 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, was joint work with Paritosh Pandya, published in The Computer Journal in 1986.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.Joseph is the author of Digital Republic, a personal reminiscence that also charts the development of Information Technology in India and the issues involved. He is interested in improving science in India.".
- Mathai_Joseph almaMater Cardiff_University.
- Mathai_Joseph almaMater University_of_Cambridge.
- Mathai_Joseph almaMater University_of_Mumbai.
- Mathai_Joseph almaMater Wilson_College,_Mumbai.
- Mathai_Joseph birthPlace India.
- Mathai_Joseph doctoralAdvisor David_Wheeler_(British_computer_scientist).
- Mathai_Joseph notableStudent Paritosh_Pandya.
- Mathai_Joseph notableStudent Zhiming_Liu_(computer_scientist).
- Mathai_Joseph residence India.
- Mathai_Joseph residence Pune.
- Mathai_Joseph wikiPageExternalLink mathaijoseph.com.
- Mathai_Joseph wikiPageExternalLink B00CGR5JLU.
- Mathai_Joseph wikiPageExternalLink mathaijoseph.
- Mathai_Joseph wikiPageExternalLink www.power-publisher.com.
- Mathai_Joseph wikiPageExternalLink watch?v=Jlxj-MITfaU.
- Mathai_Joseph wikiPageID "41742563".
- Mathai_Joseph wikiPageLength "10638".
- Mathai_Joseph wikiPageOutDegree "69".
- Mathai_Joseph wikiPageRevisionID "704873335".
- Mathai_Joseph wikiPageWikiLink Association_for_Computing_Machinery.
- Mathai_Joseph wikiPageWikiLink Cardiff_University.
- Mathai_Joseph wikiPageWikiLink Carnegie_Mellon_University.
- Mathai_Joseph wikiPageWikiLink Category:Academics_of_the_University_of_Warwick.
- Mathai_Joseph wikiPageWikiLink Category:Alumni_of_Cardiff_University.
- Mathai_Joseph wikiPageWikiLink Category:Alumni_of_Churchill_College,_Cambridge.
- Mathai_Joseph wikiPageWikiLink Category:Computer_science_writers.
- Mathai_Joseph wikiPageWikiLink Category:Formal_methods_people.
- Mathai_Joseph wikiPageWikiLink Category:Indian_autobiographers.
- Mathai_Joseph wikiPageWikiLink Category:Indian_computer_scientists.
- Mathai_Joseph wikiPageWikiLink Category:Living_people.
- Mathai_Joseph wikiPageWikiLink Category:Tata_Institute_of_Fundamental_Research_faculty.
- Mathai_Joseph wikiPageWikiLink Category:University_of_Mumbai_alumni.
- Mathai_Joseph wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Mathai_Joseph wikiPageWikiLink Chairman.
- Mathai_Joseph wikiPageWikiLink Churchill_College,_Cambridge.
- Mathai_Joseph wikiPageWikiLink Computer.
- Mathai_Joseph wikiPageWikiLink Computer_science.
- Mathai_Joseph wikiPageWikiLink Computer_scientist.
- Mathai_Joseph wikiPageWikiLink David_Wheeler_(British_computer_scientist).
- Mathai_Joseph wikiPageWikiLink Doctor_of_Philosophy.
- Mathai_Joseph wikiPageWikiLink Eindhoven_University_of_Technology.
- Mathai_Joseph wikiPageWikiLink Electronics.
- Mathai_Joseph wikiPageWikiLink England.
- Mathai_Joseph wikiPageWikiLink Executive_director.
- Mathai_Joseph wikiPageWikiLink Fault_tolerance.
- Mathai_Joseph wikiPageWikiLink Fellow.
- Mathai_Joseph wikiPageWikiLink Formal_methods.
- Mathai_Joseph wikiPageWikiLink Google_Scholar.
- Mathai_Joseph wikiPageWikiLink India.
- Mathai_Joseph wikiPageWikiLink Information_technology.
- Mathai_Joseph wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Mathai_Joseph wikiPageWikiLink LinkedIn.
- Mathai_Joseph wikiPageWikiLink Macau.
- Mathai_Joseph wikiPageWikiLink Mumbai.
- Mathai_Joseph wikiPageWikiLink Paritosh_Pandya.
- Mathai_Joseph wikiPageWikiLink Physics.
- Mathai_Joseph wikiPageWikiLink Postgraduate_diploma.
- Mathai_Joseph wikiPageWikiLink Prentice_Hall.
- Mathai_Joseph wikiPageWikiLink Prentice_Hall_International_Series_in_Computer_Science.
- Mathai_Joseph wikiPageWikiLink Pune.
- Mathai_Joseph wikiPageWikiLink Real-time_computing.
- Mathai_Joseph wikiPageWikiLink Springer_Science+Business_Media.
- Mathai_Joseph wikiPageWikiLink Tata_Consultancy_Services.
- Mathai_Joseph wikiPageWikiLink Tata_Institute_of_Fundamental_Research.
- Mathai_Joseph wikiPageWikiLink Tata_Research_Development_and_Design_Centre.
- Mathai_Joseph wikiPageWikiLink The_Computer_Journal.
- Mathai_Joseph wikiPageWikiLink United_Nations_University.
- Mathai_Joseph wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- Mathai_Joseph wikiPageWikiLink University_of_Cambridge.
- Mathai_Joseph wikiPageWikiLink University_of_Mumbai.
- Mathai_Joseph wikiPageWikiLink University_of_Warwick.
- Mathai_Joseph wikiPageWikiLink University_of_York.
- Mathai_Joseph wikiPageWikiLink Vice_president.
- Mathai_Joseph wikiPageWikiLink Visiting_scholar.
- Mathai_Joseph wikiPageWikiLink Wilson_College,_Mumbai.
- Mathai_Joseph wikiPageWikiLink YouTube.
- Mathai_Joseph wikiPageWikiLink Zhiming_Liu_(computer_scientist).
- Mathai_Joseph wikiPageWikiLinkText "M. Joseph".
- Mathai_Joseph wikiPageWikiLinkText "Mathai Joseph".
- Mathai_Joseph almaMater Cardiff_University.
- Mathai_Joseph almaMater University_of_Cambridge.
- Mathai_Joseph almaMater University_of_Mumbai.
- Mathai_Joseph almaMater Wilson_College,_Mumbai.
- Mathai_Joseph birthPlace India.
- Mathai_Joseph doctoralAdvisor David_Wheeler_(British_computer_scientist).
- Mathai_Joseph name "Joseph, Mathai".
- Mathai_Joseph name "Mathai Joseph".
- Mathai_Joseph nationality "Indian".
- Mathai_Joseph notableStudents Paritosh_Pandya.
- Mathai_Joseph notableStudents Zhiming_Liu_(computer_scientist).
- Mathai_Joseph placeOfBirth India.
- Mathai_Joseph residence "Pune, India".
- Mathai_Joseph shortDescription "Computer scientist".
- Mathai_Joseph wikiPageUsesTemplate Template:Cite_book.
- Mathai_Joseph wikiPageUsesTemplate Template:DBLP.
- Mathai_Joseph wikiPageUsesTemplate Template:Infobox_scientist.
- Mathai_Joseph wikiPageUsesTemplate Template:Persondata.
- Mathai_Joseph wikiPageUsesTemplate Template:Reflist.
- Mathai_Joseph wikiPageUsesTemplate Template:Use_Indian_English.