Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 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 900 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.".
• 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_(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 wikiPageRevisionID "593363606".
• 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_(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 workplaces Tata_Institute_of_Fundamental_Research.
• Mathai_Joseph workplaces University_of_Warwick.
• Mathai_Joseph description "Computer scientist".
• Mathai_Joseph description "Computer scientist".
• Mathai_Joseph subject Category:Academics_of_the_University_of_Warwick.
• Mathai_Joseph subject Category:Alumni_of_Cardiff_University.
• Mathai_Joseph subject Category:Alumni_of_Churchill_College,_Cambridge.
• Mathai_Joseph subject Category:Computer_science_writers.
• Mathai_Joseph subject Category:Formal_methods_people.
• Mathai_Joseph subject Category:Indian_autobiographers.
• Mathai_Joseph subject Category:Indian_computer_scientists.
• Mathai_Joseph subject Category:Living_people.
• Mathai_Joseph subject Category:Tata_Institute_of_Fundamental_Research_faculty.
• Mathai_Joseph subject Category:University_of_Mumbai_alumni.
• Mathai_Joseph subject Category:Year_of_birth_missing_(living_people).
• Mathai_Joseph type Agent.
• Mathai_Joseph type Person.
• Mathai_Joseph type Scientist.
• Mathai_Joseph type Person.
• Mathai_Joseph type Q215627.
• Mathai_Joseph type Q5.
• Mathai_Joseph type Agent.
• Mathai_Joseph type NaturalPerson.
• Mathai_Joseph type Thing.
• Mathai_Joseph type Person.
• Mathai_Joseph comment "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.".
• Mathai_Joseph label "Mathai Joseph".
• Mathai_Joseph sameAs m.0_gyddz.
• Mathai_Joseph sameAs Q15990096.
• Mathai_Joseph sameAs Q15990096.
• Mathai_Joseph wasDerivedFrom Mathai_Joseph?oldid=593363606.
• Mathai_Joseph givenName "Mathai".
• Mathai_Joseph isPrimaryTopicOf Mathai_Joseph.
• Mathai_Joseph name "Joseph, Mathai".
• Mathai_Joseph name "Mathai Joseph".
• Mathai_Joseph surname "Joseph".