Andrew Appel

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.

WikiProject Programming languages may be able to help recruit one.

If a more appropriate WikiProject or portal exists, please adjust this template accordingly.

Andrew Appel at FLoC 2006.

Andrew W. Appel is a professor of computer science at Princeton University, New Jersey. He is especially well-known because of his compiler books, the Modern Compiler Implementation in ML (ISBN 0-521-58274-1) series, as well as Compiling With Continuations (ISBN 0-521-41695-7). He is also a major contributor to the Standard ML of New Jersey compiler, along with David MacQueen, John Reppy, Matthias Blume and others.^[1]

Appel gained an A.B. summa cum laude (physics) at Princeton University in 1981, and a Ph.D. (computer science) at Carnegie-Mellon University, in 1985. He became an ACM Fellow in 1998.^[2]

From July 2005 to July 2006, he was a visiting researcher at the Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt, France, on sabbatical from Princeton.

Andrew Appel campaigns on issues related to the interaction of law and computer technology. He testified before the U.S. Congress during the Microsoft antitrust case in 1998.^[3] He is opposed to the introduction of some computerized voting machines, which he deemed untrustworthy.^[4] In 2007, he received attention when he purchased a number of voting machines for the purpose of investigating their security.^[5]