Loading article…
ジャネット・ウィング | |
|---|---|
 | |
| 生まれる | ジャネット・マリー・ウィング 1956年12月4日 |
| 国籍 | アメリカ人 |
| 母校 | マサチューセッツ工科大学(学士、修士、博士) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コロンビア大学、 カーネギーメロン大学、 南カリフォルニア大学 |
| 論文 | プログラムの仕様を定義するための 2 層アプローチ (1983) |
| 博士課程の指導教員 | ジョン・ガッタグ[1] |
| 博士課程の学生 | グレッグ・モリセット[1] |
| Webサイト | cs.cmu.edu/~wing/ |
ジャネット・マリー・ウィングは、コロンビア大学 データサイエンス研究所の所長であり、同大学のコンピューターサイエンスの教授も務めている。[2] 2017年6月30日まで、マイクロソフトリサーチのコーポレートバイスプレジデントを務め、世界中の中核研究機関とマイクロソフトリサーチコネクションを監督していた。[3] [4] 2013年以前は、米国ペンシルベニア州ピッツバーグのカーネギーメロン大学でコンピューターサイエンスの学長教授を務めていた。また、2007年から2010年までNSFでコンピューターおよび情報科学工学の副所長も務めた。[ 5] [ 6] [7 ] [8] [9] [10] [11] [12] [13] [14] 2021年にコロンビア大学の研究担当執行副学長に任命された。[15]
背景
ウィングは1979年6月にMITで電気工学とコンピュータサイエンスの学士号と修士号を取得した。指導教官はロナルド・リベストとジョン・ライザーであった。1983年に彼女はMITでジョン・ガッタグの指導の下、コンピュータサイエンスの博士号を取得した。[1]彼女はタンスー道の黒帯4段である。[16]
キャリアと研究
ウィング氏は1982年から1985年まで南カリフォルニア大学の教員を務め、その後1985年から2012年までカーネギーメロン大学の教員を務めた。2004年から2007年、および2010年から2012年までコンピューターサイエンス学部の学部長を務めた。2013年1月、カーネギーメロン大学を休職し、マイクロソフトリサーチに勤務した。
ウィングは形式手法コミュニティ、特にLarchの分野で主導的な役割を果たしてきました。彼女は多くの研究プロジェクトを主導し、多くの論文を発表しています。[17]
彼女はバーバラ・リスコフとともにリスコフの置換原理を開発し、1993年に出版した。
彼女はまた、計算論的思考の強力な推進者でもあり、コンピュータ科学者が使用するアルゴリズム的な問題解決と抽象化の手法と、それが他の分野にどのように応用できるかを表現してきました。[5]
彼女は以下の雑誌の編集委員を務めています。
- プライバシーとセキュリティの基礎とトレンド （共同編集長）
- ACMジャーナル
- コンピューティングの形式的側面 （北米編集者）
- システム設計における形式手法
- 国際ソフトウェア情報学ジャーナル
- 情報科学と工学ジャーナル
- 技術移転のためのソフトウェアツール
認識
ウィングは2003年に「ソフトウェアシステムの手法への貢献」によりIEEEのフェローに任命された。 [18]
参考文献
- ^ abc 数学系譜プロジェクトのジャネット・ウィング
- ^ 「ボリンジャー学長、マイクロソフト研究責任者のジャネット・ウィング氏をコロンビア大学データサイエンス研究所の所長に任命」2017年5月1日閲覧。
- ^ 「Jeannette Wing」 . 2014年7月6日閲覧。
- ^ Clayton, Steve (2012 年 11 月 20 日)。「Dr. Jeannette Wing: 新副社長、Microsoft Research International 責任者」。blogs.microsoft.com。
- ^ ab Wing, Jeanette M. (2006). 「計算的思考」（PDF） . Communications of the ACM . 49 (3): 33–35. doi :10.1145/1118178.1118215. hdl : 10818/29866 . S2CID 1693513.
- ^ Wing, Jeannette M; Woodcock, Jim ; Davies, Jim, 編 (1999). FM'99 – 形式手法: コンピューティング システム開発における形式手法に関する世界会議 トゥールーズ、フランス、1999 年 9 月 20 ～ 24 日 議事録、第 1 巻。LNCS。第1708 巻。Springer-Verlag。doi : 10.1007 /3-540-48119-2。ISBN 978-3-540-66587-8.S2CID 36821080 。
- ^ Wing, Jeannette M; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 – 形式手法: コンピューティング システム開発における形式手法に関する世界会議 トゥールーズ、フランス、1999 年 9 月 20 ～ 24 日 議事録、第 2 巻。LNCS。第1709 巻。Springer-Verlag。doi : 10.1007/ 3-540-48118-4。ISBN 978-3-540-66588-5. S2CID 2986421。
- ^ Martin, U. ; Wing, JM, 編 (1993). Proceedings of the First International Workshop on Larch . Workshops in Computing. Springer-Verlag . ISBN 978-3-540-19804-8。
- ^ Garland, SJ; Jones, KD; Modet, A.; Wing, JM (1993). Guttag, JV ; Horning, JJ (編). Larch: 形式仕様記述のための言語とツール. Springer-Verlag . CiteSeerX 10.1.1.137.5123 . doi :10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4. S2CID 13066418。
- ^ DBLP書誌サーバーの Jeannette M. Wing
- ^ Jeannette Wing の出版物はScopus書誌データベースに索引付けされています。(購読が必要です)
- ^ ACMデジタル ライブラリの Jeannette Wing 著者プロフィール ページ
- ^ Herlihy, MP; Wing, JM (1990). 「線形化可能性: 並行オブジェクトの正当性条件」. ACM Transactions on Programming Languages and Systems . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . doi :10.1145/78969.78972. S2CID 228785.
- ^ Clarke, EM; Wing, JM (1996). 「形式手法: 最新技術と将来の方向性」ACM Computing Surveys . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . doi :10.1145/242223.242257. S2CID 5534240.
- ^ 「ジャネット・ウィングが研究担当エグゼクティブ副社長に昇格 - コロンビア・スペクテイター」コロンビア・デイリー・スペクテイター。 2021年8月18日閲覧。
- ^ ケビン・マクラフリン「喧嘩であなたを負かす可能性のある14人のテック幹部」Business Insider 。 2021年4月9日閲覧。
- ^ 「Jeannette M. Wing」. cs.cmu.edu .
- ^ 「IEEE Fellows directory」. IEEE . 2021年7月24日閲覧。
外部リンク
- アーロンソン、ローレン、Q&A：ジャネット・ウィング
- ジョン・ウデルのイノベーターたちへのインタビュー – ジャネット・ウィング博士