Nachum Dershowitz is incumbent of the Chair in Computational Logic at Tel Aviv University, where he has been since 1998. He is the author of numerous books and articles. His graduate degrees in applied mathematics are from the Weizmann Institute of Science.
He is area editor for the Journal of the ACM and has received the Herbrand Award for Distinguished Contributions to Automated Reasoning (2011), the Logic in Computer Science Test-of-Time Award (2006), the Rewriting Techniques and Applications Test-of-Time Award (2014) and the Thoralf Skolem Award (2015). He was elected to Academia Europaea in 2013.
Foundations of computing; computational humanities; computational logic.
The Evolution of Programs, Birkhäuser, 1983.
Calendrical Tabulations (co-author) Cambridge University Press, 2002.
Calendrical Calculations (Cambridge University Press, 1997), co-author Edward Reingold, Winner of the Choice's Outstanding Academic Title Award (2002), 4th ultimate edition forthcoming.
The goal is to devise algorithms that will be employed in the development of a tool suite for the analysis of historical texts. Such a computational humanities toolbox for textual research will include components for word and letter spotting in images of manuscripts, alignment of transcriptions words with words in images, tools for paleographic analysis, a tool for reconstruction of the text in a manuscript, and methods to learn orthographic and lexical variations from parallel texts. The tools we will be working on will be made freely available and will impact textual studies across the board, including those in classical and European languages.