Jump to content

Andrew Appel

From Wikipedia, the free encyclopedia
Andrew Appel
Andrew Appel in 2006
Born1960
FatherKenneth Appel
RelativesPeter H. Appel(brother)

Andrew Wilson Appel(born 1960) is the Eugene Higgins Professor ofcomputer scienceatPrinceton University.He is especially well-known because of hiscompilerbooks, theModern Compiler Implementation in ML(ISBN0-521-58274-1) series, as well asCompiling With Continuations(ISBN0-521-41695-7). He is also a major contributor to theStandard ML of New Jerseycompiler, along withDavid MacQueen,John H. Reppy,Matthias Blumeand others[1]and one of the authors ofRog-O-Matic.

Biography

[edit]

Andrew Appel is the son of mathematicianKenneth Appel,who proved theFour-Color Theoremin 1976.[2]Appel graduated summa cum laude with an A.B. inphysicsfromPrinceton Universityin 1981 after completing a senior thesis, titled "Investigation of galaxy clustering using an asymptotically fast N-body algorithm", under the supervision of Nobel laureateJames Peebles.[3]He later received a Ph.D. (computer science) atCarnegie Mellon University,in 1985.[4]He became anACM Fellowin 1998, due to his research of programming languages andcompilers.[5]

In 1981, Appel developed a better approach to then-body probleminlinearithmicinstead of quadratic time.[6]

From July 2005 to July 2006, he was a visiting researcher at theInstitut national de recherche en informatique et en automatique(INRIA),Rocquencourt,France,on sabbatical from Princeton University.[citation needed]

Andrew Appel campaigns on issues related to the interaction of law and computer technology. He testified in the penalty phase of theMicrosoft antitrustcase in 2002.[7]He is opposed to the introduction of some computerizedvoting machines,which he deemed untrustworthy.[8]In 2007, he received attention when he purchased a number of voting machines for the purpose of investigating their security.[9]In 2024, he testified as an expert on voting machines in federal court hearings that led to a preliminary injunction disallowing New Jersey’s “county line” system that was alleged to provide an unfair advantage to candidates backed by county political party organizations.[10]

References

[edit]
  1. ^SML/NJ Team
  2. ^"In Memoriam: Kenneth Appel".math.illinois.edu.Archivedfrom the original on 2020-07-23.Retrieved2020-09-07.
  3. ^Investigation of galaxy clustering using an asymptotically fast N-body algorithm.1981.
  4. ^Appel, Andrew (1985).Compile-time Evaluation and Code Generation for Semantics-directed Compilers(PhD). Carnegie Mellon University.
  5. ^"Andrew W. Appel".awards.acm.org.Retrieved2019-07-24.
  6. ^An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm.Andrew W. Appel, Senior Thesis, Princeton University, 1981.
  7. ^"TECHNOLOGY; Threat Is Seen to Microsoft Windows",The New York Times,May 2, 2007
  8. ^Andrew, Appel (2006-06-14)."Ceci n'est pas une urne"(PDF).Retrieved2020-04-22.
  9. ^Jones, Richard G. (February 13, 2007),"Suit Seeks To Ensure Ballot Safety In New Jersey",The New York Times
  10. ^Fox, Joey (March 18, 2024),"Andy Kim Takes the Stand Against County Lines at Federal Hearing",New Jersey Globe
[edit]