Nachum Dershowitz#

Email:nachum 'at' tau.ac.il
Membership Number:3477
Membership type:ORDINARY
Main Country of Residence:ISRAEL
Section:INFORMATICS
Username:ndershowitz
Homepage: http://nachum.org


Present and Previous Positions
  • 1998 - present Full Professor, School of Computer Science, Tel Aviv University, Israel
  • 2012 Spring Visiting Professor, Tsinghua University, Beijing, China
  • 2008 Spring and 2007, Spring, Visiting Researcher , Microsoft Research, Redmond, WA, USA
  • 1994 - 1999 Visiting Professor, University of Chicago, USA
  • 1997 Spring Professor Invité, Université Paris-Sud, Paris, France
  • 1990 - 1998 Full Professor, Department of Computer Science, University of Illinois at Urbana-Champaign, USA
  • 1993 Spring, Meyerhoff Visiting Fellow, Department of Applied Mathematics, Weizmann Institute, Rehovot, Israel
  • 1992 Autumn, Lady Davis Visiting Professor, Department of Computer Science, Hebrew University, Jerusalem, Israel
  • 1979 - 1990 Assistant and Associate Professor, Department of Computer Science, University of Illinois at Urbana-Champaign, USA

Fields of Scholarship
  • Rewrite systems
  • Termination proofs
  • Automated reasoning
  • Program verification
  • Church-Turing thesis
  • Analysis of historical manuscripts
  • Natural language processing
  • Calendar algorithms

Honours and Awards
  • 2012 Incumbent, Chair in Computational Logic, Tel Aviv University
  • 2011 Herbrand Award for Distinguished Contributions to Automated Deduction, International Conference on Automated Deduction (CADE), Association for Automated Reasoning
  • 2009 Best Paper Award, IEEE Workshop on eHeritage and Digital Art Preservation
  • 2006 Test-of-Time Award, IEEE International Symposium on Logic in Computer Science
  • 2002 Choice's Outstanding Academic Title Award for Calendrical Calculations
  • 1998 Guastalla Fellowship, Tel Aviv University
  • 1993 Meyerhoff Visiting Fellowship, Weizmann Institute
  • 1992 Lady Davis Fellowship, Hebrew University
  • 1992 Incomplete List of Instructors Ranked Excellent by their Students, University of Illinois
  • 1991 Incomplete List of Instructors Ranked Excellent by their Students, University of Illinois
  • 1986 Xerox Faculty Award for Excellence in Engineering Research, Engineering College, University of Illinois
  • 1986 Beckman Associate Fellowship, Center for Advanced Study, University of Illinois
  • 1975 Computer Science Award Feinberg Graduate School, Weizmann Institute of Science

Imprint Privacy policy « This page (revision-6) was last updated on Thursday, 24. October 2013, 16:02 by Kaiser Dana
  • operated by