Матай Джозеф - Mathai Joseph

Матай Джозеф
Родившийся
Индия
НациональностьИндийский
Альма-матерКолледж Уилсона, Мумбаи, Бомбейский университет, Валлийский колледж передовых технологий, Кембриджский университет
ИзвестенСистемы реального времени; формальные методы
Научная карьера
ПоляИнформатика
УчрежденияУорикский университет, Институт фундаментальных исследований Тата
ДокторантДэвид Уиллер[1]
Известные студентыПаритош Пандья, Чжимин Лю

Матай Джозеф ведущий индийский специалист в области информатики.[2]

Джозеф учился на бакалавра в физика в Wilson College (Мумбаи, Индия, 1962) и степень магистра по тому же предмету в Университет Мумбаи в 1964 г.[3] Позже он учился в Диплом о высшем образовании в электроника на Валлийский колледж передовых технологий (1965), а затем предпринял кандидат наук в вычислениях на Черчилль-колледж, Кембридж под присмотром Дэвид Уиллер[1] (награжден в 1968 году).

В 1968–85 Джозеф работал над программированием в качестве Парень и старший научный сотрудник Институт фундаментальных исследований Тата (Мумбаи, Индия), а затем стал профессором Информатика на Уорикский университет в Англия на 12 лет (1985–97).[3] Он вернулся в Индию в 1997 году. Затем он работал в промышленности как Исполнительный директор на Центр исследований и дизайна Tata (Пуна ) и как исполнительный Вице-президент в Консультационные услуги Tata (1997–2007).

Джозеф был Посещая профессора в Университет Карнеги Меллон (1980–81), Эйндховенский технологический университет (1990–92), Уорикского университета (1997–98) и Йоркский университет (2001–04).[3] Он был Председатель правления из УООН-МИПО (2004–06, Университет ООН, Макао ).[4] Джозеф был первым человеком из Индии, избранным в Совет ACM.[5] Кроме того, он был членом Совета ACM India до 2012 года. До 2014 года он возглавлял Комитет по образованию ACM India.

Главный исследовательский интерес Матая Джозефа находится в области формальные методы относится к Компьютерные системы, включая системы реального времени. Его самая цитируемая статья "Определение времени отклика в системе реального времени", более тысячи ссылок на Google ученый,[6] была совместная работа с Паритош Пандья, опубликовано в Компьютерный журнал в 1986 г.[7]

Совместная работа Иосифа с Чжимин Лю на Отказоустойчивость дает формальную модель, которая точно определяет понятия вина, ошибка, отказ и Отказоустойчивость, и их отношения. Он также предоставил свойства, моделирующие программы, подверженные сбоям, и отказоустойчивые программы в терминах преобразований. Вместе они предложили процесс проектирования отказоустойчивых систем на основе спецификаций и анализа требований, идентификации и анализа среды сбоев, спецификации проекта, подверженного сбоям, и проверки отказоустойчивости для удовлетворения требований спецификации.[8][9]

Джозеф является автором Цифровая Республика, личное воспоминание, которое также показывает развитие Информационные технологии в Индии и связанные с этим вопросы.[4][10][11] Он заинтересован в улучшении науки в Индии.[12]

Книги

  • Джозеф, Матхай; Shyamasundar, R.K, ред. (1984). Основы программных технологий и теоретической информатики, Четвертая конференция, Бангалор, Индия, 13–15 декабря 1984 г., Труды. Конспект лекций по информатике. 181. Springer-Verlag. ISBN  978-3-540-13883-9.
  • Джозеф, Матхай, изд. (1988). Формальные методы в системах реального времени и отказоустойчивых системах, Труды симпозиума, Уорик, Великобритания, 22–23 сентября 1988 г.. Конспект лекций по информатике. 331. Springer-Verlag. ISBN  978-3-540-50302-6.
  • Джозеф, Матхай, изд. (1996). Системы реального времени: спецификация, проверка и анализ. Международная серия по информатике. Prentice Hall. ISBN  978-0-13-455297-2.
  • Джозеф, Матхай (2013). Цифровая республика: подъем Индии к мощи ИТ. www.power-publisher.com. Power Publishers. ISBN  978-93-82792-57-4.[11]
  • Джозеф, Матхай (2017). Мертвый разум. ASIN: B01N80H1W4. Amazon Kindle.

Рекомендации

  1. ^ а б Цифровая Республика, стр.72.
  2. ^ Ибараки, Стивен (27 августа 2013 г.). «Беседа с доктором Матаем Джозефом: всемирно известным писателем, руководителем, исследователем и советником по технологиям; выдающимся компьютерным ученым». Блог канадского ИТ-менеджера. blogs.technet.com. Получено 25 января 2013.
  3. ^ а б c Ибараки, Стивен (11 января 2010 г.). «Д-р Матай Джозеф: известный руководитель, исследователь, выдающийся ученый делится своим глубоким пониманием вычислений, исследований, карьеры и тенденций». Блог канадского ИТ-менеджера. blogs.technet.com. Получено 25 января 2013.
  4. ^ а б «Бывший председатель Совета УООН-МИПО профессор Матхай Джозеф издает новую книгу по развитию информационных технологий в Индии». punetech.com. Pune Tech. 2 мая 2013. Получено 25 января 2014.
  5. ^ "Доктор Матай Джозеф". Microsoft Research. Получено 26 января 2014.
  6. ^ «Определение времени отклика в системе реального времени». Google ученый. Получено 29 января 2014.
  7. ^ Джозеф, Матхай; Пандья, Паритош (1986). «Определение времени отклика в системе реального времени». Компьютерный журнал. 29 (5): 390–395. Дои:10.1093 / comjnl / 29.5.390. Получено 29 января 2014.
  8. ^ Лю, Чжимин; Джозеф, Матхай (1992). «Трансформация программ по отказоустойчивости». Формальные аспекты вычислений. 4 (5): 442–469. Дои:10.1007 / BF01211393.
  9. ^ Лю, Чжимин; Джозеф, Матхай (1999). «Спецификация и проверка отказоустойчивости, сроков и расписания». Транзакции ACM по языкам и системам программирования. 21 (1): 46–89. CiteSeerX  10.1.1.54.2264. Дои:10.1145/314602.314605.
  10. ^ Кабра, Навин (14 мая 2013 г.). «Книга: Цифровая республика: подъем Индии к мощи ИТ - Матхай Джозеф». punetech.com. Pune Tech.
  11. ^ а б Робинсон, Эндрю; Боуэн, Джонатан (Январь 2014). «Цифровая республика: рост Индии к мощи ИТ - Матхай Джозеф». Отзывы о книге. Британское компьютерное общество. Получено 1 февраля 2014.
  12. ^ Джозеф, Матхай; Робинсон, Эндрю (2 апреля 2014 г.). «Политика: свободная индийская наука». Природа. 508 (7494): 36–38. Дои:10.1038 / 508036a.

внешняя ссылка