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.
Education and career
He obtained his B.Sc., ''
summa cum laude
Latin honors are a system of Latin phrases used in some colleges and universities to indicate the level of distinction with which an academic degree has been earned. The system is primarily used in the United States. It is also used in some Sout ...
'', in 1974 in computer science and applied mathematics from
Bar-Ilan University
Bar-Ilan University (BIU, , ''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 academic university institution. It has 20,000 ...
, and his Ph.D. in 1979 in Applied Mathematics from the
Weizmann Institute of Science
The Weizmann Institute of Science ( ''Machon Weizmann LeMada'') is a Public university, public research university in Rehovot, Israel, established in 1934, fourteen years before the State of Israel was founded. Unlike other List of Israeli uni ...
.
From 1978, he worked at the Department of Computer Science of the
University of Illinois at Urbana-Champaign
The University of Illinois Urbana-Champaign (UIUC, U of I, Illinois, or University of Illinois) is a public land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United States. Established in 1867, it is the f ...
, and was hired as 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) is a Public university, public research university in Tel Aviv, Israel. With over 30,000 students, it is the largest university in the country. Located in northwest Tel Aviv, the university is the center of teaching and ...
(School of Computer Science) in 1998.
He was a guest researcher at
Weizmann Institute
The Weizmann Institute of Science ( ''Machon Weizmann LeMada'') is a Public university, public research university in Rehovot, Israel, established in 1934, fourteen years before the State of Israel was founded. Unlike other List of Israeli uni ...
,
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 French Institute for Research in Comp ...
,
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
Leland Stanford Junior University, commonly referred to as Stanford University, is a private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth governor of and th ...
,
Paris
Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...
,
Jerusalem
Jerusalem is a city in the Southern Levant, on a plateau in the Judaean Mountains between the Mediterranean Sea, Mediterranean and the Dead Sea. It is one of the List of oldest continuously inhabited cities, oldest cities in the world, and ...
,
Chicago
Chicago is the List of municipalities in Illinois, most populous city in the U.S. state of Illinois and in the Midwestern United States. With a population of 2,746,388, as of the 2020 United States census, 2020 census, it is the List of Unite ...
, and
Beijing
Beijing, Chinese postal romanization, previously romanized as Peking, is the capital city of China. With more than 22 million residents, it is the world's List of national capitals by population, most populous national capital city as well as ...
. He received the
Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011.
He has co-authored the standard text on calendar algorithms, ''
Calendrical Calculations'', 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 Ame ...
'' 20 (3): 78, . A
implementation of the algorithmin
Common Lisp
Common Lisp (CL) is a dialect of the Lisp programming language, published in American National Standards Institute (ANSI) standard document ''ANSI INCITS 226-1994 (S2018)'' (formerly ''X3.226-1994 (R1999)''). The Common Lisp HyperSpec, a hyperli ...
is in 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, that combines monthly lunar cycles with the solar year. As with all calendars which divide the year into months, there is an additional requirement that the year have a whole number of mont ...
Selected publications
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
* Dershowitz, Nachum and
Reingold, Edward M., ''
Calendrical Calculations'', 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
Home page* Video
The Church-Turing Thesis, Nachum Dershowitz on Sixth Israel CS Theory Day, Mar 13, 2013
*
*
Israeli theoretical computer scientists
Living people
Year of birth missing (living people)
{{compu-bio-stub