Loading article…
マタイ・ジョセフ | |
|---|---|
| 生まれる | インド |
| 国籍 | インド人 |
| 母校 | ウィルソン・カレッジ、ムンバイ、ボンベイ大学、ウェールズ先端技術大学、ケンブリッジ大学 |
| 知られている | リアルタイムシステム、形式手法 |
| 受賞歴 | 2020年 テスト・オブ・タイム賞[1] |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ウォーリック大学、タタ基礎研究所 |
| 博士課程の指導教員 | デビッド・ウィーラー[2] |
| 著名な学生 | パリトシュ・パンディア、ジミン・リウ |
マタイ・ジョセフはインドのコンピュータ科学者であり作家です。[3]
幼少期と教育
ジョセフはウィルソン大学（インド、ムンバイ、1962年）で物理学の学士号を取得し、 1964年にムンバイ大学で同じ科目の修士号を取得しました。 [4]その後、ウェルシュ先端技術大学（1965年）で電子工学の大学院ディプロマを取得し、その後、ケンブリッジのチャーチル大学でデイビッド・ウィーラー（1968年授与） の指導の下、コンピューター科学の博士号を取得しました。 [2]
1968年から1985年まで、ジョセフはタタ基礎研究所（インド、ムンバイ）で研究員および上級研究員としてプログラミングに携わり、その後12年間（1985年から1997年）イギリスのウォーリック大学でコンピュータサイエンスの教授を務めた。 [4] 1997年にインドに戻った。その後、タタ研究開発デザインセンター（プネ）のエグゼクティブディレクター、タタコンサルタンシーサービスのエグゼクティブバイスプレジデント（1997年から2007年）として産業界で働いた。[要出典]
キャリア
ジョセフはカーネギーメロン大学（1980〜81年）、アイントホーフェン工科大学（1990〜92年）、ウォーリック大学（1997〜98年）、ヨーク大学（2001〜04年）の客員教授を務めた。 [4] UNU-IIST（2004〜06年、マカオの国連大学）の理事長も務めた。[5]ジョセフはインド出身者として初めてACM評議会に選出された。[6]さらに、2012年までACMインド評議会のメンバーを務めた。2014年までACMインド教育委員会の委員長を務めた。
マタイ・ジョセフの主な研究対象は、リアルタイムシステムを含むコンピュータシステムに関連する形式手法の分野です。彼の最も引用された論文「リアルタイムシステムでの応答時間の検出」は、 2021年にGoogle Scholarで1,500回以上引用されており、 [7] 1986年にThe Computer Journalに掲載されたパリトシュ・パンディアとの共同研究です。 [8]この論文は、第27回IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム（RTAS 2021）で発表された2020年のTest-of-Time賞を受賞しました。[1]
ジョセフと劉志明のフォールトトレランスに関する共同研究は、フォールト、エラー、故障、フォールトトレランスの概念とそれらの関係を正確に定義する形式モデルを提供します。また、変換の観点からフォールトの影響を受けたプログラムとフォールトトレラントプログラムをモデル化するプロパティも提供しました。彼らは共同で、要件仕様と分析、フォールト環境の識別と分析、フォールトの影響を受けた設計の仕様、および要件仕様を満たすフォールトトレランスの検証からフォールトトレラントシステムの設計プロセスを提案しました。[9] [10]
ジョセフは、インドの情報技術の発展とそれに伴う問題を描いた個人的な回想録である『デジタル共和国』の著者である。 [5] [11] [12]彼はインドの科学の向上に関心を持っている。[13]
書籍
- Joseph, Mathai、Shyamasundar, RK 編 (1984)。ソフトウェア技術と理論計算機科学の基礎、第 4 回会議、インド、バンガロール、1984 年 12 月 13 ～ 15 日、議事録。計算機科学の講義ノート。第 181 巻。Springer - Verlag。ISBN 978-3-540-13883-9。
- ジョセフ・マタイ編 (1988)。リアルタイムおよびフォールトトレラントシステムにおける形式的手法、シンポジウム議事録、英国ウォーリック、1988 年 9 月 22 ～ 23 日。コンピュータサイエンスの講義ノート。第 331 巻。Springer- Verlag。ISBN 978-3-540-50302-6。
- Joseph, Mathai 編 (1996)。リアルタイム システム: 仕様、検証、分析。International Series in Computer Science。Prentice Hall。ISBN 978-0-13-455297-2。
- ジョセフ・マタイ（2013年）。デジタル共和国：インドのIT大国への台頭。Power Publishers。ISBN 978-93-82792-57-4。
{{cite book}}:|website=無視 (ヘルプ) [12] - ジョセフ・マタイ（2017年）。Dead to Reason。Amazon Kindle。
{{cite book}}:|work=無視されました (ヘルプ)
参考文献
- ^ ab 「TCRTS Awards – 2020 Test-of-Time Awards」。RTAS 2021: 第27回IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム。2021年5月。 2021年5月22日閲覧。
- ^ ab Digital Republic、72ページ。
- ^ Ibaraki, Stephen (2013 年 8 月 27 日)。「Mathai Joseph 博士との対談: 国際的に著名な著者、経営者、研究者、技術顧問、著名なコンピューター科学者」。Canadian IT Manager's Blog。blogs.technet.com。2013年1月 25 日閲覧。
- ^ abc Ibaraki、Stephen (2010 年 1 月 11 日)。「著名な経営者、研究者、著名な科学者である Mathai Joseph 博士が、コンピューティング、研究、キャリア、トレンドに関する深い洞察を共有します」。Canadian IT Manager's Blog。blogs.technet.com。2013年1月 25 日閲覧。
- ^ ab 「元UNU-IIST理事長マタイ・ジョセフ教授、インドのIT開発に関する新著を出版」punetech.com . Pune Tech. 2013年5月2日。2014年2月19日時点のオリジナルよりアーカイブ。 2014年1月25日閲覧。
- ^ 「Dr. Mathai Joseph」。Microsoft Research 。 2014年1月26日閲覧。
- ^ 「リアルタイムシステムでの応答時間の検索」。Google Scholar 。 2021年5月24日閲覧。
- ^ Joseph, Mathai; Pandya, Paritosh (1986). 「リアルタイムシステムにおける応答時間の検出」.コンピュータジャーナル. 29 (5): 390–395. doi : 10.1093/comjnl/29.5.390 .
- ^ Liu, Zhiming ; Joseph, Mathai (1992). 「フォールトトレランスのためのプログラムの変換」(PDF) . Formal Aspects of Computing . 4 (5): 442–469. doi :10.1007/BF01211393. S2CID 16116422.
- ^ Liu, Zhiming ; Joseph, Mathai (1999). 「フォールトトレランス、タイミング、およびスケジューリングの仕様と検証」ACM Transactions on Programming Languages and Systems . 21 (1): 46–89. CiteSeerX 10.1.1.54.2264 . doi :10.1145/314602.314605. S2CID 12975945.
- ^ Kabra, Navin (2013 年 5 月 14 日). 「書籍: Digital Republic: India's rise to IT Power — by Mathai Joseph」. punetech.com . Pune Tech.
- ^ ab Robinson, Andrew ; Bowen, Jonathan (2014年1月). 「デジタル共和国: インドのIT大国への台頭 - Mathai Joseph著」.書評.英国コンピュータ協会. 2014年2月3日時点のオリジナルよりアーカイブ。 2014年2月3日閲覧- Archive.org経由。
- ^ ジョセフ・マタイ、ロビンソン・アンドリュー（2014年4月2日）。「政策：インドの科学を自由にする」。ネイチャー。508 （7494）：36–38。doi ：10.1038/ 508036a。PMID 24707526 。
外部リンク
- マタイ・ジョセフのウェブサイト
- DBLP書誌サーバーの Mathai Joseph
- Google Scholarにインデックスされた Mathai Joseph の出版物
- Turing100@Persistent: パート 2、基調講演者 — YouTube の Mathai Joseph 博士