Loading article…
トム・マイバウム | |
|---|---|
| 教育 | 理学士、トロント大学(1970) 博士号、ロンドン大学(1974) |
| 受賞歴 | 王立芸術協会会員 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | インペリアル・カレッジ・ロンドン キングス・カレッジ・ロンドン マクマスター大学 |
| Webサイト | www.cas.mcmaster.ca/~maibaum |
トーマス・スティーブン・エドワード・マイバウムは、 王立芸術協会(FRSA)フェローであり、コンピューター科学者です。
マイバウムは、カナダのトロント大学で純粋数学の理学士号(1970年)を取得し、イギリスのロンドン大学クイーン・メアリー校とロイヤル・ホロウェイ校でコンピュータサイエンスの博士号(1974年)を取得しました。[1]
マイバウムは、インペリアル・カレッジ・ロンドン、キングス・カレッジ・ロンドン(英国)、マクマスター大学(カナダ)で学術職を歴任しました。 [2]彼の研究対象は、ソフトウェア工学全般における仕様の理論と、そのさまざまな文脈への応用に集中しています。
1996年から2005年まで[3] 、国際情報処理連盟(IFIP)のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーとして、プログラミングと情報科学の国際標準の開発に携わりました。 [4]このワーキンググループでは、プログラミング言語ALGOL 60とALGOL 68の仕様策定、保守、サポートを行っています。[5]
参考文献
- ^ “履歴書: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA”.マクマスター大学。2011 年12 月 29 日に取得。
- ^ 「Tom Maibaum」www.chairs-chaires.gc.ca . カナダ研究チェア. 2011年12月29日閲覧。
- ^ ab マイバウム、トーマス (2011-09-01)。 「履歴書: Thomas Stephen Edward Maibaum」(PDF)。コンピューティングおよびソフトウェア部門。マクマスター大学。2020-02-07に取得。
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016-08-17). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年10月25日閲覧。
- ^ Swierstra、Doaitse;ジェレミー・ギボンズ;メルテンス、ランバート(2011-03-02)。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020年10月25日に取得。
外部リンク
- KCLホームページ
- マクマスター大学公式サイト
- DBLP参考文献サーバーの TSE マイバウム
- Tom Maibaum の出版物がGoogle Scholarによってインデックス付けされています
- Tom Maibaum の出版物はMicrosoft Academicによって索引付けされています
- 数学系譜プロジェクトのトム・マイバウム
