PeopleofSuperintelligence

Researcher

Arnon Avron

Also known as ארנון אברון

Arnon Avron is an Israeli mathematician whose work on hypersequents connects mathematical logic to automated reasoning and artificial intelligence. He studied mathematics at Tel Aviv University and the Hebrew University of Jerusalem, earned a doctorate in 1985, and entered computer science through a visit to Edinburgh. His work spans proof systems and frameworks for formal set theory, including research on computational set foundations in 2012 and 2018. As of October 2026, he is a professor at Tel Aviv University's School of Computer Science, with 2026 work on continuity theory in formal predicative set theory.

Works
215
Citations
4,190
h-index
32
Badges

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 1952–1985

    Mathematics and doctoral work

    Born in Tel Aviv in 1952, he studies mathematics at Tel Aviv University and the Hebrew University of Jerusalem, then completes a Ph.D. at Tel Aviv University in 1985.

  2. 1986–1988

    Research in Edinburgh

    Between 1986 and 1988, he visits the University of Edinburgh's Laboratory for Foundations of Computer Science, where he begins his association with computer science.

  3. 1988–1999

    Professor and department chair

    In 1988, he joins Tel Aviv University's Department of Computer Science, chairs the School from 1996 to 1998, and becomes a full professor in 1999.

  4. 1991

    Hypersequents for AI reasoning

    In 1991, he publishes “Hypersequents, logical consequence and intermediate logics for concurrency” and connects hypersequents, a generalization of the sequent calculus, with automated reasoning in artificial intelligence.

  5. 1992

    Formal systems on a machine

    In 1992, he coauthors a Journal of Automated Reasoning paper on using typed lambda calculus to implement formal systems on a machine.

  6. 2012–2018

    Frameworks for formal set theory

    In 2012, he presents a unified framework for formalizing set theories of different strengths with static checks for set terms. In 2018, he and Liron Cohen show that a minimal computational set theory can support scientifically applicable mathematics.

  7. As of October 2026

    Professor at Tel Aviv

    As of October 2026, he is a professor at the School of Computer Science at Tel Aviv University. His 2026 paper with Nissan Levi develops continuity theory in a formal predicative set theory.

Career

  1. Since 1988Tel Aviv UniversitySchool Chair, Professor
  2. 1986–1988University of EdinburghVisiting researcher

Education

  1. 1985Tel Aviv UniversityPh.D.
  2. Hebrew University of JerusalemMathematics student

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Reasoning with logical bilattices1996 · Journal of Logic Language and Information · 263 citations
  2. Natural 3-valued logics—characterization and proof theory1991 · Journal of Symbolic Logic · 261 citations
  3. The value of the four values1998 · Artificial Intelligence · 237 citations
  4. Hypersequents, logical consequence and intermediate logics for concurrency1991 · Annals of Mathematics and Artificial Intelligence · 185 citations
  5. Non-deterministic Multiple-valued Structures2005 · Journal of Logic and Computation · 185 citations

From OpenAlex, as of 18 October 2026.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Tel Aviv University. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  2. The company share of AI researchers’ top papers rose from 3% to 32%Includes Tel Aviv University. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 3% in 1975–1979 to 32% in 2020–2024.
  3. Google has the highest combined h-index among AI organizationsIncludes Tel Aviv University. Our estimates of combined and median h-index at AI organizations, using current affiliations and OpenAlex records.
  4. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other universityIncludes Tel Aviv University. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Arnon Avron yet. Send us a free-licensed photo.

  1. Arnon Avron - Wikipedia en.wikipedia.org. Checked 18 October 2026.
  2. [1203.6157] A Logical Framework for Set Theories arxiv.org. Checked 18 October 2026.
  3. [1801.02387] Applicable Mathematics in a Minimal Computational Theory of Sets arxiv.org. Checked 18 October 2026.
  4. Arnon Avron - MaRDI portal portal.mardi4nfdi.de. Checked 18 October 2026.
  5. Developing continuity theory in a formal predicative set theory - MaRDI portal portal.mardi4nfdi.de. Checked 18 October 2026.