Loading article…
ジャヤデフ・ミスラ | |
|---|---|
 | |
| 生まれる | 1947年10月17日 インド |
| 市民権 | 私たち |
| 母校 |
|
| 知られている | 分散コンピューティングと並行コンピューティングの形式的な側面、特に Unity およびOrcプロジェクトへの貢献。 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | |
| 論文 | 多段階テスト戦略の研究 (1972) |
| 博士課程の指導教員 | ハーラン・ミルズ |
| Webサイト | 「ジャヤデフ・ミスラ」。 |
| 注記 | |
数学系譜プロジェクトのジャヤデフ・ミスラ | |
ジャヤデフ・ミスラはインド生まれのコンピュータ科学者で、その職業人生の大半を米国で過ごしました。彼はコンピュータサイエンスのシュルンベルジェ・センテニアル名誉教授であり、テキサス大学オースティン校の名誉教授でもあります。彼は並行プログラミングの形式的側面への貢献と、トニー・ホーア卿と共同で検証済みソフトウェア・イニシアチブ (VSI) のプロジェクトを 先導したことで知られています。
教育と初期のキャリア
ミスラ氏は、1969年にインドのインド工科大学カンプール校で電気工学の学士号を取得し、1972年にメリーランド州ボルチモアのジョンズ・ホプキンス大学で電気工学とコンピュータサイエンスの博士号を取得しました。IBMで短期間働いた後、 1974年にテキサス大学オースティン校に入職し、1983年から1984年にかけてスタンフォード大学で過ごした1年間を除き、キャリアを通じて同大学に在籍しました。2015年に現役の教職を引退しました。
主な専門的貢献
ミスラとK. マニ チャンディは、並行コンピューティングの分野で数多くの重要な貢献を果たしました。彼らは並行コンピューティングを記述するためのプログラミング表記法とUNITYと呼ばれるロジックを開発しました。レスリー ランポートは次のように述べています。「並行アルゴリズムを記述するために従来のプログラミング言語を超える最初の大きなステップは、ミスラとチャンディの Unity でした」[1]。また、「ミスラとチャンディは、不変性とリード プロパティを証明するために開発された推論スタイルを形式化する証明規則を開発しました。Unity は、これらの証明にこれまでで最もエレガントな定式化を提供しました。」[2]
ミスラとチャンディ（および独立してランディ・ブライアント）は、分散離散イベントシミュレーション用の保守的なアルゴリズムを開発しました。これは現在、さまざまな分野で一般的に使用されています。彼らはまた、リソース割り当て（飲酒哲学者問題）、デッドロック検出、グラフアルゴリズム、分散システムにおける知識伝達の理論のためのいくつかの基本アルゴリズムも開発しました。ミスラは、デビッド・グリースと共同で、ヘビーヒッター問題に対する最初のアルゴリズムを提案しました。ミスラは、線形化可能性の理論の基礎となる同時メモリアクセスの公理のセットを提案しました。
ミスラの最新の研究プロジェクトであるOrc [3]は、並行実行のためにさまざまなソフトウェアを統合するのに役立つ並行コンピューティングの代数を開発しようとしています。
受賞と栄誉
- IFIPフェロー、2023年。[4]
- 2018年、米国工学アカデミー会員。[5]
- ハリーH.グッド記念賞、IEEE、2017年。
- オノリス・カウサ博士、パリ・サクレー高等師範学校、カシャン、フランス、2010年。[6]
- グッゲンハイムフェローシップ、1988年。
- 2004年にトムソン・ロイターISIによって「高引用研究者」として認定された。[7]
- ACMフェロー、1995年。[8]
- IEEEフェロー、1992年。[9]
- インド工科大学カンプール校優秀卒業生、[10]
- 2018年、 TAMEST（テキサス医学・工学・科学アカデミー）会員。 [11]
主な出版物
- プログラミング実践における効果的な理論、ACM Books、2023
- 並列プログラム設計 - 基礎（KM Chandyと共著）、1988年[12]
- 分散離散事象シミュレーション、1986年[13]
- プロセスのネットワークの証明（マニ・チャンディと共著）、1981年[14]
- 分散デッドロック検出（マニ・チャンディ、ローラ・M・ハースとの共著）、1983年[15]
- 飲酒哲学者問題（マニ・チャンディと共著）、1984年[16]
- 繰り返し要素の発見（デイヴィッド・グリースと共著）、1982年[17]
- プロセスがどのように学習するか（マニ・チャンディと共著）、1985年[18]
- オルクプログラミング言語（D. キッチン、A. クオーク、W. クックとの共著）、2009年[19]
- 非同期ハードウェアシステムにおけるメモリアクセスの公理、1986年[20]
- パワーリスト：並列再帰のための構造、1994年[21]
- 検証済みソフトウェア：理論、ツール、実験 グランドチャレンジプロジェクトのビジョン（トニー・ホーアと共著）、2008年[22]
参考文献
- ^ Lamport, Leslie (1994 年 5 月)。アクションのテンポラル ロジック (技術レポート) (ACM Transactions on Programming Languages and Systems 16 版)。Microsoft。79 ページ。
- ^ Lamport, Leslie (1994)。「並行プログラムの検証と仕様」。分散システム、仕様策定のための方法とツール。上級コース。並行性に関する 10 年間の考察と展望。コンピュータ サイエンスの講義ノート (LNCS )。第 803 巻。Springer、ベルリン、ハイデルベルク。p. 352。doi :10.1007/3-540-58043-3_23。
- ^ 「オーク語」。
- ^ “IFIP Announces 2023 Awards”. IFIP . 2023年10月26日. 2023年11月3日時点のオリジナルよりアーカイブ。 2023年11月3日閲覧。
- ^ "NAE ウェブサイト - ジャヤデフ・ミスラ博士".なえ。2023 年 11 月 3 日に取得。
- ^ “ENS-PARIS-SACLAY による名誉博士号”.
- ^ 「UTCSの2人の教員が最多引用研究者に | コンピュータサイエンス学部」。UTオースティン校コンピュータサイエンス学部。2015年12月25日時点のオリジナルよりアーカイブ。2023年11月3日閲覧。
- ^ 「ACMフェロー」。ACM 。 2023年11月3日閲覧。
- ^ 「IEEE フェローディレクトリ - 年代順リスト」。IEEE 。2023年11月3日閲覧。
- ^ 「過去の優秀卒業生賞受賞者（DAA）」IITカンプール。 2023年11月3日閲覧。
- ^ “Members - TAMEST (The Academy of Medicine, Engineering and Science of Texas)”. TAMEST . 2023年10月18日時点のオリジナルよりアーカイブ。2023年11月3日閲覧。
- ^ Chandy, K. Mani ; Misra, Jayadev (1988).並列プログラム設計 - 基礎. Addison-Wesley. ISBN 978-0-201-05866-6。
- ^ Misra, Jayadev (1986 年 3 月). 「分散離散イベントシミュレーション」. ACM コンピューティング調査. 18 (1): 39–65. doi :10.1145/6462.6485. S2CID 18130323.
- ^ Misra, Jayadev; Chandy, K. Mani (1981 年 7 月)。「プロセスのネットワークの証明」。IEEE Transactions on Software Engineering。SE - 7 (4): 417–426。doi : 10.1109 /TSE.1981.230844。S2CID 15624919 。
- ^ Chandy, K. Mani ; Misra, Jayadev; Haas, LAURA M. (1983 年 5 月). 「分散デッドロック検出」. ACM Transactions on Computer Systems . 1 (2): 144–156. doi : 10.1145/357360.357365 . S2CID 9147318.
- ^ Chandy, K. Mani ; Misra, Jayadev (1984 年 10 月)。 「飲酒哲学者問題」。ACM Transactions on Programming Languages and Systems。6 ( 4) : 632–646。doi : 10.1145/1780.1804。S2CID 5922362 。
- ^ Gries, David ; Misra, Jayadev (1982 年 11 月). 「繰り返し要素の検索」.コンピュータプログラミングの科学. 2 (2): 143–152. doi : 10.1016/0167-6423(82)90012-0 . hdl : 1813/6345 .
- ^ Chandy, K. Mani ; Misra, Jayadev (1985 年 8 月)。プロセスの学習方法。PODC 85: Proceedings of the fourth annual ACM Symposium on Principles of Distributed Computing。Minaki、オンタリオ州、カナダ: Association for Computing Machinery。pp. 204–214。doi : 10.1145 /323596.323615。
- ^ Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev (2009). 「The Orc Programming Language」。David Lee、Antónia Lopes、Arnd Poetzsch-Heffter (編)。Lecture Notes in Computer Science 。分散システムのための形式手法、Joint 11th IFIP WG 6.1。Vol. 5522。Springer Verlag。pp . 204–214。doi : 10.1007/978-3-642-02138-1_1。
- ^ Misra, Jayadev (1986 年 1 月). 「非同期ハードウェア システムにおけるメモリ アクセスの公理」. ACM Transactions on Programming Languages and Systems . 8 (1): 142–153. doi : 10.1145/5001.5007 . S2CID 1326311.
- ^ Misra, Jayadev (1994 年 11 月). 「Powerlist: 並列再帰の構造」. ACM Transactions on Programming Languages and Systems . 16 (6): 1737–1767. doi : 10.1145/197320.197356 . S2CID 2913474.
- ^ Hoare, Tony ; Misra, Jayadev (2008)。「検証済みソフトウェア: 理論、ツール、実験 グランドチャレンジプロジェクトのビジョン」。B. Meyer、J. Woodcock (編)。検証済みソフトウェア: 理論、ツール、実験。VSTTE 2005。コンピュータサイエンスの講義ノート。第 4171 巻。Springer Verlag。doi : 10.1007/978-3-540-69149-5_1。