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
