!!!Nachum Dershowitz [{AcadMemberDataPlugin}] \\%%(margin-left:23px;) %% \\ \\ __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__ [{AcadMemberFOScholarshipPlugin}] \\ __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 \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Dershowitz_Nachum/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Dershowitz_Nachum/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Dershowitz_Nachum/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Dershowitz_Nachum/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit ndershowitz}] [{ALLOW upload ndershowitz}] [{ALLOW comment All}]