キャスリーン・フィッシャー
キャスリーン・シャナハン・フィッシャー | |
|---|---|
 | |
| 母校 | スタンフォード大学 |
| 知られている | Mobyプログラミング言語 |
| 受賞歴 | ACMフェロー、AAASフェロー |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | AT&Tラボタフツ大学 |
| 博士課程の指導教員 | ジョン・C・ミッチェル |
キャスリーン・シャナハン・フィッシャーは、プログラミング言語とその実装を専門とするアメリカのコンピューター科学者です。
フィッシャーはタフツ大学のコンピュータサイエンス学科長であり、データ記述言語PADSと実験的な並行プログラミング言語Mobyの作者の一人です。[ 1 ]彼女はACMプログラミング言語特別興味グループ（SIGPLAN ）の元議長であり、 2004年のICFP 、 [ 2 ] 2011年のOOPSLA、[ 3 ] 2019年のPLDIという3つの主要な会議で議長を務めました。[ 4 ]彼女は、コンピュータサイエンスの分野で女性と過小評価されている少数派の数を増やすためのSIGPLANのプログラミング言語メンタリングワークショップ（PLMW）シリーズの共同設立者であり、3年間コンピューティング研究協会の女性の地位委員会の共同議長を務めました。[ 5 ] 2010年に、彼女は「プログラミング言語の設計、理論、実践への貢献と、コンピューティングコミュニティへの奉仕」によりACMフェローに選出されました。 [ 6 ]彼女はハーベイ・マッド・カレッジの理事会のメンバーでもある。
幼少期と教育
フィッシャーは1969年、カリフォルニア州サンマリノで生まれました。父親は投資のプロ、母親はエンジニアとして転々と働き、「女性でも数学や科学、あるいは私たちが心血を注げば何でもできる」という模範を示しました。[ 7 ]彼女はサンマリノ高校を卒業し、スタンフォード大学に入学しました。[ 1 ]
大学1年生の時、彼女は父親に買ってもらったIBM PS/2 Model 60コンピュータの使い方を学ぶため、コンピュータサイエンスのコースを受講することにしました。 [ 8 ]その内容に興味を持った彼女は、別の授業で停止問題に出会いました。彼女はその証明がシンプルでありながら簡潔であることに気づき、この経験が彼女のコンピュータサイエンスへの興味の転機となりました。[ 8 ]彼女は1991年にスタンフォード大学で数学と計算科学の理学士号を取得し、優秀な成績で卒業しました。その後、大学院に進学しました。[ 1 ]
1996年、彼女はジョン・C・ミッチェル博士の指導の下、コンピュータサイエンスの博士号を取得しました。[ 1 ] [ 9 ]大学院在籍中はハーツフェローとして研究を行い、[ 7 ]フィッシャーの博士論文のタイトルは「オブジェクト指向言語の型システム」でした。[ 10 ]
キャリア
卒業後、フィッシャーはAT&T研究所に勤務し始めた。[ 1 ] 2002年4月、彼女は技術スタッフの主任に昇進した。2008年7月から2011年3月まで、スタンフォード大学でコンピュータサイエンスのコンサルティング教授も務めた。[ 1 ]
DARPA
2011年、彼女はAT&T研究所を去り、DARPAのプログラムマネージャーに就任した。DARPAでは、高保証サイバー軍事システム（HACMS）および機械学習の促進のための確率的プログラミング（PPAML）プログラムを設立し、運営した。HACMSプログラムは、軍用車両をハッキングから保護するために形式手法を活用することに焦点を当てていた。このプログラムでは、ハッカーのレッドチームが、物理的な接続以外のあらゆる方法を使って、システムを完全に把握した上でクワッドコプターへの侵入を試みた。当初、レッドチームはクワッドコプターに素早く侵入できたが、プログラム終了時にはクワッドコプターに全く侵入することができなかった。[ 11 ]このプログラムは大成功を収め、その後、ボーイングの無人リトルバードなどのより複雑な車両に移行している。[ 11 ]フィッシャーは2014年7月にDARPAを去ったが、引き続きISAT研究グループの議長を務めている。[ 1 ]
アリア
2025年11月、フィッシャー氏がARIAのCEOに任命され、2026年2月に同社に加わり業務を指揮することが発表された。[ 12 ]
タフツ大学
フィッシャーはDARPAでの勤務を続けながら、タフツ大学のコンピュータサイエンス教授に就任し、現在も学科長を務めています。彼女の現在の研究は、ドメイン固有言語の開発、プログラム合成、そして形式手法を用いたソフトウェアのセキュリティ確保に焦点を当てています。[ 5 ]タフツ大学では、プログラミング言語の講義に加え、プログラミング言語設計に関するセミナーも開催しています。[ 5 ]
栄誉と賞
フィッシャーは数々の栄誉を受けており、その中には以下が含まれる。[ 1 ]
- 2021年：AAASフェロー[ 13 ]
- 2013年：SIGPLAN優秀サービス賞
- 2012年: PLDI優秀論文
- 2012年：SIGPLAN CACM研究ハイライトノミネート論文
- 2011年: PLDI最優秀論文賞
- 2010年: ACMフェロー
- 2008年：SIGPLAN CACM研究ハイライトノミネート論文
- 2007年: ACM 優秀科学者
- 2000年：KDD最優秀研究論文賞
- 1996年：NSF数学科学ポストドクター研究フェローシップ、辞退。
- 1996年：カリフォルニア大学学長博士研究員を辞退。
- 1995年：スタンフォード大学コンピュータサイエンス学部学生サービス賞
- 1994–1996:ハーツ財団フェローシップ
- 1993年：フィンチフェローシップ
- 1991–1994: NSF大学院研究フェローシップ
私生活
フィッシャーは、スタンフォード大学での博士課程と同時期に娘が生まれたことが、大学院での研究をタイムリーかつ効率的に完了するために必要な「集中力」を促したと一部には考えている。[ 7 ]
参考文献
- ^ a b c d e f g h履歴書、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日閲覧。
- ^ a b c Research Page、2020年2月6日閲覧。
- ^ [1] ACMフェロー賞受賞論文集、2015年6月10日閲覧。
- ^ a b cダニエル・グッドマン (2019). 「自分の道を見つけよう: 36人の一流科学者とエンジニアからの型破りな教訓」 MITプレス. 2025年3月18日閲覧。
- ^ a b CRAインタビュー、2020年2月6日閲覧。
- ^数学系譜プロジェクトのキャスリーン・フィッシャー
- ^ Ph.D Thesis、2020年2月6日閲覧。
- ^ a b Silver Bullets Interview、2020年2月6日閲覧。
- ^ Hogan, Sophie (2025年11月19日). 「元DARPA幹部がAriaの新最高経営責任者に選出」 . Research Professional News . 2026年1月18日閲覧。
- ^ 「2021年フェロー」アメリカ科学振興協会。 2022年1月28日閲覧。
外部リンク
