Nachum Dershowitz

Nachum Dershowitz is a Full Professor at the School of Computer Science, Tel Aviv University, with a career spanning institutions like the University of Illinois at Urbana-Champaign, Microsoft Research, and the Weizmann Institute. His research bridges theoretical computer science, computational logic, and digital humanities.

• Fields: Rewrite systems, termination proofs, automated reasoning, program verification, computational linguistics
• Awards: Herbrand Award (2011), Test-of-Time Award (2006), Chair in Computational Logic (2012)
• Grants: NSF, ISF, Intel, Google, Israeli Ministry of Science

His work on historical manuscript analysis combines computer vision with natural language processing, while his contributions to term rewriting systems have shaped automated deduction. He has edited volumes in logic and AI, and served as program chair for major conferences.