Nachum Dershowitz is an Israeli computer scientist, known e.g. for the
Dershowitz–Manna ordering and the
multiset path ordering used to prove
termination of term rewrite systems.
He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from
Bar-Ilan University
Bar-Ilan University (BIU, he, אוניברסיטת בר-אילן, ''Universitat Bar-Ilan'') is a public research university in the Tel Aviv District city of Ramat Gan, Israel. Established in 1955, Bar Ilan is Israel's second-largest academi ...
, and his Ph.D. in 1979 in Applied Mathematics from the
Weizmann Institute of Science
The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...
.
From 1978, he worked at the Department of Computer Science of the
University of Illinois at Urbana-Champaign
The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univ ...
, until he became a
full professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors ...
of the
Tel Aviv University
Tel Aviv University (TAU) ( he, אוּנִיבֶרְסִיטַת תֵּל אָבִיב, ''Universitat Tel Aviv'') is a public research university in Tel Aviv, Israel. With over 30,000 students, it is the largest university in the country. Locate ...
(School of Computer Science) in 1998.
He was a guest researcher at
Weizmann Institute
The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli univ ...
,
INRIA
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics.
It was created under the name ''Institut de recherche en informatiq ...
,
ENS Cachan,
Microsoft Research
Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technologi ...
, and the universities of
Stanford
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is considere ...
,
Paris
Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. S ...
,
Jerusalem
Jerusalem (; he, יְרוּשָׁלַיִם ; ar, القُدس ) (combining the Biblical and common usage Arabic names); grc, Ἱερουσαλήμ/Ἰεροσόλυμα, Hierousalḗm/Hierosóluma; hy, Երուսաղեմ, Erusałēm. i ...
,
Chicago
(''City in a Garden''); I Will
, image_map =
, map_caption = Interactive Map of Chicago
, coordinates =
, coordinates_footnotes =
, subdivision_type = Country
, subdivision_name ...
, and
Beijing
}
Beijing ( ; ; ), alternatively romanized as Peking ( ), is the capital of the People's Republic of China. It is the center of power and development of the country. Beijing is the world's most populous national capital city, with over 21 ...
. He received the
Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important cont ...
for Distinguished Contributions to Automatic Reasoning in 2011.
He has co-authored the standard text on calendar algorithms, ''
Calendrical Calculations
''Calendrical Calculations'' is a book on calendar systems and algorithms for computers to convert between them. It was written by computer scientists Nachum Dershowitz and Edward Reingold and published in 1997 by the Cambridge University Press. A ...
'', with
Edward Reingold.
[Review of ''Calendrical Calculations'' by N. M. Swerdlow (1998), '']IEEE Annals of the History of Computing
The ''IEEE Annals of the History of Computing'' is a quarterly peer-reviewed academic journal published by the IEEE Computer Society. It covers the history of computing, computer science, and computer hardware. It was founded in 1979 by the AFIP ...
'' 20 (3): 78, . A
implementation of the algorithmin
Common Lisp
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ''ANSI INCITS 226-1994 (S20018)'' (formerly ''X3.226-1994 (R1999)''). The Common Lisp HyperSpec, a hyperlinked HTML version, has been derived fro ...
is put into the public domain, and is also distributed with the book.
See also
*
New Moon
In astronomy, the new moon is the first lunar phase, when the Moon and Sun have the same ecliptic longitude. At this phase, the lunar disk is not visible to the naked eye, except when it is silhouetted against the Sun during a solar eclipse.
...
*
Lunisolar calendar
A lunisolar calendar is a calendar in many cultures, combining lunar calendars and solar calendars. The date of Lunisolar calendars therefore indicates both the Moon phase and the time of the solar year, that is the position of the Sun in the ...
Selected publications
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
* Dershowitz, Nachum and
Reingold, Edward M., ''
Calendrical Calculations
''Calendrical Calculations'' is a book on calendar systems and algorithms for computers to convert between them. It was written by computer scientists Nachum Dershowitz and Edward Reingold and published in 1997 by the Cambridge University Press. A ...
'', Cambridge University Press, , 1997
*
*
*
*
*
* Dershowitz, Nachum 2005.
The Four Sons of Penrose', in ''Proceedings of the Eleventh Conference on
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR; Jamaica)'', G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125–138.
References
External links
Publicationsat
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...
Home pageNachum Dershowitzat the
Mathematics Genealogy Project
The Mathematics Genealogy Project (MGP) is a web-based database for the academic genealogy of mathematicians.. By 31 December 2021, it contained information on 274,575 mathematical scientists who contributed to research-level mathematics. For a ty ...
* Video
The Church-Turing Thesis, Nachum Dershowitz on Sixth Israel CS Theory Day, Mar 13, 2013
Israeli computer scientists
Theoretical computer scientists
Living people
Year of birth missing (living people)
{{compu-bio-stub