Loading article…
ロリ・A・クラーク | |
|---|---|
| 生まれる | |
| 国籍 | アメリカ人 |
| 母校 | コロラド大学 ロチェスター大学 |
| 知られている | ソフトウェアエンジニアリング |
| 受賞歴 | ACMフェロー（1998） IEEEフェロー（2011） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | マサチューセッツ大学アマースト校 |
| 論文 | プログラム検証の補助としてのテストデータ生成とプログラムのシンボリック実行 (1976) |
| 博士課程の指導教員 | レオン・J・オスターヴァイル |
| 博士課程の学生 | アレクサンダー・L・ウルフ |
| Webサイト | laser.cs.umass.edu/people/clarke.html |
ロリ・A・クラークは、ソフトウェア工学の研究で知られるアメリカのコンピュータ科学者です。
バイオグラフィー
クラークは1969 年にロチェスター大学 で数学の学士号を取得しました。1976 年には コロラド大学で コンピュータ サイエンスの博士号を取得しました。
その後、1976年にマサチューセッツ大学アマースト校のコンピュータサイエンス学部に助教授として加わり、在学中に1981年に准教授に昇進、1986年に教授に昇進しました。2011年にコンピュータサイエンス学部の学部長に就任し、2015年に名誉教授になりました。
彼女は 1985 年から 2001 年までSIGSOFTの役員を務め、1993 年から 1997 年まで会長を務めました。また、1999 年から 2009 年までCRAの役員を務めました。コンピューティングへの参加拡大におけるリーダーシップでも知られています。彼女は 2001 年からCRA-W役員を務め、 2005 年から 2008 年まで CRA-Wの共同会長を務めました。
受賞歴
1998年に彼女はACMフェローに任命された。[1]
その他の注目すべき受賞歴は以下のとおりです。
- ソフトウェアのテストと検証への貢献により、2011年にIEEEフェロー[2]に選出されました。
- ACM SIGSOFT優秀研究賞、2011年[3]
- ACM SIGSOFT優秀サービス賞、2002年[4]
参考文献
- ^ Association for Computing Machinery (1998)。「AWARDS ACM Fellow Lori A. Clarke」。Association for Computing Machinery 。 2013年6月15日閲覧。
- ^ 電子電気工学研究所 (2011)。「IEEE Fellow Class of 2011」。電子電気工学研究所。2013年4月30日時点のオリジナルよりアーカイブ。 2013年6月15日閲覧。
- ^ ACM SIGSOFT (2011). 「ACM SIGSOFT Outstanding Research Award」 www.sigsoft.org . 2013年6月15日閲覧。
- ^ ACM SIGSOFT (2002). 「ACM SIGSOFT Distinguished Service Award」. SIGSOFT . 2013年6月15日閲覧。
外部リンク
- マサチューセッツ大学アマースト校：ロリ・A・クラーク、コンピュータサイエンス学部