!!Nachum Dershowitz - Curriculum Vitae
\\
__Education:__ 
\\
*B.Sc. 1974 Computer Science–Applied Mathematics, summa cum laude, Bar-Ilan University\\
*Ph.D. 1979 Applied Mathematics, Weizmann Institute of Science
\\
__Academic appointments:__ 
\\
*1978-1998: Department of Computer Science, University of Illinois at Urbana-Champaign\\
*1998-: Full professor, School of Computer Science, Tel Aviv University\\
*Visiting positions at Stanford University, University of Illinois, Weizmann Institute, INRIA, Univ. de Paris Orsay, Hebrew University, University of Chicago, ENS Cachan, Microsoft Research, Tsinghua University
\\
__Selected professional activities:__ 
\\
*Program Chair: IEEE Symp. on Logic in Computer Science; Intl. Conf. on Unconventional Computation; Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning; Bar-Ilan International Symposium on the Foundations of Artificial Intelligence; Intl. Conf. on Rewriting Techniques and Applications; Intl. Workshop on Rule-Based Programming\\
*Editorships: Journal of the ACM; Ganita Bharati: Bulletin of the Indian Society for History of Mathematics\\
*Founder: IFIP WG1.6 on Term Rewriting\\
*Directorships: Automated Deduction and Programming Laboratory (Dept. of Computer Science, University of Illinois); International School for the Synthesis of Expert Knowledge (Udine, Italy); KEDMA--Project in computational linguistics (Bar-Ilan University)\\
*Keynote and Invited Lectures: Intl. Conference on Computer Science Logic (2013); Intl. Joint Conference on Automated Reasoning (2008);  International Logic Programming Symposium (1995), IEEE Symposium on Logic in Computer Science (1990); Intl. Conf. on Rewriting Techniques and Applications (1985); and others\\
*Referee for over 70 journals, conferences, and granting organizations
\\
__Publications:__ 
\\ \\
3 books; 8 edited volumes; 7 book chapters; 2 encyclopedia entries; 1 book review; over 60 journal articles; about 100 refereed conference papers. 
\\ \\
Grants from the US National Science Foundation, Israel Science Foundation, Intel, Google, Ministry of Science