Prof. Nachum Dershowitz
Professor, the School of Computer Science, Tel Aviv University, Israel
Nachum Dershowitz is a Professor of the School of Computer Science at Tel Aviv University, Israel. His research interests include theoretical computing, artificial intelligence, programming languages, software engineering, computational humanities, analysis of historical manuscripts and electronic commerce. In recent years, Prof. Dershowitz has devoted to the development and research of computerized tools for analyzing historical manuscripts. He was involved in numerous research projects, including the Responsa Project
, and the Friedberg Genizah Project
Prof. Dershowitz was a Visiting Researcher at Microsoft Research, Redmond, WA, USA in 2007 Spring and 2008 Spring, and a Visiting Professor at Tsinghua University, Beijing, China in 2012. He is a member of IEEE Symposium on Logic in Computer Science (LICS, http://lics.rwth-aachen.de/index.html
), and a member of the review committees of the Dan David Prize, a prize for individuals or institutions that have made an outstanding contribution in the fields of science arts, and humanities. Prof. Dershowitz is on the Editorial Boards of Journal of the ACM, a journal published by Association of Computing Machinery(ACM, http://www.acm.org/
) and Ganita Bharati, the Bulletin of the Indian Society for History of Mathematics (ISHM).
Prof. Dershowitz is the author of Calendrical Calculations, 3rd Edition (2008), and Calendrical Tabulations, 1900-2200 (2002). He won the Best Paper Award of IEEE Workshop on eHeritage and Digital Art Preservation, and 2011 CADE Herbrand Award for Distinguished Contributions to Automated Deduction.