Business Address:

School of Computer Science Tel Aviv University Ramat Aviv, Tel Aviv 69978 Israel Tel.: [+972] (03) 640-5356 Fax.: [+972] (03) 640-5948 E-mail: nachumd@tau.ac.il

Connections:

	Colleagues at Tel-Aviv University		Laboratory for Logic
	Rewriting Community		Researchers in Rewriting
	Collaboration with INRIA Lorraine		Consult for Transformer, Ltd.
	Visitor at University of Chicago		Visitor at Hebrew University
	Resigned from University of Illinois		Left Celebros, Ltd.
	Computer Science Genealogy		Mathematics Genealogy
	Artificial Intelligence Genealogy		Software Engineering Genealogy
	Zohar Manna's Genealogy		Students
	Co-authors		Erdős Connection
	ResearchIndex Most-cited Papers In logic In theorem proving		ResearchIndex Most-cited Authors
	Schulamith Halevy's Home Page		Fun



Of Interest:

World Calendars

Calendar Converter

Rewriters United

Software Horrors



Areas of Research:

Rewrite Systems
Artificial Intelligence: Automatic Programming; Automated Reasoning
Programming Languages: Functional; Logic-based; Equational
Software Engineering: Calendar Algorithms; Program Verification; Program Transformation
Theoretical Computing: Theorem Proving; Logic
Information Retrieval and Natural Language Processing: Electronic Commerce;
Machine Translation

Activities:

International Conference on Logic for Programming, Artificial Intelligence and Reasoning International Conference on Language and Automata Theory and Applications Boaz (Boris) Trakhtenbrot's Eighty-Fifth Birthday Research Seminar Logic and Computer Science Semester at Tel-Aviv International Conference on Logic Programming International Joint Conference on Automated Reasoning International Symposium in Honor of Zohar Manna International Conference on Rewriting Techniques and Applications Federated Logic Conference IEEE Symposium on Logic in Computer Science International Workshop on Rule-Based Programming International Workshop on Termination Bar-Ilan International Symposium on the Foundations of Artificial Intelligence IFIP Working Group 1.6 - Term Rewriting Construction of Computational Logics Working Group Journée en l'honneur de Zohar Manna Symposium in Honor of Bruno Buchberger Logic Day at Tel-Aviv Theoretical Computer Science Day at Tel-Aviv List of Open Problems

Publications Books Publication List Old Topical List Computer Science Bibliography (DBLP) ACM Portal Web Citations (CiteSeer) Library of Congress Holdings Google Scholar Reviews Bibliographic Files Citation Index

Software Propositional SATisfiability Prolog Termination Calendar Software Software Repository Rewriting Applets Combinatorial Objects Discrete Math Applets Responsa Project Patents

Course Materials Computational Models Scientific Writing Research Seminar Seminar in Natural Language Processing and Computational Linguistics Seminar on Rewriting Rewriting Methods and Formal Models Program Verification Termination Internet Search (Workshop) Calendrical Calculations (Workshop) Discrete Mathematics Software Errors

Other Interests:

My Family

Astronomy

Maimonides

Jerusalem

Paris