Loading article…
アルバート・ロナルド・ダ・シルバ・マイヤー | |
|---|---|
| 生まれる | 1941年11月5日 |
| 母校 | ハーバード大学 |
| 配偶者 | アイリーン・グレイフ |
| 受賞歴 | ACMフェロー（2000） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | マサチューセッツ工科大学 |
| 博士課程の指導教員 | パトリック・C・フィッシャー |
| 博士課程の学生 | ナンシー・リンチ、レオニード・レヴィン、ジャンヌ・フェランテ、チャールズ・ラックオフ、ラリー・ストックマイヤー、デヴィッド・ハレル、ジョセフ・ハルパーン、ジョン・C・ミッチェル、エドワード・マクリート |
| Webサイト | 詳細はこちら |
アルバート・ロナルド・ダ・シルバ・マイヤー（1941年生まれ）は、マサチューセッツ工科大学（MIT）のコンピュータサイエンスの名誉日立アメリカ教授です。
バイオグラフィー
マイヤーは1972年にハーバード大学で応用数学の博士号を取得し、パトリック・C・フィッシャーの指導を受けた。[1] 1969年にMITの電気工学・コンピュータサイエンス学科（EECS）の教員となった。1991年に日立アメリカのコンピュータサイエンスおよびエンジニアリングの教授に就任。2016年にMITを退職。[2]
学術生活
マイヤーの代表的な著作には、多項式階層を導入したMeyer & Stockmeyer (1972)がある。彼は、ナンシー・リンチ、レオニード・レビン、ジーン・フェランテ、チャールズ・ラックオフ、ラリー・ストックマイヤー、デビッド・ハレル、ジョセフ・ハルパーン、ジョン・C・ミッチェルなど、現在では著名なコンピュータ科学者となっている数多くの博士課程の学生を指導してきた。彼は1981年から2020年まで、国際的なコンピュータサイエンスジャーナルInformation and Computationの編集長を務めた。[3]
受賞歴
彼は1987年以来アメリカ芸術科学アカデミー（AAAS）のフェローを務めており、 [4] 2000年には計算機協会（ACM）のフェローに選出された。[5]
私生活
彼はコンピュータ科学者のアイリーン・グライフと結婚している。[6]
出版物
- 1991.コンピュータサイエンスの研究方向: MIT の視点( John Guttag、Ronald Rivest、Peter Szolovitsとの共著) MIT プレス。
- Meyer, Albert R.; Stockmeyer , Larry J. (1972)。「平方化を伴う正規表現の同値性問題には指数空間が必要」。スイッチングおよびオートマトン理論に関する第 13 回年次シンポジウム議事録。pp. 125–129。doi :10.1109/SWAT.1972.29。。
参考文献
- ^ 数学系譜プロジェクトの Albert Ronald da Silva Meyer 氏。
- ^ 「コレクション: Albert Meyer 論文 | MIT ArchivesSpace」。archivesspace.mit.edu 。 2020年7月22日閲覧。
- ^ 情報と計算
- ^ "M" (PDF) .アメリカ芸術科学アカデミー会員: 1780–2005 .
- ^ 「ACM Fellows」。2009年1月1日時点のオリジナルよりアーカイブ。 「ACM: Fellows Award / Albert R Meyer」。2007年12月14日時点のオリジナルよりアーカイブ。2009年6月7日閲覧。「プログラミングの複雑性理論とセマンティクスにおける根本的な進歩、および大学院生に対する優れたサービスと教育に対して。」
- ^ McCluskey, Eileen (2008年10月20日). 「Irene Greif '69, SM '72, PhD '75 Knitting together computers and people」. MIT Technology Review . 2014年4月19日閲覧。
外部リンク
アルバート・R・マイヤー Wikipediaの姉妹プロジェクト
コモンズからのメディア
ウィキソースからのテキスト
ウィキデータからのデータ
- 公式サイト
- MathSciNetの Meyer, Albert R.
- DBLP書誌サーバーの Albert R. Meyer
- アルバート・マイヤー文書、MC-0377。マサチューセッツ工科大学、特別コレクション部門、マサチューセッツ州ケンブリッジ。