Nachum Dershowitz#
| Membership Number: | 3477 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | ISRAEL |
| Homepage(s): | 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
