Business Address:

Connections:

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





Of Interest:

World Calendars

Calendar Applet

Rewriting Page

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

Activities:

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 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 Seminar in Natural Language Processing and Computational Linguistics Scientific Writing Research Seminar Rewriting Internet Search (Workshop) Calendrical Calculations (Workshop) Methods and Formal Models Program Verification Termination Seminar on Rewriting Discrete Mathematics Software Errors

Other Interests:

My Family

Astronomy

Maimonides

Jerusalem

Paris