Colleagues at Tel Aviv University

Laboratory for Logic

Rewriting Community

Researchers in Rewriting

Fellow at Advanced Studies Institute of Paris

Collaboration with INRIA

Visitor at University of Chicago

Visitor at Microsoft Research

Visitor at Hebrew University

Visitor at the Weizmann Institute

Resigned from University of Illinois


Friedberg Genizah Project

Dead Sea Scrolls
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
Visualization

Erdős 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) (Dershowitz Family Saga)
Netta Dor-Shav [= Jeanette Kohn Dershowitz] (Dissertation)

Esnoga

Yud's Creative Pastry

Fun

Hebrew Resources

 

Connections