1993年にバーバラ・リスコフと共に開発されたリスコフの置換原則は、ソフトウェア工学の方法論における基礎的な貢献であり続けています。1956年にニューアークで生まれたジャネット・ウイング（Jeannette Wing）は、理論計算機科学と産業応用の間の溝を埋めることに何十年も費やしてきました。彼女の経歴は学界、政府政策、企業の研究所にまたがり、主にプログラミング言語と形式手法に焦点を当てています。
学術的基礎と研究
ウイングは1979年6月にマサチューセッツ工科大学で電気工学および計算機科学の学士号と修士号をロナルド・リベストとジョン・ライザーの指導の下で取得しました。1983年に同機関でジョン・ガッタグの指導の下、計算機科学の博士号を取得しました。彼女の初期の教職歴には、1982年から1985年までの南カリフォルニア大学、1985年から2012年までのカーネギーメロン大学での在職が含まれます。カーネギーメロン大学在職中、彼女は2004年から2007年、2010年から2012年の2つの期間にわたり計算機科学科の学科長を務めました。
公共政策と企業リーダーシップ
大学での研究の枠を超え、ウイングは影響力のある管理職を歴任しました。彼女は2007年から2010年の間、全米科学財団で計算機・情報科学工学の副局長を務めました。2013年1月に民間セクターに移り、マイクロソフト・リサーチのコーポレート・バイス・プレジデントとして、2017年6月30日までグローバルな研究所や研究関係を統括しました。その後、コロンビア大学データ科学研究所のアバネシアンズ・ディレクターとなり、2021年9月1日付で同大学の研究担当常務副学長に任命されました。
計算思考への貢献
ウイングは計算機科学で一般的なアルゴリズム抽象化技術を多様な分野に応用する計算思考（コンピュテーショナル・シンキング）の提唱者として認知されています。特にLarchに関する形式手法における彼女の業績は、プログラミング方法論に大きな影響を与えました。彼女は『Journal of the ACM』や『Formal Methods in System Design』をはじめとする数多くの編集委員を務めています。彼女の専門的栄誉には、1998年のACMフェローへの選出、2003年のIEEEフェローへの選出、および信頼できるコンピューティングと形式手法に関する業績により2024年に全米工学アカデミーの会員に選出されたことが含まれます。
基本情報
- 誕生: 1956年、ニューアーク - 学歴: マサチューセッツ工科大学 - 主な専門分野: 計算機科学、人工知能、プログラミング言語 - 主な役職: コロンビア大学研究担当常務副学長 - 顕著な開発: リスコフの置換原則（1993年） - ACMフェロー: 1998年 - IEEEフェロー: 2003年 - 個人的な趣味: タン・ス・ド（唐手道）の四段の黒帯
読者からの質問
### リスコフの置換原則とは何ですか？
1993年にバーバラ・リスコフと共に開発されたもので、プログラムの正確性を損なうことなく、スーパーマスタークラスのオブジェクトをそのサブクラスのオブジェクトでどのように置換できるべきかに関するプログラミング方法論の概念です。
### ジャネット・ウイングの言う「計算思考」とは何を意味しますか？
計算機科学者が使用する問題解決手法やアルゴリズム抽象化のプロセスを表現し、他の学術的および実践的な分野の研究や課題に応用できるようにすることを指します。
