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.
Award received by N. Dershowitz, Paris IAS fellow
Communication de N. Dershowitz (résident de l'IEA de Paris)
Workshop organized by N. Dershowitz (Paris IAS fellow), G. Kucherov (CNRS), E. Reyes Garcia (Paris 8) and D. Stökl Ben Ezra (EPHE)
Atelier organisé par Nachum Dershowitz, résident de l'IEA de Paris
Communication de N. Dershowitz, résident de l'IEA de Paris
Table ronde organisée par Gretty Mirdal, directrice de l'IEA de Paris
Conférence de Nachum Dershowitz, résident de l'IEA de Paris
Atelier organisé par Warren Sack et Nachum Dershowitz, résidents à l'IEA de Paris
Communication de Nachum Dershowitz, résident de l'IEA de Paris, dans le cadre du workshop "Algorithms and Applications" dédié à Edward Reingold
Round table organized by Gretty Mirdal, director of Paris IAS