アンドリュー・アペル
詳細情報
- 主な業績
- Xboxのハック、Novena、Precursor
- 著書
- Hacking the Xbox(2003年)
まずコンパイラとStandard MLで知られ、のちに中古の投票機を買って、改ざんがいかに簡単かを示したプリンストン大学の教授。
1980〜90年代のアペルは、Standard ML of New Jerseyを推進した中心人物の一人であり、教科書『Modern Compiler Implementation』(1998年)も書いた。今も多くの情報科学の学生がこれと格闘している。のちの仕事は形式検証されたソフトウェアに重心がある。
2007年、ある郡が余剰品として売りに出したSequoia AVC Advantageの投票機を購入した。2008年、ハリ・ハースティやブライアン・カーニハンを含むチームが、ROMチップを数分で交換できることを示した。交換後の機械は、外見上は何も変わらないまま、候補者間で静かに票を移し替える。報告書はニュージャージー州の訴訟における専門家証言として書かれた。Sequoiaは訴訟をちらつかせたが、機械はその後も何年も使われ続けた。