Arnon Avron
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.
Arnon Avron | |
|---|---|
ארנון אברון | |
| Born | 1952 (age 71–72) Tel Aviv, Israel |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.