Loading article…
マイケル・A・ハリソン | |
|---|---|
| 生まれる | フィラデルフィア、ペンシルバニア州、米国 |
| 母校 | ミシガン大学 |
| 知られている | 形式言語理論、ハリソン・ルッツォ・ウルマンモデル |
| 科学者としてのキャリア | |
| 論文 | ブール代数における組合せ問題とスイッチング理論への応用 (1963) |
| 博士課程の指導教員 | ハーヴェイ・ガーナー |
| 博士課程の学生 | ジム・グレイ、オスカー・イバラ |
| Webサイト | www.cs.berkeley.edu/~ハリソン |
マイケル・A・ハリソンはコンピュータ科学者であり、特に形式言語の分野における先駆者です。
バイオグラフィー
マイケル・A・ハリソン（米国ペンシルベニア州フィラデルフィア生まれ）は、ケース工科大学で電気工学とコンピューター科学の学士号と修士号を取得し、その後ミシガン大学でコミュニケーション科学の博士号を取得しました。1963年から1966年までミシガン大学で助教授を務めた後、カリフォルニア大学バークレー校の電気工学部に加わり、1966年から1971年まで准教授、1971年から1994年まで教授を務めました。[1]
1960年代、彼はシーラ・グライバッハ、ジーン・ローズ、エド・スパニアー、ジョー・ウリアンとともに、シーモア・ギンズバーグが率いる研究グループで形式言語理論とコンピュータサイエンスの基礎について研究した。このグループから生まれた研究は、コンピュータサイエンス理論を他の分野と区別するものとなった。また、形式言語理論の分野をプログラミング言語研究に応用した。[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [引用過剰]
1975年に、彼はHRUセキュリティモデル（著者のハリソン、ルッツォ、ウルマンにちなんで名付けられた）を開発した。これは、システム内のアクセス権の整合性を扱うオペレーティングシステムレベルのコンピュータセキュリティモデルである。 [12] [13] [14] [15]彼はバークレーの 博士課程の学生ペホン・チェンとともに[16] [17] [18] [19]「ゲインテクノロジー」社を設立した（ 1992年にサイベースに買収された）。[20]
現在、彼はバークレー大学の名誉教授であり、大学院の教授でもある。[1]
私生活
ハリソンは、カリフォルニア大学バークレー校電気工学・コンピュータサイエンス学部コンピュータサイエンス部門のペホン・チェン名誉教授であるスーザン・L・グラハムと結婚している。[21]
参考文献
- ^ ab ハリソンのホームページの Long Vita
- ^ アビテブール、S. ; ハル、R.;ビアヌ、V. (2005 年 3 月)、「シーモア・ギンズバーグを偲んで (1928-2004)」、ACM SIGMOD Record、34 (1): 5、doi :10.1145/1058150.1058152、S2CID 11825012
- ^ シーモア・ギンズバーグ、シーラ・A・グライバッハ、マイケル・A・ハリソン (1967)。「一方向スタックオートマトン」。J . ACM。14 ( 2): 389–418。doi : 10.1145 /321386.321403。
- ^シーモア・ギンズバーグ、シーラ・A ・グライバッハ、マイケル・A・ハリソン (1967)。「スタックオートマトンとコンパイル」。J . ACM。14 ( 1 ): 172–201。doi : 10.1145/321371.321385。
- ^ シーモア・ギンズバーグ、マイケル・A・ハリソン (1967)。「括弧付き文脈自由言語」。J . Comput. Syst. Sci . 1 (1): 1–23. doi :10.1016/s0022-0000(67)80003-5。
- ^ジム・グレイ、 マイケル・A・ハリソン、オスカー・H・イバラ（ 1967年）。「双方向プッシュダウンオートマトン」。情報と制御。11 （1–2）：30–70。doi ：10.1016/s0019-9958（67）90369-5。
- ^ Hervé Gallaire、Jim Gray、Michael A. Harrison、Gabor T. Herman (1968)。「無限線形シーケンシャルマシン」。J . Comput. Syst. Sci . 2 (4): 381–419. doi :10.1016/s0022-0000(68)80035-2。
- ^ Michael A. Harrison; Oscar H. Ibarra (1968). 「マルチテープおよびマルチヘッドプッシュダウンオートマトン」.情報制御. 13 (5): 433–470. doi : 10.1016/s0019-9958(68)90901-7 .
- ^ シーモア・ギンズバーグ、マイケル・A・ハリソン (1968)。「一方向非決定性リアルタイムリストストレージ言語」。J . ACM。15 ( 3 ): 428–446。doi : 10.1145 / 321466.321475。
- ^シーモア ・ギンズバーグ、マイケル・A・ハリソン（1968年）。「エンドマーカーの除去について」。情報と制御。12 （2）：103–115。doi ：10.1016 / s0019-9958（68）90221-0。
- ^ シーモア・ギンズバーグ、マイケル・A・ハリソン（1970年）。「AFLの閉鎖に関する判決の覆しについて」。情報と管理。17 （4）：395-409。doi ：10.1016/s0019-9958（70）80035-3。
- ^ Michael A. Harrison、Walter L. Ruzzo、Jeffrey D. Ullman (1975)。「オペレーティング システムにおける保護について」。Proc . 5th Symp. on Operating System Principles (SOSP)。pp. 14–24。
- ^ Michael A. Harrison (1975)。「オペレーティングシステムの保護モデルについて」。Jirí Becvár (編)。第 4 回コンピュータサイエンスの数学的基礎に関するシンポジウム (MFCS)。LNCS。第 32 巻。pp. 46–60。
- ^ Harrison, Michael A.; Ruzzo, Walter L.; Ullman, Jeffrey D. (1976 年 8 月). 「オペレーティングシステムの保護」. Communications of the ACM . 19 (8): 461–471. CiteSeerX 10.1.1.106.7226 . doi :10.1145/360303.360333.
- ^ Michael A. Harrison (1985)。「オペレーティングシステムの保護に関する理論的問題」。Advances in Computers 。第24巻。pp . 61–100。doi :10.1016/s0065-2458(08) 60365-4。ISBN 9780120121243。
- ^ Pehong Chen、John Coker、Michael A. Harrison、Jeffrey W. McCarrell、Steve Procter (1986)。「VorTeX ドキュメント準備環境」。Jacques Désarménien (編)。第 2 回 Eur. Conf. on TeX for Scientific Documentation。pp . 45–54。
- ^ Pehong Chen、Michael A. Harrison、Jeffrey W. McCarrell、John Coker、Steve Procter (1986)。「TeX の改良されたユーザー環境」。Jacques Désarménien (編)。第 2 回 Eur. Conf. on TeX for Scientific Documentation。pp . 32–44。
- ^ Pehong Chen; Michael A. Harrison (1988). 「インデックスの準備と処理」.ソフトウェア: 実践と経験. 18 (9): 897–915. CiteSeerX 10.1.1.169.9719 . doi :10.1002/spe.4380180907. S2CID 14196169.
- ^ Pehong Chen、Michael A. Harrison (1988)。「多重表現ドキュメント開発」IEEE Computer . 21 (1): 15–31. doi :10.1109/2.222114. S2CID 8384587。
- ^ ブルームバーグビジネスウィーク
- ^ スーザン・L・グラハムとヘレン・マイヤーがカリフォルニア大学バークレー校のCal Performancesの共同議長に任命される
外部リンク
- acm.org の出版物リスト