b. 1951
Nachum Dershowitz is an Israeli computer scientist and logician known for his foundational work in term rewriting systems, automated theorem proving, and the axiomatization of computation. He is a professor at Tel Aviv University and has contributed significantly to the philosophy of computation, including work on the Church-Turing thesis and formalizations of algorithms.
Co-authored influential axiomatization of the Church-Turing thesis with Yuri Gurevich
Pioneered research in term rewriting systems and termination proofs
Developed calendrical calculation algorithms (with Edward Reingold)
Contributed to the philosophy and foundations of computer science
Authored 'Calendrical Calculations' and numerous papers on automated reasoning