Andrew Appel

Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor of computer science at Princeton University. 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.

Andrew Appel
Andrew Appel in 2006
Born1960

Biography

Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976. Appel graduated summa cum laude with an A.B. in physics from Princeton University in 1981 after completing a senior thesis, titled "Investigation of galaxy clustering using an asymptotically fast N-body algorithm", under the supervision of P. J. E. Perbles.[2] He later received a Ph.D. (computer science) at Carnegie-Mellon University, in 1985. He became an ACM Fellow in 1998, due to his research of programming languages and compilers.[3]

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

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 University.

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.[5] He is opposed to the introduction of some computerized voting machines, which he deemed untrustworthy.[6] In 2007, he received attention when he purchased a number of voting machines for the purpose of investigating their security.[7]

gollark: I hope the coronavirus doesn't jump species to computers.
gollark: My website (osmarks.tk) now has an achievement system. It's pointless but I did it anyway.
gollark: Sounds like a weird thing to be its own subject though. Wouldn't it be basically just statistics?
gollark: Or... whatever qualification you do, I guess?
gollark: Data science is an A-level?

References
  1. SML/NJ Team
  2. https://catalog.princeton.edu/catalog/4122345
  3. "Andrew W. Appel". awards.acm.org. Retrieved 2019-07-24.
  4. An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm. Andrew W. Appel, Senior Thesis, Princeton University, 1981.
  5. "TECHNOLOGY; Threat Is Seen to Microsoft Windows", The New York Times, May 2, 2007
  6. Andrew, Appel (2006-06-14). "Ceci n'est pas une urne:" (PDF). Retrieved 2020-04-22.
  7. Jones, Richard G. (February 13, 2007), "Suit Seeks To Ensure Ballot Safety In New Jersey", The New York Times


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.