ロバート・ブルース・フィンドラー

ロバート・ブルース・フィンドラーは、通称「ロビー」と呼ばれ、アメリカのコンピュータ科学者で、現在はノースウェスタン大学のコンピュータサイエンスの教授です。^[1]彼はまた、PLTグループ^{[2]のメンバーでもあり、} DrRacketの作成と保守を担当しています。DrRacketに加えて、フィンドラーはRacketに多数のコンポーネントを提供し、WebベースのソフトウェアライブラリであるPLaneTを監督しています。また、フィンドラーはProgramByDesignプロジェクトの主要チームメンバーでもあります。

フィンドラーはライス大学でマティアス・フェライセンの指導の下、博士号を取得しました。^[3]彼の博士論文はソフトウェア契約の言語学に関するもので、一般に契約による設計として知られています。ソフトウェア契約に関する彼の研究は、より慎重な責任の計算を提供し、それによってプログラマーがソフトウェアシステムの欠陥のある部分を素早く特定するのに役立ちます。

DrRacket とソフトウェア コントラクトに加えて、Findler はセマンティクス エンジニア向けのワークベンチの設計と実装にも力を入れています。Redex と呼ばれるこのワークベンチは、プログラミング言語の縮約セマンティクスを指定および実行するためのツールです。米国とヨーロッパのプログラミング言語研究者によって使用されています。最近では、SUN のFortress研究チームが Redex を使用して言語の主要部分を指定および調査しました。

Findler は、 Schemeプログラミング言語に関する Revised^6 レポートのセマンティクス エディターを務めました。彼と彼の博士課程の学生 Jacob Matthews は、コア セマンティクスの Redex モデルを開発しました。これはレポートの付録として含まれています。この付録は、Standard MLの正式な仕様 (Milner、Tofte、Harper、MacQueen) と同じ役割を果たしますが、実行可能であるため、個々の例を視覚化できます。

2018年、彼と他の研究者はRacket ^[4]の開発でSIGPLANプログラミング言語ソフトウェア賞を受賞した。

2012年、彼とマティアス・フェライセンは契約に関する研究でICFP最優秀論文賞を受賞した^[5]。

• ノースウェスタン大学のホームページ
• Google 学者プロフィール