エミナ・トルラック

エミナ・トルラックはアメリカのコンピュータ科学者、ソフトウェアエンジニアであり、ソフトウェアの検証、プログラム合成、およびこれらの技術のドメイン固有言語への統合を研究しています。彼女は以前ワシントン大学のコンピュータサイエンスの教授であり、現在はアマゾンウェブサービスのシニアプリンシパルサイエンティストです。^[1]

トルラックはマサチューセッツ工科大学でコンピュータサイエンスを学び、2003年に学士号、2004年に修士号を取得し、2009年に博士号を取得しました。^[1]彼女の博士論文「ソフトウェアエンジニアリングのための制約ソルバー：大規模なリレーショナル仕様のモデルとコアの発見」はダニエル・ジャクソンの指導を受けました。^{[1] [2]}

彼女は2008年から2014年までIBMリサーチ、LogicBlox、カリフォルニア大学バークレー校の研究員として働き、2014年にワシントン大学の助教授になりました。彼女は2018年に准教授に昇進し、2021年にアマゾンウェブサービスとの提携を追加しました。^[1]

トルラックは2016年にジュニア・ダール・ナイガード賞を受賞しており、「より良いソフトウェアをより簡単に構築するためのツールと方法論の開発に関する研究」が評価された。^{[3] [4]彼女は2021年に}ACM SIGPLANロビン・ミルナー若手研究者賞を受賞しており、「自動検証の分野のリーダー」として認められている。^{[5] [6]}

• ホームページ
• Google Scholarにインデックスされた Emina Torlak の出版物
• スワラット・チョードリー (2014 年 6 月 26 日)、「スポットライト: エミナ・トーラック」、プログラミング言語愛好家