Professor Emeritus

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. Foundations and Philosophy of Mathematics
2. Applications of Logic in Computer Science and Artificial Intelligence
3. Automated Reasoning
4. Non-Classical Logics
5. Proof Theory

General interests

1. Mikra (Old Testimony)
2. History
3. Philosophy
4. Mythology
5. Children Literature

Curriculum Vitae

List of Publications