Loading article…
ジェレミー・ギボンズ | |
|---|---|
 2023年のギボンズ | |
| 市民権 | イギリスニュージーランド |
| 教育 | エディンバラ大学(理学士、1987年) オックスフォード大学(哲学博士、1991年) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | オークランド大学 オックスフォード ブルックス大学 オックスフォード大学 |
| 論文 | ツリーアルゴリズムの代数 (1991) |
| Webサイト | www.comlab.ox.ac.uk/jeremy.gibbons |
ジェレミー・ギボンズは、オックスフォード大学のコンピュータ科学者であり、コンピューティングの教授です。[1]彼は、コンピュータサイエンス学部のソフトウェアエンジニアリングプログラムの副ディレクター、ケロッグカレッジの理事会フェロー[2] [3]、オックスフォード大学のプロクターを務めています。 [4]
アカデミック
ギボンズ教授は、エディンバラ大学（1983-1987年）でコンピュータサイエンスの理学士号（BSc）（優等学位）を取得し、オックスフォード大学（1987-1991年）で計算科学の博士号（DPhil）を取得しました。 [3]
現職に就く前は、オークランド大学でコンピュータサイエンスの講師（1991-1996年）、オックスフォード・ブルックス大学でコンピューティングの講師および上級講師（1996-1999年）、そしてオックスフォード大学でソフトウェアエンジニアリングの講師を務めた。 [3]
彼の研究活動には、プログラミング言語と方法、関数型プログラミング、ジェネリックプログラミング、オブジェクト技術、プログラムの仕様、導出、変換などが含まれます。[3]
現在のプロジェクトには、CancerGrid、データ型汎用プログラミング、ソフトウェアコンポーネントの自動生成、がんバイオインフォマティクスのワークフローなどがある。[3]
彼の出版物には、ジェネリックプログラミング、関数型プログラミング、形式手法、計算生物学、バイオインフォマティクス[ 5] [6]、リチャード・バードとの共著による「Haskellによるアルゴリズム設計」[7]などがある。
彼は国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーであり、 [8]プログラミング言語ALGOL 60とALGOL 68の仕様策定、保守、サポートを行っています。[9] 2009年以来、彼は議長を務めています。
参考文献
- ^ 「学科のメンバー6人が教授に就任」。オックスフォード大学コンピューターサイエンス学科。2011年7月28日。 2020年8月5日閲覧。
- ^ ギボンズ、ジェレミー。「ジェレミー・ギボンズ」。オックスフォード大学コンピューターサイエンス学部。 2020年8月5日閲覧。
- ^ abcde 「オックスフォードのソフトウェアエンジニアリング：ジェレミー・ギボンズ」。オックスフォード大学コンピューターサイエンス学部。 2020年8月5日閲覧。
- ^ 「ジェレミー・ギボンズ教授がプロクター教授に就任」。オックスフォード大学コンピューターサイエンス学部。2016年3月23日。 2020年8月5日閲覧。
- ^ Gibbons, Jeremy (2020年7月1日). 「Jeremy Gibbons: Publications」.コンピュータサイエンス学部. オックスフォード大学. 2020年8月5日閲覧。
- ^ Gibbons, Jeremy (2007年9月1日). 「Jeremy Gibbons: Publications」.ソフトウェアエンジニアリングプログラム. オックスフォード大学. 2020年8月5日閲覧。
- ^ バード、リチャード、ギボンズ、ジェレミー（2020年7月）。Haskellによるアルゴリズム設計。ケンブリッジ大学出版局。ISBN 978-1-108-49161-7。
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年9月6日閲覧。
- ^ Swierstra、Doaitse;ギボンズ、ジェレミー。ランバート・メルテンス（2011年3月2日）。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020 年9 月 6 日に取得。
外部リンク
- 公式ウェブサイト、学術
- 関数型プログラミングのパターン – 彼のブログ