ベンジャミン・C・ピアース

ベンジャミン・C・ピアース
プログラミングセマンティクスの数学的基礎 24 (フィラデルフィア、2008 年 5 月)
母校	カーネギーメロン大学
知られている	型とプログラミング言語
科学者としてのキャリア
論文	交差型と有界多態性によるプログラミング (1991)
博士課程の指導教員	ロバート・ハーパー ジョン・C・レイノルズ

ベンジャミン・クロフォード・ピアースは、ペンシルベニア大学のコンピュータサイエンスのヘンリー・サルバトーリ教授^[1]です。ピアースは1998年にインディアナ大学からペンシルベニア大学に移り、ケンブリッジ大学とエディンバラ大学で研究職を務めました。彼は1991年にカーネギーメロン大学で博士号を取得しました。彼の研究には、プログラミング言語、静的型システム、分散プログラミング、モバイルエージェント、プロセス計算、差分プライバシーに関する研究が含まれます。

ピアス氏は研究の一環として、Unisonファイル同期ユーティリティを含むいくつかのオープンソース ソフトウェアプロジェクトの開発を主導してきました。

2012年、ピアスは「プログラミング言語とその型システムの理論と実践への貢献」によりACMフェロー^{[2]に選出されました。2015年、ピアスと共著者は最も影響力のある}プログラミング言語の原則論文賞を受賞しました^[3]。この論文は「ビュー更新問題をプログラミング言語コミュニティの注目を集め、データベースを超えた問題の広範な関連性を示す上で重要な役割を果たした。[...]より広い意味では、この論文はBX（「双方向変換」）の分野で多くの後続研究を引き起こし、データベース、プログラミング言語、ソフトウェアエンジニアリングの世界間の実りあるコラボレーションにつながった」と評されました。

彼は型システムに関する書籍Types and Programming Languages ISBN  0-262-16209-1の著者です。また、論文集を編集して第 2 巻Advanced Topics in Types and Programming Languages ISBN 0-262-16228-8を作成しました。博士課程で圏論を学んでいる間に収集したメモに基づいて、このトピックの入門書Basic Category Theory for Computer Scientists、ISBN 0-262-66071-7も出版しています。彼は無料で入手できる書籍 Software Foundations の著者の 1 人です。   

• POPLmarkチャレンジ

• ピアス教授のホームページ
• DBLP書誌サーバーの Benjamin C. Pierce
• 数学系譜プロジェクトのベンジャミン・C・ピアース