Andrew Appel - Andrew Appel
André Appel | |
|---|---|
.jpg) Andrew Appel en 2006
| |
| Née | 1960 |
| Parents) | |
Andrew Wilson Appel (né en 1960) est le professeur Eugene Higgins d' informatique à l'Université de Princeton . Il est particulièrement connu pour ses livres de compilation , la série Modern Compiler Implementation in ML ( ISBN 0-521-58274-1 ), ainsi que Compiling With Continuations ( ISBN 0-521-41695-7 ). Il est également un contributeur majeur au compilateur Standard ML of New Jersey , avec David MacQueen , John H. Reppy , Matthias Blume et d'autres et l'un des auteurs de Rog-O-Matic .
Biographie
Andrew Appel est le fils du mathématicien Kenneth Appel , qui a prouvé le théorème des quatre couleurs en 1976. Appel a obtenu un baccalauréat avec distinction en physique de l'Université de Princeton en 1981 après avoir terminé une thèse de niveau supérieur, intitulée « Investigation of galaxy clustering using a asymptotically algorithme rapide à N corps", sous la supervision du lauréat du prix Nobel James Peebles . Il a ensuite obtenu un doctorat. (informatique) à l'Université Carnegie-Mellon , en 1985. Il est devenu ACM Fellow en 1998, en raison de ses recherches sur les langages de programmation et les compilateurs .
En 1981, Appel a développé une meilleure approche du problème à n corps en temps linéaire plutôt qu'en temps quadratique.
De juillet 2005 à juillet 2006, il a été chercheur invité à l' Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt , France , en congé sabbatique de l'Université de Princeton.
Andrew Appel fait campagne sur des questions liées à l'interaction du droit et de la technologie informatique. Il a témoigné dans la phase de sanction de l' affaire antitrust de Microsoft en 2002. Il s'oppose à l'introduction de certaines machines à voter informatisées , qu'il jugeait peu fiables. En 2007, il a attiré l'attention lorsqu'il a acheté un certain nombre de machines à voter dans le but d'enquêter sur leur sécurité.
Les références
- ^ Équipe SML/NJ
- ^ "In Memoriam: Kenneth Appel" . math.illinois.edu . Récupéré le 2020-09-07 .
- ^ https://catalog.princeton.edu/catalog/4122345
- ^ "Andrew W. Appel" . prix.acm.org . Récupéré le 2019-07-24 .
- ^ Une enquête sur le regroupement de galaxies à l'aide d'un algorithme à N-corps asymptotiquement rapide . Andrew W. Appel, thèse principale, Université de Princeton, 1981.
- ^ "TECHNOLOGIE ; La menace est vue pour Microsoft Windows" , The New York Times , 2 mai 2007
- ^ Andrew, Appel (2006-06-14). "Ceci n'est pas une urne" (PDF) . Récupéré le 2020-04-22 .
- ^ Jones, Richard G. (13 février 2007), "Le costume cherche à assurer la sécurité des bulletins de vote dans le New Jersey" , The New York Times
Liens externes
