# Nachum Dershowitz

> Israeli computer scientist

**Wikidata**: [Q18209412](https://www.wikidata.org/wiki/Q18209412)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Nachum_Dershowitz)  
**Source**: https://4ort.xyz/entity/nachum-dershowitz

## Summary
Nachum Dershowitz is an Israeli computer scientist known for his contributions to theoretical computer science, particularly in automated reasoning, term rewriting systems, and calendrical algorithms. He is a professor affiliated with Tel Aviv University and the University of Illinois Urbana–Champaign, and his work has significantly advanced the field of computer science.

## Biography
- **Born**: 1951
- **Nationality**: Israel
- **Education**: Bar-Ilan University, Weizmann Institute of Science
- **Known for**: Contributions to computer science, including automated reasoning and calendrical calculations
- **Employer(s)**: University of Illinois Urbana–Champaign, Tel Aviv University
- **Field(s)**: Computer science

## Contributions
Nachum Dershowitz has made significant contributions to computer science, particularly in the areas of automated reasoning and term rewriting systems. He co-authored the book *Calendrical Calculations*, which provides algorithms for converting between various calendar systems. His work in term rewriting systems has been foundational in the development of automated theorem proving and program verification. Dershowitz has also supervised numerous doctoral students, contributing to the education and development of future computer scientists. His research has been widely cited and has influenced both theoretical and practical aspects of computer science.

## FAQs
### Q: What is Nachum Dershowitz known for?
A: Nachum Dershowitz is known for his work in computer science, particularly in automated reasoning, term rewriting systems, and calendrical algorithms. He co-authored the influential book *Calendrical Calculations*.

### Q: Where does Nachum Dershowitz work?
A: Nachum Dershowitz is affiliated with Tel Aviv University and the University of Illinois Urbana–Champaign.

### Q: What awards has Nachum Dershowitz received?
A: Nachum Dershowitz received the Herbrand Award in 2011 for his contributions to automated reasoning.

### Q: Who was Nachum Dershowitz's doctoral advisor?
A: Nachum Dershowitz's doctoral advisor was Zohar Manna, a renowned computer scientist.

### Q: What is *Calendrical Calculations* about?
A: *Calendrical Calculations* is a book co-authored by Nachum Dershowitz that provides algorithms for converting between various calendar systems, such as the Gregorian, Hebrew, and Islamic calendars.

## Why They Matter
Nachum Dershowitz's work has had a lasting impact on the field of computer science, particularly in automated reasoning and term rewriting systems. His research has advanced the theoretical foundations of these areas, leading to practical applications in program verification and automated theorem proving. The book *Calendrical Calculations* has become a standard reference for algorithms related to calendar conversions, used in both academic and industrial settings. His mentorship of doctoral students has also contributed to the growth of the computer science community, ensuring the continuation of his influence in the field.

## Notable For
- Co-author of *Calendrical Calculations*, a seminal work on calendar algorithms.
- Recipient of the Herbrand Award in 2011 for contributions to automated reasoning.
- Member of Academia Europaea since 2013.
- Doctoral advisor to numerous influential computer scientists.
- Significant contributions to term rewriting systems and automated theorem proving.

## Body
### Early Life and Education
Nachum Dershowitz was born in 1951. He pursued his education at Bar-Ilan University and the Weizmann Institute of Science, where he developed a strong foundation in computer science.

### Academic Career
Dershowitz has held positions at prestigious institutions, including the University of Illinois Urbana–Champaign and Tel Aviv University. His research has focused on automated reasoning, term rewriting systems, and calendrical algorithms.

### Research Contributions
Dershowitz's work in term rewriting systems has been instrumental in advancing automated theorem proving and program verification. His book *Calendrical Calculations*, co-authored with Edward M. Reingold, provides comprehensive algorithms for converting between various calendar systems, making it a valuable resource for both researchers and practitioners.

### Awards and Recognition
In 2011, Dershowitz received the Herbrand Award for his outstanding contributions to automated reasoning. He is also a member of Academia Europaea, recognizing his significant impact on the field of computer science.

### Mentorship and Influence
Dershowitz has supervised numerous doctoral students, including Charles Glen Hoot, Subrata Mitra, Mitchell Alan Harris, Norman Alan Josephson, Jieh Hsiang, Naomi Lindenstrauss, Leo Bachmair, G Sivakumar, Yuh-jeng Lee, and Alexander Alex Nadel. His mentorship has contributed to the development of future generations of computer scientists.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Nachum Dershowitz",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "University of Illinois Urbana–Champaign"},
    {"@type": "Organization", "name": "Tel Aviv University"}
  ],
  "nationality": {"@type": "Country", "name": "Israel"},
  "birthDate": "1951",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Bar-Ilan University"},
    {"@type": "EducationalOrganization", "name": "Weizmann Institute of Science"}
  ],
  "knowsAbout": ["Computer Science", "Automated Reasoning", "Term Rewriting Systems", "Calendrical Algorithms"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q69652498",
    "https://en.wikipedia.org/wiki/Nachum_Dershowitz"
  ],
  "description": "Israeli computer scientist known for contributions to automated reasoning, term rewriting systems, and calendrical algorithms."
}

## References

1. Mathematics Genealogy Project
2. [12th EAJS Congress programme](https://eajs-2023.eu/139582555/eajs-2023-programme-pdf.pdf)
3. Virtual International Authority File
4. [Source](https://www.ae-info.org/ae/User/Dershowitz_Nachum)