Nachum Dershowitz

Nachum Dershowitz
נחום דרשוביץ
Known forDershowitz–Manna ordering
AwardsHerbrand Award 2011
Scientific career
FieldsTerm rewriting
Thesis The Evolution of Programs  (1979)
Doctoral advisorZohar Manna
Websitehttp://www.cs.tau.ac.il/~nachumd/Homepage.html

Nachum Dershowitz (Hebrew: נחום דרשוביץ) 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.