Nachum Dershowitz

Nachum Dershowitz
Fields	Term rewriting
Thesis	The Evolution of Programs (1979)
Doctoral advisor	Zohar Manna
Doctoral students	Leo Bachmair, Kfir Bar, Udi Boker, Jenny Falkovich, Mitchell Harris, Charles Hoot, Jieh Hsiang, Norman Josephson, Yuh-jeng Lee, Naomi Lindenstrauss, Subrata Mitra, Alexander Nadel, G Sivakumar, Iddo Tzameret (co-supervised with Ran Raz)
Known for	Dershowitz–Manna ordering
Notable awards	Herbrand Award 2011
Website http://www.cs.tau.ac.il/~nachumd/Homepage.html

Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna 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, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science. Since 1978, he worked at Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing,.