Colleagues at Tel Aviv University

Laboratory for Logic

Rewriting Community

Researchers in Rewriting


Collaboration with INRIA

Visitor at University of Chicago

Visitor at Microsoft Research

Visitor at Hebrew University

Resigned from University of Illinois


Friedberg Genizah Project

Responsa Project (winner of Israel Prize)


Genealogies

  1. ‣ Computer Science

  2. ‣ Mathematics

  3. ‣ Artificial Intelligence

  4. ‣ Software Engineering

  5. ‣ Zohar Manna's Genealogy


Students

Co-authors

Co-author Graph

Erdős Connection

Natalie Portman Connection

ResearchIndex Most Cited Authors

ResearchIndex Most Cited Papers; as of 2001; in 1990; in logic; in theorem proving

ResearchIndex Most Cited Citations

Schulamith Halevy's Home Page

Erga Design

Idan Dershowitz

Zecharia Dor-Shav [= Zachary Dershowitz] (Dissertation)

Ethan's Psychogestures

Season, Inc.

Shira Hadasha

Yud's Creative Pastry

Fun

Hebrew Resources

 

Connections