Loading article…
キャスリーン・シャナハン・フィッシャー | |
|---|---|
 | |
| 国籍 | アメリカ人 |
| 母校 | スタンフォード大学 |
| 知られている | Mobyプログラミング言語 |
| 受賞歴 | ACMフェロー |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | AT&T ラボ タフツ大学 |
| 博士課程の指導教員 | ジョン・C・ミッチェル |
キャスリーン・シャナハン・フィッシャーは、プログラミング言語とその実装を専門とするアメリカのコンピューター科学者です。
フィッシャー教授はタフツ大学のコンピュータサイエンス学科長であり、データ記述言語PADSと実験的並行プログラミング言語Mobyの作者の一人です。[1]彼女はACMプログラミング言語特別興味グループ（SIGPLAN ）の元議長であり、 2004年のICFP 、 [2] 2011年の OOPSLA、[3] 2019年のPLDIという3つの主要な会議で議長を務めました。 [4]彼女は、コンピュータサイエンスの分野で女性と過小評価されているマイノリティの数を増やすための取り組みとして、SIGPLANのプログラミング言語メンタリングワークショップ（PLMW）シリーズを共同設立し、3年間コンピューティング研究協会の女性の地位委員会の共同議長を務めました。[5] 2010年に彼女は「プログラミング言語の設計、理論、実践への貢献とコンピューティングコミュニティへの奉仕」により、計算機協会のフェローに選出されました。 [6]彼女はハーベイ・マッド・カレッジの理事会のメンバーでもある。
幼少期と教育
フィッシャーは1969年にカリフォルニア州サンマリノで生まれた。彼女の父親は投資のプロで、母親は主婦だった。彼女はサンマリノ高校を卒業し、スタンフォード大学に入学した。[1] 1年生のとき、彼女は父親が買ってくれたIBM PS/2 Model 60コンピュータの使い方を学ぶためにコンピュータサイエンスのコースを取ることにした。 [7]その内容に興味を持った彼女は別のクラスを取り、停止問題に出会った。彼女はその証明がシンプルでありながら洗練されていることに気づき、この経験が彼女のコンピュータサイエンスへの興味の転機となった。[7]彼女は1991年にスタンフォード大学を優秀な成績で卒業し、数学と計算科学の理学士号を取得し、大学院での研究のためにスタンフォードに残った。[1] 1996年に彼女はジョン・C・ミッチェル博士の指導の下、コンピュータサイエンスの博士号を取得した。[1] [8]彼女の論文の題名は「オブジェクト指向言語の型システム」だった。[9]
キャリア
初期のキャリア
卒業後、フィッシャーはAT&T Labs Researchで働き始めました。[1] 2002年4月に彼女は技術スタッフの主任メンバーに昇進しました。2008年7月から2011年3月まで、彼女はスタンフォード大学でコンピュータサイエンスのコンサルティング教授も務めました。[1]
DARPA
2011年に彼女はAT&T研究所を離れ、 DARPAのプログラムマネージャーに就任。DARPAでは、高保証サイバー軍事システム（HACMS）と機械学習の進歩のための確率的プログラミング（PPAML）プログラムを設立し、運営した。HACMSプログラムは、形式手法を活用して軍用車両をハッキングから保護することに焦点を当てていた。このプログラムでは、ハッカーのレッドチームが、物理的な接続以外のあらゆる方法を使用して、システムを完全に把握した上でクワッドコプターに侵入しようとした。当初、レッドチームはクワッドコプターを素早く侵害することができたものの、プログラムの終わりまでにクワッドコプターに侵入することはまったくできなくなった。[10]このプログラムは大成功を収め、その後、ボーイングの無人リトルバードなどのより複雑な車両に移行した。[10]フィッシャーは2014年7月にDARPAを去ったが、引き続きISAT研究グループの議長を務めている。[1]
タフツ大学
DARPAでの研究と並行して、フィッシャーはタフツ大学のコンピュータサイエンスの教授に就任し、現在も学部長を務めている。彼女の現在の研究は、ドメイン固有言語の開発、プログラム合成、形式手法を用いたソフトウェアのセキュリティ保護に重点を置いている。[5]タフツ大学では、プログラミング言語のほか、プログラミング言語設計のセミナーも教えている。[5]
栄誉と賞
フィッシャーは数々の栄誉を受けており、その中には次のようなものがある: [1]
- 2021年アメリカ科学振興協会フェロー。[11]
- 2013年SIGPLAN優秀サービス賞受賞。
- 2012年優秀PLDI論文。
- SIGPLAN CACM 研究ハイライトノミネート論文、2012 年。
- 2011年PLDI最優秀論文賞。
- ACMフェロー、2010年。
- SIGPLAN CACM 研究ハイライトノミネート論文、2008 年。
- ACM 優秀科学者、2007 年。
- 最優秀研究論文賞、KDD、2000年。
- 1996 年 NSF 数学科学ポストドクター研究フェローシップを辞退。
- 1996 年、カリフォルニア大学学長博士研究員の資格を辞退。
- スタンフォード大学コンピュータサイエンス学部学生サービス賞、1995年。
- 1994年から1996年までハーツ財団フェローシップ。
- フィンチフェローシップ、1993年。
- 1991年から1994年までNSF大学院研究フェローシップ。
参考文献
- ^ abcdefgh 履歴書、2020年2月6日閲覧。
- ^ 「International Conference on Functional Programming 2004: Information」www.icfpconference.org . 2019年9月5日閲覧。
- ^ OOPSLA委員会 Archived 2015-06-12 at the Wayback Machine、2015-06-10取得。
- ^ 「Organizing Committee - PLDI 2019」. pldi19.sigplan.org . 2019年9月5日閲覧。
- ^ abc Research Page、2020年2月6日閲覧。
- ^ [1] ACMフェロー賞受賞論文集、2015年6月10日閲覧。
- ^ ab CRA インタビュー、2020 年 2 月 6 日閲覧。
- ^ 数学系譜プロジェクトのキャスリーン・フィッシャー
- ^ Ph.D Thesis、2020年2月6日閲覧。
- ^ ab Silver Bullets インタビュー、2020年2月6日閲覧。
- ^ “2021 Fellows”. アメリカ科学振興協会. 2022年1月28日閲覧。
外部リンク
- ホームページ
- Google Scholarに索引付けされたキャスリーン・フィッシャーの出版物