Andrew Wilson Appel (geb. 1960) ist Eugene Higgins Professor für Informatik an der Princeton University . Er ist insbesondere für seine Bücher über Compiler bekannt , darunter „Modern Compiler Implementation in ML“ ( ISBN 1960). 0-521-58274-1) Reihe sowie Compiling With Continuations ( ISBN 0-521-41695-7Er ist außerdem ein wichtiger Mitwirkender am Standard ML of New Jersey Compiler, zusammen mit David MacQueen , John H. Reppy , Matthias Blume und anderen [ 1 ] , und einer der Autoren von Rog-O-Matic .

Biographie

Andrew Appel ist der Sohn des Mathematikers Kenneth Appel , der 1976 den Vierfarbensatz bewies. [ 2 ] Appel schloss sein Physikstudium an der Princeton University 1981 mit Auszeichnung (summa cum laude) ab, nachdem er unter der Betreuung des Nobelpreisträgers James Peebles eine Abschlussarbeit mit dem Titel „Untersuchung der Galaxienhaufenbildung mithilfe eines asymptotisch schnellen N-Körper-Algorithmus“ verfasst hatte . [ 3 ] 1985 promovierte er an der Carnegie Mellon University in Informatik . [ 4 ] Aufgrund seiner Forschung im Bereich Programmiersprachen und Compiler wurde er 1998 zum ACM Fellow ernannt . [ 5 ]

1981 entwickelte Appel einen besseren Ansatz für das n -Körper-Problem in linearithmischer statt quadratischer Zeit. [ 6 ]

Von Juli 2005 bis Juli 2006 war er Gastwissenschaftler am Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt , Frankreich , während eines Forschungsurlaubs an der Princeton University.

Andrew Appel engagiert sich in politischen Kampagnen zu Themen an der Schnittstelle von Recht und Computertechnologie. Er sagte 2002 in der Strafzumessungsphase des Microsoft-Kartellverfahrens aus. [ 7 ] Er lehnt die Einführung bestimmter computergestützter Wahlmaschinen ab , die er für unzuverlässig hält. [ 8 ] 2007 erregte er Aufsehen, als er mehrere Wahlmaschinen erwarb, um deren Sicherheit zu untersuchen. [ 9 ] 2024 sagte er als Experte für Wahlmaschinen vor einem Bundesgericht aus. Die Anhörungen führten zu einer einstweiligen Verfügung gegen das sogenannte „County Line“-System in New Jersey, das Kandidaten, die von Parteiorganisationen auf Kreisebene unterstützt wurden, einen unfairen Vorteil verschafft haben soll. [ 10 ]

Referenzen

  1. ^ SML/NJ-Team
  2. ^ „In Memoriam: Kenneth Appel“ . math.illinois.edu . Archiviert vom Original am 23.07.2020 . Abgerufen am 07.09.2020 .
  3. ^ Untersuchung der Galaxienhaufenbildung mit Hilfe eines asymptotisch schnellen N-Körper-Algorithmus . 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 . Abgerufen am 24.07.2019 .
  6. ^ Eine Untersuchung der Galaxienhaufenbildung mithilfe eines asymptotisch schnellen N-Körper-Algorithmus . Andrew W. Appel, Abschlussarbeit, Princeton University, 1981.
  7. ^ „TECHNOLOGIE; Bedrohung für Microsoft Windows“ , The New York Times , 2. Mai 2007
  8. ^ Andrew, Appel (14.06.2006). „Ceci n'est pas une urne“ (PDF) . Abgerufen am 22.04.2020 .
  9. ^ Jones, Richard G. (13. Februar 2007), „Klage soll Wahlsicherheit in New Jersey gewährleisten“ , The New York Times
  10. ^ Fox, Joey (18. März 2024), „Andy Kim spricht sich bei einer Anhörung vor dem Bundesgericht gegen die Abgrenzung von Landkreisen aus“ , New Jersey Globe