!!!Nachum Dershowitz
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://nachum.org]
 \\%%(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__
* 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
\\
%%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}]