Arnon Avron
Professor
Computer Science
Tel Aviv University
Israel
Biography
Arnon Avron is currently working as Professor, Department of Computer Science, Tel Aviv University. He was a Board member of Theoretical Computer Science (2006), Logica Universalis (2006), Journal of Logic and Computation (2007). Ph.D in Mathematics Tel Aviv University. His Field of Research Interests are Applications of Logic in Computer Science and Artificial Intelligence, Automated Reasoning, Non-Classical Logics, Foundation of Mathematics, Proof Theory, Philosopical Logic.
Research Interest
Applications of Logic in Computer Science and Artificial Intelligence, Automated Reasoning, Non-Classical Logics, Foundation of Mathematics, Proof Theory, Philosopical Logic.
