Andrew Appel | |
|---|---|
Andrew Appel in 2006 | |
| Born | 1960 (age 64–65) |
| Father | Kenneth Appel |
| Relatives | Peter H. Appel (brother) |
Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor ofcomputer science atPrinceton University. He is especially well known because of hiscompiler books, theModern Compiler Implementation in ML (ISBN 0-521-58274-1) series, as well asCompiling With Continuations (ISBN 0-521-41695-7). He is also a major contributor to theStandard ML of New Jersey compiler, along withDavid MacQueen,John H. Reppy,Matthias Blume and others[1] and one of the authors ofRog-O-Matic.
Andrew Appel is the son of mathematicianKenneth Appel, who proved theFour-Color Theorem in 1976.[2] Appel graduated summa cum laude with an A.B. inphysics fromPrinceton University in 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 Fellow in 1998, due to his research of programming languages andcompilers.[5]
In 1981, Appel developed a better approach to then-body problem inlinearithmic instead 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 antitrust case 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]
This biographical article relating to a computer specialist in the United States is astub. You can help Wikipedia byexpanding it. |