Loading article…
ジェームズ・ベンジャミン・サックスは、DECシステム研究センター[1]とその後継組織であるコンパックシステム研究センター、HP研究所のシステム研究センターで長年勤務したアメリカのコンピュータ科学者です。
Saxeは、自動定理証明、[DNS] 回路の複雑さ、[FSS] 同期回路設計におけるリタイミング、[LS]コンピュータネットワーク、[AOS] および静的プログラム解析に関する引用数の多い論文で知られています 。[FLL] PLDI 2002 のプログラム解析に関する研究は、2012年の最も影響力のあるPLDI論文賞を受賞しました。 [2]さらに、彼は分割統治法の再帰のマスター定理 の著者の1人です。[BHS]
高校生の時、サックスはアメリカ合衆国数学オリンピックで優勝した。[3] 1974年、ユニオン大学の学生として、サックスはウィリアム・ローウェル・パットナム数学コンテストに参加し、上位5位に入ったことでパットナムフェローシップを獲得した。[4] 彼は1976年にユニオン大学を卒業し、[3] 1985年にカーネギーメロン大学でジョン・ベントレーの指導の下、博士号を取得した。[5]
主な出版物
参考文献
- ^ SRC の人物一覧(PDF)、DEC システム研究センター、1993 年、14 ページ
- ^ 最も影響力のあるPLDI論文賞、2017年6月17日閲覧
- ^ ab 数学部門の歴史 Archived 2016-12-18 at the Wayback Machine、ユニオンカレッジ、2017-06-17取得
- ^ Putnam Competition Individual and Team Winners Archived 2014-03-12 at the Wayback Machine、Mathematical Association of America、2017-06-17 取得
- ^ 数学系譜プロジェクトのジェームズ・B・サックス