Nachum Dershowitz | |
|---|---|
| Known for | Dershowitz–Manna ordering |
| Awards | Herbrand Award 2011[1] |
| Scientific career | |
| Fields | Term rewriting |
| Thesis | The Evolution of Programs (1979) |
| Doctoral advisor | Zohar Manna |
| 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 and the multiset path ordering used to prove termination of term rewrite systems.