# Joel Moses

> MIT professor (b. 1941)

**Wikidata**: [Q93129](https://www.wikidata.org/wiki/Q93129)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Joel_Moses)  
**Source**: https://4ort.xyz/entity/joel-moses

## Summary
Joel Moses was an American computer scientist and professor at the Massachusetts Institute of Technology (MIT), best known for his pioneering work in symbolic computation and the development of the Macsyma computer algebra system. His contributions significantly advanced the fields of artificial intelligence and computer science, particularly in automated theorem proving and mathematical software.

## Biography
- **Born**: 1941, Mandatory Palestine
- **Nationality**: United States
- **Education**: Ph.D. from Massachusetts Institute of Technology (advised by Marvin Minsky and Seymour Papert); attended Columbia University and Midwood High School
- **Known for**: Developing the Macsyma computer algebra system and advancing symbolic computation
- **Employer(s)**: Massachusetts Institute of Technology (MIT)
- **Field(s)**: Computer science, artificial intelligence

## Contributions
Joel Moses was a key figure in the development of Macsyma, one of the earliest computer algebra systems, which enabled symbolic mathematical computations and automated theorem proving. His work laid the foundation for modern computational mathematics tools. Moses also contributed to artificial intelligence research, particularly in symbolic reasoning and problem-solving systems. His academic leadership at MIT influenced generations of computer scientists, including notable students like Richard Fateman, Michael Genesereth, and Paul S. Wang. His research and teaching bridged theoretical computer science and practical applications in engineering and mathematics.

## FAQs
### Q: What is Joel Moses best known for?
A: Joel Moses is best known for developing the Macsyma computer algebra system, which revolutionized symbolic computation and automated mathematical reasoning.

### Q: Where did Joel Moses teach?
A: He was a professor at the Massachusetts Institute of Technology (MIT) for most of his career.

### Q: Who were Joel Moses's doctoral advisors?
A: His advisors were Marvin Minsky and Seymour Papert, both pioneers in artificial intelligence.

### Q: What awards did Joel Moses receive?
A: He was named an ACM Fellow (2009) for his work on Macsyma, and he was also a Fellow of the IEEE and the American Association for the Advancement of Science.

### Q: When did Joel Moses pass away?
A: He died on May 29, 2022, at the age of 80.

## Why They Matter
Joel Moses's work on Macsyma transformed how mathematicians and engineers perform symbolic computations, enabling automated solutions to complex mathematical problems. His research in artificial intelligence and symbolic reasoning influenced the development of modern computational tools and programming languages. As a mentor, he shaped the careers of many prominent computer scientists, ensuring his legacy in both academia and industry. Without his contributions, fields like computer algebra and automated theorem proving would lack critical foundational technologies.

## Notable For
- Developing the Macsyma computer algebra system
- Being named an ACM Fellow (2009) for contributions to symbolic computation
- Advising influential computer scientists, including Richard Fateman and Michael Genesereth
- Membership in the National Academy of Engineering and the American Academy of Arts and Sciences
- Pioneering research in artificial intelligence and symbolic reasoning

## Body
### Early Life and Education
Joel Moses was born in 1941 in Mandatory Palestine. He attended Midwood High School and later earned a Ph.D. from the Massachusetts Institute of Technology (MIT), where he was advised by Marvin Minsky and Seymour Papert, two foundational figures in artificial intelligence.

### Career at MIT
Moses spent his academic career at MIT, where he became a leading figure in computer science. His research focused on symbolic computation, leading to the creation of Macsyma, one of the first computer algebra systems. This system allowed for automated manipulation of mathematical expressions, a breakthrough in computational mathematics.

### Macsyma and Symbolic Computation
Macsyma, developed in the 1960s and 1970s, was among the earliest systems capable of performing symbolic mathematical operations. It influenced later software like Mathematica and Maple, which are widely used today. Moses's work on Macsyma earned him recognition as an ACM Fellow in 2009.

### Mentorship and Legacy
Moses advised numerous doctoral students who went on to make significant contributions to computer science, including Richard Fateman, Michael Genesereth, and Paul S. Wang. His leadership at MIT helped establish the institution as a hub for AI and symbolic computation research.

### Awards and Honors
- ACM Fellow (2009)
- IEEE Fellow
- Fellow of the American Association for the Advancement of Science
- Member of the National Academy of Engineering and the American Academy of Arts and Sciences

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Joel Moses",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "Massachusetts Institute of Technology"
  },
  "nationality": {
    "@type": "Country",
    "name": "United States"
  },
  "birthDate": "1941",
  "birthPlace": "Mandatory Palestine",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Massachusetts Institute of Technology"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Columbia University"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Midwood High School"
    }
  ],
  "knowsAbout": ["Computer Science", "Artificial Intelligence", "Symbolic Computation"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q625917",
    "https://en.wikipedia.org/wiki/Joel_Moses"
  ],
  "description": "American computer scientist and MIT professor known for developing the Macsyma computer algebra system."
}

## References

1. Mathematics Genealogy Project
2. [Source](https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it)
3. International Standard Name Identifier
4. Catalog of the German National Library
5. Virtual International Authority File
6. CiNii Research
7. [Source](https://archivesspace.mit.edu/repositories/2/resources/873)
8. [Joel Moses, Institute Professor Emeritus and computer science trailblazer, dies at 80](https://news.mit.edu/2022/joel-moses-institute-professor-emeritus-dies-0531)
9. Library of Congress Control Number
10. National Library of Israel Names and Subjects Authority File