マーク・S・ミラー
 |
マーク | |
|---|---|
| その他の名前 | マーク・S・ミラー、マーク・サミュエル・ミラー、マークM |
| 教育 | 1980年イェール大学でコンピュータサイエンスの学士号取得、 2006年ジョンズホプキンス大学で博士号取得 |
| 母校 | ジョンズ・ホプキンス |
| 知られている | E（プログラミング言語）、オブジェクト機能、CAJA |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | アゴリック グーグルゼロックス PARCヒューレット・パッカード研究所 |
| 論文 | ロバストな構成：アクセス制御と同時実行制御への統一的なアプローチに向けて （2006） |
| 博士課程の指導教員 | ジョナサン・シャピロ |
| Webサイト | http://erights.org |
マーク・S・ミラーはアメリカのコンピュータ科学者です。1979年のハイパーテキストプロジェクト「プロジェクト・ザナドゥ」の参加者、ミラーカラムの発明、そしてEプログラミング言語のオープンソースコーディネーターとして知られています。また、 Cajaコンパイラの設計者でもあります。ミラーはフォーサイト研究所の上級研究員です。[ 1 ]
ミラーは1980年にイェール大学でコンピュータサイエンスの学士号を取得し、2006年にジョンズホプキンス大学で博士論文を発表しました。 [ 2 ]現在、Agoricの主任科学者であり、 [ 3 ] ECMAScript（JavaScript）委員会のメンバーでもあります。 [ 4 ]以前は、 HPラボのウイルスセーフコンピューティングイニシアチブの主任アーキテクト、[ 5 ] 2007年から2017年までGoogleの研究科学者を務めていました。 [ 6 ]
ミラー氏の研究は、安全なオープンシステムのための言語設計に重点を置いています。ゼロックスPARCでは、並行論理プログラミングシステムとAgoricオープンシステムの開発に携わりました。サン研究所[ 7 ]では（現在の雇用主と似た名前を持つ以前の会社であるAgoricsに勤務していた頃）、ネットワークを介してコンピューティングリソース（ネットワーク帯域幅、[ 8 ]プリンタ、画像、CDジュークボックスへのアクセスなど）を売買するためのフレームワークであるWebMartの開発を主導しました。HP研究所では、ウイルスセーフコンピューティングプロジェクトの設計者でした。Google在籍中は、JavaScriptを安全に実行するための環境であるCajaを開発しました。また、複雑適応システム[ 9 ]や将来の技術におけるリスク軽減戦略に関する記事も執筆しています。[ 10 ]
ミラーは、信頼関係のないパートナー間の協力を可能にするという明確な目標を追求してきました。[ 11 ]ミラーは、これを経済的な相互作用を促進するために必要な基本的な機能であり、ソフトウェア開発者が利用できるツールキットに欠けている主要な要素であると考えています。ミラーは、1988年のAgoric Open Systems Papers以来、この問題に繰り返し取り組んできました。
ミラー氏の最も顕著な貢献はプログラミング言語設計の分野であり、特に言語ベースのセキュアな分散コンピューティングを実証したE言語は特筆すべきものです。この研究は、他のプログラミングパラダイムへの応用を数多く促しました。また、ECMAScript標準化委員会（TC39）においても、JavaScriptでフル機能プログラミングを可能にする標準化トラックの進化形であるSecure EcmaScript（SES）の開発基盤の構築に尽力しました。[ 12 ]
ミラーの研究はWired [ 13 ]に掲載されており、同誌ではミラーの研究がバークレー校で開発されたデータベース研究者マイケル・ストーンブレーカーのマリポサのインスピレーションになったと評されている。
主な出版物
- Agoric Open Systemsの論文K. Eric Drexlerと共著。市場メカニズムを用いてコンピューティングシステムにおけるリソースの使用を管理するパラダイムを提示した。
- 言語設計とオープンシステムケネス・M・カーン、マーク・S・ミラー著『計算の生態学』エルゼビア・サイエンス・パブリッシャーズ、ノースホランド（1988年）
- 論理的秘密、マーク・S・ミラー、ダニエル・G・ボブロウ、E・ディーン・トリブル、ジェイコブ・レヴィ国際論理プログラミング会議（1987年）、pp. 704–728
- 並行論理プログラミング言語におけるオブジェクト、ケネス・M・カーン、エリック・ディーン・トリブル、マーク・S・ミラー、ダニエル・G・ボブロウ、OOPSLA（1986年）、pp. 242-257
- Vulcan: Logical Concurrent Objects、Kenneth M. Kahn、E. Dean Tribble、Mark S. Miller、Daniel G. Bobrow共著『オブジェクト指向プログラミングの研究方向』MIT Press (1987)、75～112ページ
- マーク・ミラー、E・ディーン・トリブル、ラヴィ・パンディア、マーク・スティグラー共著『開かれた社会とそのメディア』、ナノテクノロジーの展望
- 能力ベースの金融商品、Mark S Miller、Chip Morningstar、Bill Frantz著、Proceedings of Financial Cryptography 2000（Springer-Verlag）
- デジタルパス：スマートコントラクトと第三世界、2003年、マーク・S・ミラー、マーク・スティグラー。
- JavaScript による分散型電子著作権(Tom Van Cutsem、Bill Tulloh 共著)
- 見知らぬ人々の間での同時性、マーク・ミラー、E・ディーン・トリブル、ジョナサン・シャピロ
参考文献
- ^ 「Senior Research Fellows」 . Foresight Institute . 2019年7月8日時点のオリジナルよりアーカイブ。2020年4月15日閲覧。
- ^ Robust Composition: アクセス制御と同時実行制御への統一的なアプローチに向けて、博士論文。
- ^ "Mark. S. Miller" . Agoric . 2023年2月8日. 2023年12月25日閲覧。
- ^ Ecma技術委員会39（TC39）がWebプログラミング言語の将来の方向性について合意
- ^ 「ウイルス対策コンピューティングプラットフォームの構築 - 講演者について」 . web.stanford.edu . カリフォルニア州パロアルト：スタンフォード大学. 2003年12月3日.
- ^ 「Mark S. Miller」。Googleの調査。2019年3月12日時点のオリジナルよりアーカイブ。
- ^ 「SunLabs annual report 1995」。2009年2月7日時点のオリジナルよりアーカイブ。2009年2月7日閲覧。
- ^ ATMネットワーク帯域幅の自動オークション
- ^ミラー、マーク（1996年12月1日）「学習曲線」『リーズン』
- ^ピーターソン、クリスティン、ミラー、マーク・S、デュエットマン、アリソン (2017). 「サイバー、ナノ、AGIのリスク：リスク軽減のための分散型アプローチ」(PDF) .フォーサイト研究所.
- ^スマートコントラクト：脆弱性のない協力のパターン
- ^ Ecma International、技術委員会39。「SES（Secure EcmaScript）の草案提案」。GitHub 。2020年4月15日閲覧。
{{cite web}}: CS1 maint: 数値名: 著者リスト (リンク) - ^ Sidell, Jeff (1996年12月1日). 「Geek Page」 . Wired .
外部リンク
