!!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