Loading article…
Gabriele Cornelia Keller 氏は、関数型プログラミングにおける型システムとデータ並列性を研究するコンピュータ科学者です。ドイツで教育を受け、オーストラリア、米国、オランダで勤務し、現在はユトレヒト大学でソフトウェア システムの教授を務めています。
教育とキャリア
ケラーは1995年にベルリン工科大学でコンピュータサイエンスの学位を取得し、ドイツのソフトウェア業界で働いた後、1999年にベルリン工科大学で博士号（工学博士）を取得しました。 [1]彼女の博士論文「分散メモリマシンのためのネストされたデータ並列処理の変換ベースの実装」は、シュテファン・イェーニヘンによって指導されました。[2]
彼女は1999年から2001年までオーストラリアのシドニー工科大学の講師となり、その後ニューサウスウェールズ大学に移りました。彼女は2001年から2013年まで同大学の上級講師（2006年にニューヨークのクレディ・スイスの副社長として休職）、2014年から2018年まで准教授を務めました。 [1] 2018年に彼女はユトレヒト大学のソフトウェア技術教授として現在の職に就きました。[3]
認識
ケラーはマヌエル・MT・チャクラヴァルティおよびサイモン・ペイトン・ジョーンズと共同でHaskellの型ファミリと型レベルプログラミングのシステムを開発したが、その研究は2005年の発表から10年後にACM SIGPLANの最も影響力のあるICFP論文賞を受賞した。 [4]
本
ケラーは、マヌエル・MT・チャクラヴァルティとの共著『Haskellによるコンピューティング入門』（ピアソン、2002年）の著者である。 [5]
参考文献
- ^ ab Short CV、ユトレヒト大学、 2024年3月6日閲覧
- ^ 数学系譜プロジェクトのガブリエレ・ケラー
- ^ ガブリエレ・ケラーがユトレヒト大学ソフトウェア技術学部の新教授に就任、2018年7月6日、2024年3月6日閲覧
- ^ 最も影響力のある ICFP 論文賞、ACM SIGPLAN 、 2024 年 3 月 6 日取得
- ^ Thomas, Mike (2004 年 1 月)、『Haskell によるコンピューティング入門』のレビュー、第14巻、ケンブリッジ大学出版局（CUP）、pp. 247–249、doi：10.1017/s0956796803215033
外部リンク
- 教員プロフィール
- Google Scholarにインデックスされた Gabriele Keller の出版物