Arnon Avron

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. Mythology
  4. Childern Literature
  5. Geometry
  6. Philosophy


Curriculum Vitae

List of Publications

Online Available Papers