Матай Джозеф (родился 2 января 1943 г.) [ требуется проверка ] — индийский ученый -компьютерщик и писатель . [3]
Джозеф получил степень бакалавра по физике в Уилсон-колледже ( Мумбаи , Индия , 1962 г.) и степень магистра по тому же предмету в Университете Мумбаи в 1964 г. технологии (1965 г.), а затем защитил докторскую диссертацию по вычислительной технике в Черчилль-колледже в Кембридже под руководством Дэвида Уилера [2] (присужден в 1968 г.).
С 1968 по 1985 год Джозеф работал над программированием в качестве научного сотрудника и старшего научного сотрудника в Институте фундаментальных исследований Тата (Мумбаи, Индия), а затем на 12 лет (1985–1997) стал профессором компьютерных наук в Уорикском университете в Англии . . [4] Он вернулся в Индию в 1997 году. Затем он работал в промышленности исполнительным директором Центра исследований и разработок Tata ( Пуна ) и исполнительным вице-президентом Tata Consultancy Services (1997–2007).
Джозеф был приглашенным профессором в Университете Карнеги-Меллона (1980–81), Эйндховенском технологическом университете (1990–92), Уорикском университете (1997–98) и Йоркском университете (2001–04). [4] Он был председателем правления UNU-IIST (2004–06, Университет Организации Объединенных Наций , Макао ). [5] Джозеф был первым человеком из Индии, избранным в Совет ACM . [6] Кроме того, до 2012 года он был членом Совета ACM India. До 2014 года он возглавлял Комитет по образованию ACM India.
Основной исследовательский интерес Матая Джозефа находится в области формальных методов, связанных с компьютерными системами , включая системы реального времени . Его наиболее цитируемая статья « Поиск времени отклика в системе реального времени », набравшая более 1500 ссылок в Google Scholar в 2021 году [7] , была совместной работой с Паритошем Пандья , опубликованной в The Computer Journal в 1986 году. [8] Эта статья получил награду Test-of-Time Award 2020, объявленную на 27-м симпозиуме IEEE по технологиям и приложениям в реальном времени и встроенным технологиям (RTAS 2021). [1]
Совместная работа Джозефа с Жимин Лю над отказоустойчивостью дает формальную модель, которая точно определяет понятия ошибки , ошибки , отказа и отказоустойчивости , а также их отношения. Он также предоставил свойства, которые моделируют подверженные сбоям программы и отказоустойчивые программы с точки зрения преобразований. Вместе они предложили процесс проектирования отказоустойчивых систем, основанный на спецификациях и анализе требований, выявлении и анализе среды сбоя, спецификации конструкции, подверженной сбоям, и проверке отказоустойчивости для удовлетворения спецификации требований. [9] [10]