Professor

School of Computer Science
Tel-Aviv University
Tel-Aviv, Israel

Email: aa-@-math-dot-tau-dot-ac-dot-il

phone: +972 3 6406352

fax: +972 3 6409357

Office hour (semester B): Wed 9-10

Professional interests

  1. Applications of Logic in Computer Science and Artificial Intelligence
  2. Automated Reasoning
  3. Non-Classical Logics
  4. Foundation of Mathematics
  5. Proof Theory
  6. Philosopical Logic

General interests

  1. Modern History
  2. History of the Classical World
  3. Tanakh
  4. Mythology
  5. Childern Literature
  6. Geometry
  7. Philosophy

Curriculum Vitaepdf file

List of Publicationspdf file

Online Available Papers