Andrew Appel | |
---|---|
![]() Andrew Appel in 2006 | |
Born | 1960 |
Parent |
|
Relatives | Peter H. Appel (brother) |
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.
YouTube Encyclopedic
-
1/3Views:6 7426 1801 426
-
Alan Turing's legacy and computer science at Princeton
-
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
-
Introduction to the Coq Proof Assistant - Andrew Appel
Transcription
ANDREW APPEL: 2012 is the 100th anniversary of the birth of Alan Turing, who in many ways is the founder of computer science. When Alan Turing arrived at Princeton in 1936, there was no such thing as a computer science department, here or anywhere. The math department, as it was at Princeton in the 1930s, had been built by Oswald Veblen. He recruited some of the best mathematicians and logicians in the world. The Institute for Advanced Study was founded in about 1930, in Princeton, and for the first 10 years of its existence it shared a building with the Princeton math department, here in the old Fine hall. And this is where Turing and Church and von Neumann and even, Einstein, would have had their afternoon tea and discussion. So when Alan Turing was about 23 years old, in Cambridge, Alan Turing sent his paper "On Computable Numbers" off for publication and then he came to Princeton, to study with Alonzo Church. Turing's paper, in 1936, was so revolutionary that very few people understood it. Alonzo Church understood it, at Princeton, and Kurt Godel, but these were geniuses. One could say, that the greatest computer science department in the world in the 1930s was the Princeton math department because Church's lambda calculus became the prototype of programming languages that we use. Turing's machine became the prototype of the computers developed by John von Neumann at the Institute for Advanced Study in Princeton, in which the program is just stored as data in the memory of the computer. When we program a computer today, we don't have to go change the wiring, we just load in a program and that concept goes back through von Neumann, to Turing, and in some ways all the way back to Kurt Godel, in 1931. Today Princeton, in the 21st century, has a real computer science department. It Is one of the great computer science departments of the world. We study many of the same things that Alan Turing himself, was interested in; the theory of computation, the construction of real computers, we study artificial intelligence, which Turing became interested in in the late 1940s, we study the applications of computation to biology, which Turing became interested in in the early 1950s. We owe a lot to Alan Turing and the mathematicians at Princeton in the mid-20th century.
Biography
Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976.[2] 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 Nobel laureate James Peebles.[3] He later received a Ph.D. (computer science) at Carnegie Mellon University, in 1985.[4] He became an ACM Fellow in 1998, due to his research of programming languages and compilers.[5]
In 1981, Appel developed a better approach to the n-body problem in linearithmic instead of quadratic time.[6]
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.[citation needed]
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.[7] He is opposed to the introduction of some computerized voting 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
- ^ SML/NJ Team
- ^ "In Memoriam: Kenneth Appel". math.illinois.edu. Archived from the original on 2020-07-23. Retrieved 2020-09-07.
- ^ Investigation of galaxy clustering using an asymptotically fast N-body algorithm. 1981.
- ^ Appel, Andrew (1985). Compile-time Evaluation and Code Generation for Semantics-directed Compilers (PhD). Carnegie Mellon University.
- ^ "Andrew W. Appel". awards.acm.org. Retrieved 2019-07-24.
- ^ An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm. Andrew W. Appel, Senior Thesis, Princeton University, 1981.
- ^ "TECHNOLOGY; Threat Is Seen to Microsoft Windows", The New York Times, May 2, 2007
- ^ Andrew, Appel (2006-06-14). "Ceci n'est pas une urne" (PDF). Retrieved 2020-04-22.
- ^ Jones, Richard G. (February 13, 2007), "Suit Seeks To Ensure Ballot Safety In New Jersey", The New York Times
- ^ Fox, Joey (March 18, 2024), "Andy Kim Takes the Stand Against County Lines at Federal Hearing", New Jersey Globe
External links
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
![](/s/i/modif.png)