Nachum Dershowitz is incumbent of the Chair in Computational Logic at Tel Aviv University, where he has been since 1998. His graduate degrees in applied mathematics are from the Weizmann Institute of Science. His research interests include foundations of computing, computational humanities, and computational logic. He coauthored the book, Calendrical Calculations (Cambridge University Press, 1997), with Edward Reingold, which won Choice's Outstanding Academic Title Award (2002) and is about to go into its fourth, “ultimate" edition. He is the author of The Evolution of Programs (Birkhäuser, 1983), coauthor of Calendrical Tabulations (Cambridge University Press, 2002), and editor of a dozen other volumes. 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), and was elected to Academia Europaea in 2013.
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.
Calendrical Tabulations, 1900–2200, co-authored with Edward M. Reingold, Cambridge, Cambridge University Press, 2002, 636 p.