アラン・マイクロフト

アラン・マイクロフト
母校
知られている
子供たち4
科学者としてのキャリア
フィールド
機関
論文応用プログラムのための抽象解釈と最適化変換 (1982)
博士課程の指導教員
Webサイトwww .cl .cam .ac .uk /~am21 /

アラン・マイクロフトケンブリッジ大学コンピュータ研究所名誉教授[ 3 ]であり、ケンブリッジ大学ロビンソン・カレッジのフェローでもあり、同校でコンピュータサイエンスの研究ディレクターを務めていた[ 4 ]

教育

マイクロフトはケンブリッジ大学で数学を学び、その後エディンバラに移り、ロッド・バーストールロビン・ミルナーの指導の下、抽象解釈と応用プログラムのための変換の最適化に関する論文で博士号を取得した[ 2 ]

研究

マイクロフトの研究分野[ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 1 ]はプログラミング言語、ソフトウェア工学、アルゴリズムである。[ 9 ] [ 10 ] [ 11 ] [ 12 ]

アーサー・ノーマンとともにノークロフトCコンパイラを共同開発した。[ 13 ]また、彼は慈善団体であるラズベリーパイ財団の理事でもある。同財団のシングルボードコンピュータは、学校での基礎コンピュータサイエンス教育を促進することを目的としたものである。[ 14 ]

私生活

マイクロフトには4人の子供がいます。

参考文献

  1. ^ a b Google Scholarに索引付けされたAlan Mycroftの出版物
  2. ^ a bマイクロフト、アラン(1982).応用プログラムのための抽象解釈と最適化変換(博士論文). エディンバラ大学. OCLC  10271733 .
  3. ^ 「アラン・マイクロフト名誉教授」 。 2025年6月21日閲覧
  4. ^ 「コンピュータラボの役割と責任 - 歴史」 。 2025年1月6日閲覧
  5. ^ Microsoft Academicに索引付けされたAlan Mycroft の出版物
  6. ^ DBLP書誌サーバーAlan Mycroft
  7. ^ ACMデジタルライブラリのアラン・マイクロフト著者プロフィールページ
  8. ^ Alan Mycroftの出版物はScopus書誌データベースに索引付けされています。(購読が必要です)
  9. ^ Mycroft, A.; O'Keefe, RA (1984). 「Prologのための多態的型システム」.人工知能. 23 (3): 295. doi : 10.1016/0004-3702(84)90017-1 .
  10. ^ Mycroft, A. (1984). 「多態的型スキームと再帰定義」.国際プログラミングシンポジウム. コンピュータサイエンス講義ノート. 第167巻. pp.  217– 228. doi : 10.1007/3-540-12925-1_41 . ISBN 978-3-540-12925-7
  11. ^ Mycroft, A. (1980). 「call-by-need から call-by-value への変換の理論と実践」.国際プログラミングシンポジウム. コンピュータサイエンス講義ノート. 第83巻. pp.  269– 281. doi : 10.1007/3-540-09981-6_19 . ISBN 978-3-540-09981-9
  12. ^ Nethercote, N.; Mycroft, A. (2003). 「Redux」 .電子計算機科学理論ノート. 89 (2): 149. doi : 10.1016/S1571-0661(04)81047-8 .
  13. ^ Mycroft, Alan; Norman, Arthur C. (1992). 「第1部:古典的命令型言語」.最適化コンパイル. ケンブリッジ大学コンピュータ研究所. CiteSeerX 10.1.1.43.9953 . OCLC 29982690. […] 「Norcroft」コンパイラスイートは著者らが共同で構築しました […] 商業上の利益はCodemist Ltd.に帰属します […]  
  14. ^ Bush, Steve (2011年5月26日). 「In depth: Raspberry Pi, the computer on a stick」 . Electronics Weekly . 2011年7月11日閲覧。Raspberry Piの開発者および財団の理事は以下の通り。David Braben – ゲームソフトウェア会社Frontier Developmentsの創設者、『Elite』の共著者。Jack Lang – ビジネスエンジェル、Acorn初期従業員、ケンブリッジのスタートアップ企業の創設者。Pete Lomas – Norcott Technologiesの創設者兼MD。Robert Mullins – ケンブリッジ大学コンピュータ研究所およびケンブリッジ大学セント・ジョンズ・カレッジ。Alan Mycroft – ケンブリッジ大学コンピュータ研究所のコンピューター科学教授。Eben Upton – Broadcom Europeのエンジニア、ソフトウェアスタートアップ企業の創設者、ケンブリッジ大学セント・ジョンズ・カレッジの元コンピューターサイエンス学部長。