Home / Publications / Nachum Dershowitz

Publications

Nachum Dershowitz

Professeur
Tel Aviv University
Machine Learning Tools for Historical Documents
01 October 2015 - 30 June 2016
Physics and mathematics
FacebookTwitter

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.

Research interests

Foundations of computing; computational humanities; computational logic.

Key publications

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
01 Jul 2016 10:00 -
01 Jul 2016 11:00,
Paris :
Nachum Dershowitz received the Springer Best Paper Award
Lecture by N. Dershowitz (Paris IAS fellow)
16 Jun 2016 17:00 -
16 Jun 2016 19:00,
Paris :
Calendrical Calculations
Communication de N. Dershowitz (résident de l'IEA de Paris)
07 Jun 2016 17:00 -
07 Jun 2016 18:00,
Jerusalem :
Yaacov Choueka’s Contributions to the Digitization of Jewish Studies
Workshop organized by N. Dershowitz (Paris IAS fellow), G. Kucherov (CNRS), E. Reyes Garcia (Paris 8) and D. Stökl Ben Ezra (EPHE)
24 May 2016 09:00 -
24 May 2016 18:30,
Paris :
Symposium on Software and Digital Humanities II
Communication de N. Dershowitz (résident de l'IEA de Paris)
20 May 2016 10:30 -
20 May 2016 12:00,
Paris :
Formalizing Computation
Atelier organisé par Nachum Dershowitz, résident de l'IEA de Paris
14 Feb 2016 10:00 -
18 Feb 2016 18:00,
Lotan :
Hackathon in the Arava
Communication de Nachum Dershowitz, résident de l'IEA de Paris
28 Jan 2016 00:45 -
28 Jan 2016 13:45,
Chicago :
Ada and Computation
Communication de N. Dershowitz, résident de l'IEA de Paris
25 Jan 2016 11:15 -
Jerusalem :
Proving the Church-Turing Thesis
Table ronde organisée par Gretty Mirdal, directrice de l'IEA de Paris
02 Dec 2015 14:15 -
02 Dec 2015 16:20,
Paris :
Celebrating Ada Byron Lovelace. Computing and Humanities
Conférence de Nachum Dershowitz, résident de l'IEA de Paris
30 Nov 2015 14:25 -
30 Nov 2015 14:25,
Paris :
Computational manuscriptology
Atelier organisé par Warren Sack et Nachum Dershowitz, résidents à l'IEA de Paris
04 Nov 2015 09:00 -
04 Nov 2015 18:00,
Paris :
Software and the Digital Humanities
Communication de Nachum Dershowitz, résident de l'IEA de Paris, dans le cadre du workshop "Algorithms and Applications" dédié à Edward Reingold
12 Oct 2015 09:00 -
12 Oct 2015 18:00,
Chicago :
Why calendars?
Round table organized by Gretty Mirdal, director of Paris IAS
506
2015-2016
Contemporary period (1789-…)
World or no region
nachum@tau.ac.il