Матай Джозеф
Матай Джозеф | |
|---|---|
| Рожденный | Индия |
| Национальность | Индийский |
| Альма-матер | Колледж Уилсона, Мумбаи , Бомбейский университет , Уэльский колледж передовых технологий , Кембриджский университет |
| Известный | Системы реального времени ; формальные методы |
| Награды | Премия "Испытание временем" 2020 года [1] |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Уорика , Институт фундаментальных исследований Тата |
| Докторантура | Дэвид Уиллер [2] |
| Известные студенты | Паритош Пандья , Чжимин Лю |
Матай Джозеф — индийский ученый-компьютерщик и писатель. [3]
Ранняя жизнь и образование
[ редактировать ]Джозеф получил степень бакалавра физики в колледже Уилсона ( Мумбаи , Индия, 1962 г.) и степень магистра по тому же предмету в Университете Мумбаи в 1964 г. [4] Позже он получил диплом аспиранта по электронике в Валлийском колледже передовых технологий (1965), а затем защитил докторскую диссертацию по вычислительной технике в Черчилль-колледже в Кембридже под руководством Дэвида Уиллера . [2] (награжден в 1968 г.).
С 1968 по 1985 год Джозеф работал над программированием в качестве научного сотрудника и старшего научного сотрудника в Институте фундаментальных исследований Тата стал профессором информатики в Уорикском университете (Мумбаи, Индия), а затем на 12 лет (1985–97) в Англии. . [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] Этот документ получил награду «Испытание временем» 2020 года, объявленную на 27-м симпозиуме IEEE по встраиваемым технологиям и приложениям реального времени (RTAS 2021). [1]
Совместная работа Джозефа с Чжимин Лю по отказоустойчивости дает формальную модель, которая точно определяет понятия сбоя , ошибки , сбоя и отказоустойчивости , а также их взаимосвязи. Он также предоставил свойства, моделирующие ошибочные программы и отказоустойчивые программы с точки зрения преобразований. Вместе они предложили процесс проектирования отказоустойчивых систем, включающий в себя спецификации и анализ требований, идентификацию и анализ среды ошибок, спецификацию отказоустойчивого проекта и проверку отказоустойчивости для удовлетворения спецификации требований. [9] [10]
Джозеф является автором книги «Цифровая республика» , личных воспоминаний, в которой также описывается развитие информационных технологий в Индии и связанные с этим проблемы. [5] [11] [12] Он заинтересован в развитии науки в Индии. [13]
Книги
[ редактировать ]- Джозеф, Матаи; Шьямасундар, Р.К., ред. (1984). Основы программных технологий и теоретической информатики, Четвертая конференция, Бангалор, Индия, 13–15 декабря 1984 г., Труды . Конспекты лекций по информатике . Том. 181. Шпрингер-Верлаг . ISBN 978-3-540-13883-9 .
- Джозеф, Матаи, изд. (1988). Формальные методы в системах реального времени и отказоустойчивых системах, Материалы симпозиума, Уорик, Великобритания, 22–23 сентября 1988 г. Конспекты лекций по информатике. Том. 331. Шпрингер-Верлаг. ISBN 978-3-540-50302-6 .
- Джозеф, Матаи, изд. (1996). Системы реального времени: спецификация, проверка и анализ . Международная серия по информатике . Прентис Холл . ISBN 978-0-13-455297-2 .
- Джозеф, Матаи (2013). Цифровая республика: восхождение Индии к мощи ИТ . Издатели Power. ISBN 978-93-82792-57-4 .
{{cite book}}:|website=игнорируется ( помогите ) [12] - Джозеф, Матаи (2017). Мертвый для разума . Амазон Киндл .
{{cite book}}:|work=игнорируется ( помогите )
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «TCRTS Awards – Награды за испытание временем 2020» . RTAS 2021: 27-й симпозиум IEEE по встраиваемым технологиям и приложениям реального времени . Май 2021 года . Проверено 22 мая 2021 г.
- ^ Перейти обратно: а б Цифровая Республика , стр. 72.
- ^ Ибараки, Стивен (27 августа 2013 г.). «Поговорите с доктором Матаем Джозефом: всемирно известным писателем, руководителем, исследователем и консультантом по технологиям; выдающимся ученым-компьютерщиком» . Блог канадского ИТ-менеджера . blogs.technet.com . Проверено 25 января 2013 г.
- ^ Перейти обратно: а б с Ибараки, Стивен (11 января 2010 г.). «Доктор Матай Джозеф: известный руководитель, исследователь, выдающийся ученый делится своим глубоким пониманием компьютерных технологий, исследований, карьеры и тенденций» . Блог канадского ИТ-менеджера . blogs.technet.com . Проверено 25 января 2013 г.
- ^ Перейти обратно: а б «Бывший председатель правления UNU-IIST профессор Матхай Джозеф публикует новую книгу о развитии информационных технологий в Индии» . punetech.com . Пуна Тех. 2 мая 2013 г. Архивировано из оригинала 19 февраля 2014 г. . Проверено 25 января 2014 г.
- ^ «Доктор Матай Джозеф» . Исследования Майкрософт . Проверено 26 января 2014 г.
- ^ «Определение времени отклика в системе реального времени» . Google Академик . Проверено 24 мая 2021 г.
- ^ Джозеф, Матаи; Пандия, Паритош (1986). «Определение времени отклика в системе реального времени» . Компьютерный журнал . 29 (5): 390–395. дои : 10.1093/comjnl/29.5.390 .
- ^ Лю, Чжимин ; Джозеф, Матаи (1992). «Преобразование программ для обеспечения отказоустойчивости» (PDF) . Формальные аспекты вычислений . 4 (5): 442–469. дои : 10.1007/BF01211393 . S2CID 16116422 .
- ^ Лю, Чжимин ; Джозеф, Матаи (1999). «Спецификация и проверка отказоустойчивости, синхронизации и планирования». Транзакции ACM в языках и системах программирования . 21 (1): 46–89. CiteSeerX 10.1.1.54.2264 . дои : 10.1145/314602.314605 . S2CID 12975945 .
- ^ Кабра, Навин (14 мая 2013 г.). «Книга: Цифровая республика: восхождение Индии к ИТ-мощности — Матхай Джозеф» . punetech.com . Пуна Тех.
- ^ Перейти обратно: а б Робинсон, Эндрю ; Боуэн, Джонатан (январь 2014 г.). «Цифровая республика: восхождение Индии к ИТ-мощности – Матхай Джозеф» . Рецензии на книги . Британское компьютерное общество . Архивировано из оригинала 3 февраля 2014 года . Проверено 3 февраля 2014 г. - через Archive.org .
- ^ Джозеф, Матаи; Робинсон, Эндрю (2 апреля 2014 г.). «Политика: свободная индийская наука» . Природа . 508 (7494): 36–38. дои : 10.1038/508036а . ПМИД 24707526 .
Внешние ссылки
[ редактировать ]- Сайт Матая Джозефа
- Матай Джозеф на DBLP библиографическом сервере
- Публикации Матая Джозефа, проиндексированные Google Scholar
- Turing100@Persistent: Часть 2, основной докладчик — доктор Матай Джозеф на YouTube
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Выпускники Университета Мумбаи
- Выпускники Кардиффского университета
- Выпускники Черчилль-колледжа в Кембридже
- Индийские ученые-компьютерщики
- Формальные методы люди
- Академики Уорикского университета
- Академический состав Института фундаментальных исследований Тата
- Писатели по информатике
- Индийские автобиографы