Арнон Аврон

Арнон Аврон

Дата рождения

1952

Место рождения

Тель-Авив, Израиль

Арнон Аврон (англ. Arnon Avronr, ивр. ארנון אברון) — израильский учёный, профессор компьютерных наук в Технионе.

Биография

Родился в 1952 году в Тель-Авиве.

В Тель-Авивском университете получил со степенью бакалавра по математике (1973), в Еврейски университете — со степень магистра (1975), а затем получил степень доктора в Тель-Авивском университете (1985).

С 1978 года преподает в Тель-Авивском университете. В 1995 году получил звание доцента, а в 1999 году — профессора.

В 1992—1993 годах был приглашенным профессором в Стэнфордском университете.

Его исследования направлены на применение математической логики к информатике и искусственному интеллекту

Труды

• Avron, Arnon (2001). Introduction to Discrete Mathematics (in Hebrew). Tel Aviv: Tel Aviv University Press.
• Avron, Arnon (1998). Gödel's Theorems and the Problem of the Foundations of Mathematics. Broadcast University Series (in Hebrew). Israel: Ministry of Defense Publications.
• Avron, Arnon (1996). "The method of hypersequents in the proof theory of propositional non-classical logics". In Hodges, Wilfrid; Hyland, Martin; Steinhorn, Charles; Truss, John (eds.). Logic: From Foundations to Applications. New York: Clarendon Press. pp. 1–32.
• Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). "Using typed lambda calculus to implement formal systems on a machine". Journal of Automated Reasoning. 9 (3): 309–354.
• Avron, Arnon (1991). "Natural 3-valued logics—characterization and proof theory". The Journal of Symbolic Logic. 56 (1): 276–294.
• Avron, Arnon (1991). "Hypersequents, logical consequence and intermediate logics for concurrency". Annals of Mathematics and Artificial Intelligence. 4 (3–4): 225–248.
• Avron, Arnon (1988). "The semantics and proof theory of linear logic". Theoretical Computer Science. 57 (2–3): 161–184.