Nachum Dershowitz
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 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,.Selected publications
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Dershowitz, Nachum and Reingold, Edward M., Calendrical Calculations, Cambridge University Press,, 1997
-
-
-
-
-
- Dershowitz, Nachum 2005. , in Proceedings of the Eleventh Conference on Logic for Programming, Artificial Intelligence, and Reasoning , G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125–138.
