# Arnon Avron

> Israeli mathematician

**Wikidata**: [Q6709728](https://www.wikidata.org/wiki/Q6709728)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Arnon_Avron)  
**Source**: https://4ort.xyz/entity/arnon-avron

## Summary
Arnon Avron is an Israeli mathematician and computer scientist known for his contributions to mathematical logic, computer science, and artificial intelligence. He is a professor at Tel Aviv University and has made significant advancements in formal systems and computational models.

## Biography
- Born: 1952, Tel-Aviv
- Nationality: Israel
- Education:
  - Bachelor of Science in mathematics, Tel Aviv University (1970–1973)
  - Master of Science in mathematics, Hebrew University of Jerusalem (1973–1975)
  - Doctor of Philosophy in mathematics, Tel Aviv University (1978–1985)
- Known for: Pioneering work in formal systems, logic programming, and artificial intelligence models.
- Employer(s): Tel Aviv University (full professor since 1999), Stanford University (visiting professor, 1992–1993)
- Field(s): Mathematical logic, computer science, informatics, artificial intelligence

## Contributions
Arnon Avron has made significant contributions to the fields of mathematical logic and computer science. His work includes developing formal systems and logic programming languages, particularly in the area of logic programming and artificial intelligence. He has published numerous papers and has supervised several doctoral students, including Ofer Arieli, Anna Zamansky, and Ori Lahav. His research has influenced the development of computational models and formal systems, contributing to advancements in artificial intelligence and informatics.

## FAQs
### Q: What is Arnon Avron known for?
A: Arnon Avron is known for his work in mathematical logic, computer science, and artificial intelligence, particularly in the development of formal systems and logic programming languages.

### Q: Where did Arnon Avron receive his education?
A: Arnon Avron earned his Bachelor of Science in mathematics from Tel Aviv University (1970–1973), his Master of Science in mathematics from the Hebrew University of Jerusalem (1973–1975), and his Doctor of Philosophy in mathematics from Tel Aviv University (1978–1985).

### Q: What are some of Arnon Avron's notable academic appointments?
A: Arnon Avron has held various academic positions, including full professor at Tel Aviv University since 1999, chair from 1996 to 1998, associate professor from 1995 to 1999, visiting professor at Stanford University from 1992 to 1993, and research associate professor at the University of Edinburgh from 1986 to 1988.

### Q: Who are some of Arnon Avron's doctoral students?
A: Some of Arnon Avron's doctoral students include Ofer Arieli, Anna Zamansky, Ori Lahav, Liron Cohen, and Yoni Yehonathan Zohar.

### Q: What is Arnon Avron's field of work?
A: Arnon Avron's field of work includes mathematical logic, mathematics, computer science, informatics, and artificial intelligence.

## Why They Matter
Arnon Avron's work in mathematical logic and computer science has significantly influenced the development of formal systems and computational models. His research has contributed to advancements in artificial intelligence and informatics, shaping the field of logic programming and formal systems. His contributions have been instrumental in the development of computational models and formal systems, making him a key figure in the intersection of mathematics and computer science.

## Notable For
- Full professor at Tel Aviv University since 1999.
- Chair of Tel Aviv University from 1996 to 1998.
- Visiting professor at Stanford University from 1992 to 1993.
- Research associate professor at the University of Edinburgh from 1986 to 1988.
- Supervised several doctoral students, including Ofer Arieli and Anna Zamansky.
- Contributed to the development of formal systems and logic programming languages.

## Body
### Early Life and Education
Arnon Avron was born in 1952 in Tel-Aviv, Israel. He completed his Bachelor of Science in mathematics at Tel Aviv University from 1970 to 1973. He then pursued his Master of Science in mathematics at the Hebrew University of Jerusalem from 1973 to 1975. Avron earned his Doctor of Philosophy in mathematics from Tel Aviv University from 1978 to 1985.

### Academic Career
Avron's academic career began as a teaching assistant at Tel Aviv University from 1978 to 1980. He then became an instructional staff member from 1981 to 1986. From 1986 to 1988, he served as a research associate professor at the University of Edinburgh. Avron returned to Tel Aviv University as a lecturer from 1988 to 1989 and a senior lecturer from 1989 to 1995. He was appointed associate professor from 1995 to 1999 and chair from 1996 to 1998. In 1999, he became a full professor at Tel Aviv University, where he has remained since.

### Research and Contributions
Avron's research focuses on mathematical logic, computer science, and artificial intelligence. He has made significant contributions to the development of formal systems and logic programming languages. His work has influenced the field of logic programming and artificial intelligence, contributing to the development of computational models and formal systems.

### Supervision and Mentorship
Avron has supervised several doctoral students, including Ofer Arieli, Anna Zamansky, Ori Lahav, Liron Cohen, and Yoni Yehonathan Zohar. His mentorship has played a crucial role in the development of these researchers and their contributions to the field.

### Publications and Recognition
Avron has published numerous papers and has been recognized for his contributions to the field. His work has been influential in the development of formal systems and computational models, shaping the field of artificial intelligence and informatics.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Arnon Avron",
  "jobTitle": "Professor",
  "worksFor": {"@type": "Organization", "name": "Tel Aviv University"},
  "nationality": {"@type": "Country", "name": "Israel"},
  "birthDate": "1952",
  "birthPlace": "Tel-Aviv, Israel",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Tel Aviv University"},
    {"@type": "EducationalOrganization", "name": "Hebrew University of Jerusalem"}
  ],
  "knowsAbout": ["Mathematical logic", "Computer science", "Artificial intelligence"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q97033143",
    "https://en.wikipedia.org/wiki/Arnon_Avron"
  ],
  "description": "Israeli mathematician and computer scientist known for contributions to mathematical logic and artificial intelligence."
}

## References

1. Czech National Authority Database
2. curriculum vitae
3. Mathematics Genealogy Project
4. Virtual International Authority File
5. IdRef
6. [Source](https://english.tau.ac.il/profile/aa)