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[1]

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,.[2]

Selected publications

External links


This article is issued from Wikipedia - version of the 12/1/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.