Arnon Avron | |
|---|---|
ארנון אברון | |
| Born | 1952 (age 71–72) |
| Nationality | Israeli |
| Alma mater | Tel Aviv University Hebrew University of Jerusalem |
| Scientific career | |
| Fields | Mathematical logic |
| Institutions | Tel Aviv University |
| Thesis | The Semantics and Proof Theory of Relevance Logics and Nontrivial Theories Containing Contradictions (1985) |
| Doctoral advisors | Haim Gaifman Yoram Hirschfeld |
Arnon Avron (Hebrew: ארנון אברון; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence.[1]