Andrew Appel

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
File:Andrew Apple (FloC 2006).jpg
Andrew Appel at FLoC 2006.

Andrew Wilson Appel (born 1960) is the Eugene Higgins 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 H. Reppy, Matthias Blume and others[1] and one of the authors of Rog-O-Matic.

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 in the penalty phase of the Microsoft antitrust case in 2002.[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]

In 1981, Appel developed a better approach to the n-body problem in linearithmic instead of quadratic time.[6]

Andrew Appel is the son of noteworthy mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976.

References

  1. SML/NJ Team
  2. ACM: Fellows Award / Andrew W Appel
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. http://www.cs.princeton.edu/~appel/papers/urne.pdf
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm. Andrew W. Appel, Senior Thesis, Princeton University, 1981.

External links


<templatestyles src="Asbox/styles.css"></templatestyles>