# Andrew Appel

> Eugene Higgins Professor of computer science/Princeton University/New Jersey

**Wikidata**: [Q4756213](https://www.wikidata.org/wiki/Q4756213)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Andrew_Appel)  
**Source**: https://4ort.xyz/entity/andrew-appel

## Summary

Andrew Appel was born on January 1, 1960.[1][2] He was educated at Carnegie Mellon University.[3] His field is programming language and software engineering.[4]He has been employed by Princeton University (1986–present), Carnegie Mellon University (1983–1983), and University of Illinois Urbana–Champaign (1976–1980).[5][6][7] He is a member of the Association for Computing Machinery.[8]His awards include the SIGPLAN Distinguished Service Award and ACM Fellow.[9][10]

## Summary
Andrew Appel is an American computer scientist and the Eugene Higgins Professor of Computer Science at Princeton University. He is best known for his research in programming languages, compilers, and software engineering, as well as his contributions to the ACM and the field of computer science education.

## Biography
- **Born**: 1960
- **Nationality**: United States
- **Education**: Ph.D. in Computer Science from Carnegie Mellon University
- **Known for**: Research in programming languages, compilers, and software engineering
- **Employer(s)**: Princeton University (since 1986), Carnegie Mellon University (1983), University of Illinois Urbana–Champaign (1976–1980)
- **Field(s)**: Computer Science, Programming Languages, Software Engineering

## Contributions
Andrew Appel has made significant contributions to the field of computer science, particularly in programming languages and compilers. His work includes the development of the Standard ML of New Jersey compiler, which is widely used in both academic and industrial settings. He has also authored several influential books, including "Modern Compiler Implementation in ML" and "Compiling with Continuations," which are standard references in the field. Appel's research has focused on the formal verification of software and hardware, contributing to the advancement of reliable and secure computing systems. Additionally, he has supervised numerous Ph.D. students who have gone on to make their own significant contributions to computer science.

## FAQs
### Q: What is Andrew Appel known for?
A: Andrew Appel is known for his research in programming languages, compilers, and software engineering. He is particularly recognized for his work on the Standard ML of New Jersey compiler and his contributions to the formal verification of software and hardware.

### Q: Where does Andrew Appel work?
A: Andrew Appel is the Eugene Higgins Professor of Computer Science at Princeton University, where he has been employed since 1986.

### Q: What awards has Andrew Appel received?
A: Andrew Appel has received several awards, including the SIGPLAN Distinguished Service Award in 2002 and being named an ACM Fellow in 1998 for his significant research contributions in programming languages and compilers.

### Q: Who were Andrew Appel's doctoral advisors?
A: Andrew Appel's doctoral advisors were Ravi Sethi and Merrick Lee Furst.

### Q: What books has Andrew Appel written?
A: Andrew Appel has authored several influential books, including "Modern Compiler Implementation in ML" and "Compiling with Continuations."

## Why They Matter
Andrew Appel's work has had a profound impact on the field of computer science, particularly in the areas of programming languages and compilers. His development of the Standard ML of New Jersey compiler has been instrumental in both academic research and industrial applications. Appel's research on formal verification has contributed to the advancement of reliable and secure computing systems, influencing both current practices and future directions in software engineering. His mentorship of numerous Ph.D. students has also had a lasting impact, as many of his students have gone on to become leaders in the field of computer science.

## Notable For
- Eugene Higgins Professor of Computer Science at Princeton University
- Developer of the Standard ML of New Jersey compiler
- Author of influential books on compilers and programming languages
- Recipient of the SIGPLAN Distinguished Service Award (2002)
- ACM Fellow (1998)

## Body
### Early Life and Education
Andrew Appel was born in 1960. He earned his Ph.D. in Computer Science from Carnegie Mellon University, where he was advised by Ravi Sethi and Merrick Lee Furst.

### Career
Appel began his academic career at the University of Illinois Urbana–Champaign from 1976 to 1980. He then moved to Carnegie Mellon University in 1983 before joining Princeton University in 1986, where he has been the Eugene Higgins Professor of Computer Science since.

### Research and Contributions
Appel's research focuses on programming languages, compilers, and software engineering. He is best known for developing the Standard ML of New Jersey compiler, which is widely used in both academic and industrial settings. His work on formal verification has contributed to the advancement of reliable and secure computing systems.

### Awards and Honors
Appel has received several awards for his contributions to computer science, including the SIGPLAN Distinguished Service Award in 2002 and being named an ACM Fellow in 1998.

### Publications
Appel has authored several influential books, including "Modern Compiler Implementation in ML" and "Compiling with Continuations," which are standard references in the field of computer science.

### Mentorship
Appel has supervised numerous Ph.D. students, many of whom have gone on to make significant contributions to the field of computer science. Notable students include Zhong Shao, Dinghao Wu, and Lujo Bauer.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Andrew Appel",
  "jobTitle": "Eugene Higgins Professor of Computer Science",
  "worksFor": {"@type": "Organization", "name": "Princeton University"},
  "nationality": {"@type": "Country", "name": "United States"},
  "birthDate": "1960",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Carnegie Mellon University"}],
  "knowsAbout": ["Programming Languages", "Compilers", "Software Engineering"],
  "sameAs": ["https://www.wikidata.org/wiki/Q4756130", "https://en.wikipedia.org/wiki/Andrew_Appel"],
  "description": "Andrew Appel is an American computer scientist and the Eugene Higgins Professor of Computer Science at Princeton University, known for his research in programming languages, compilers, and software engineering."
}

## References

1. BnF authorities
2. Mathematics Genealogy Project
3. Personal Authority Wikibase of the Czech Republic
4. [ORCID Public Data File 2024](https://pub.orcid.org/v3.0/0000-0001-6009-0325/employment/9667742)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-6009-0325/employment/20641794)
6. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-6009-0325/employment/20641803)
7. [Source](https://www.sigplan.org/Awards/Service/#2002_Andrew_Appel)
8. [Source](https://awards.acm.org/award_winners/appel_2115301#158)
9. International Standard Name Identifier
10. Virtual International Authority File
11. [Source](https://awards.acm.org/fellows/award-recipients)
12. SNAC
13. NUKAT
14. National Library of Israel Names and Subjects Authority File