Professor

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

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

phone: +972 3 6406352

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 Vitae

List of Publications