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.
[2] Avron's research interests include proof theory, automated reasoning, non-classical logics, foundations of mathematics.
[3] In applying mathematical logic in computer science to artificial intelligence, Avron contributed to the theory of automated reasoning with his introduction of hypersequents, a generalization of the sequent calculus.
[4][5] Avron also introduced the use of bilattices to paraconsistent logic, and made contributions to predicative set theory and geometry.