Nachum Dershowitz - Curriculum Vitae#

  • 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


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
Imprint Privacy policy « This page (revision-2) was last changed on Thursday, 24. October 2013, 16:04 by Kaiser Dana
  • operated by