Andrew Appel
{{short description|American computer scientist}}
{{Infobox person
| name = Andrew Appel
| image = Andrew Apple (FloC 2006).jpg
| alt =
| caption = Andrew Appel in 2006
| birth_name =
| birth_date = 1960
| birth_place =
| death_date =
| death_place =
| nationality =
| other_names =
| occupation =
| years_active =
| known_for =
| notable_works =
| father = Kenneth Appel
| 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[http://www.smlnj.org/people.html SML/NJ Team] and one of the authors of Rog-O-Matic.
Biography
Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976.{{Cite web|last=|first=|date=|title=In Memoriam: Kenneth Appel|url=https://math.illinois.edu/resources/department-history/faculty-memoriam/kenneth-appel|url-status=live|archive-url=https://web.archive.org/web/20200723170117/https://math.illinois.edu/resources/department-history/faculty-memoriam/kenneth-appel |archive-date=2020-07-23 |access-date=2020-09-07|website=math.illinois.edu}} 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.{{Cite book|url=https://catalog.princeton.edu/catalog/4122345|title=Investigation of galaxy clustering using an asymptotically fast N-body algorithm|year=1981}} He later received a Ph.D. (computer science) at Carnegie Mellon University, in 1985.{{cite thesis |type=PhD |last=Appel |first=Andrew |date=1985 |title=Compile-time Evaluation and Code Generation for Semantics-directed Compilers |publisher=Carnegie Mellon University |url=http://reports-archive.adm.cs.cmu.edu/anon/1985/abstracts/85-147.html}} He became an ACM Fellow in 1998, due to his research of programming languages and compilers.{{Cite web|url=https://awards.acm.org/award_winners/appel_2115301|title=Andrew W. Appel|website=awards.acm.org|language=en|access-date=2019-07-24}}
In 1981, Appel developed a better approach to the n-body problem in linearithmic instead of quadratic time.[http://www.cs.princeton.edu/~appel/papers/nbody.pdf An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm]. Andrew W. Appel, Senior Thesis, Princeton University, 1981.
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|date=July 2019}}
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.{{Citation
| last =
| first =
| author-link =
| last2 =
| first2 =
| title = TECHNOLOGY; Threat Is Seen to Microsoft Windows
| newspaper = The New York Times
| pages =
| date = May 2, 2007
| url = http://select.nytimes.com/gst/abstract.html?res=F4081FF63E550C718CDDAC0894DA404482}} He is opposed to the introduction of some computerized voting machines, which he deemed untrustworthy.{{Cite web |url=https://www.cs.princeton.edu/~appel/papers/urne.pdf |title=Ceci n'est pas une urne |last=Andrew |first=Appel |date=2006-06-14 |access-date=2020-04-22}} In 2007, he received attention when he purchased a number of voting machines for the purpose of investigating their security.{{Citation
| last = Jones
| first = Richard G.
| author-link =
| title = Suit Seeks To Ensure Ballot Safety In New Jersey
| newspaper = The New York Times
| pages =
| date = February 13, 2007
| url = http://select.nytimes.com/gst/abstract.html?res=F00713F9345B0C708DDDAB0894DF404482}} 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.{{Citation
| last = Fox
| first = Joey
| author-link =
| title = Andy Kim Takes the Stand Against County Lines at Federal Hearing
| newspaper = New Jersey Globe
| pages =
| date = March 18, 2024
| url = https://newjerseyglobe.com/judiciary/andy-kim-takes-the-stand-against-county-lines-at-federal-hearing}}
References
External links
{{Commons category|Andrew Appel}}
- [http://www.cs.princeton.edu/~appel/ Website at Princeton]
{{Authority control}}
{{DEFAULTSORT:Appel, Andrew W.}}
Category:American computer scientists
Category:Carnegie Mellon University alumni
Category:Princeton University faculty
Category:Programming language researchers
{{US-compu-bio-stub}}