ארנון אברון

מתמטיקאי ישראלי

ארנון אברון (נולד ב-1952 בתל אביב) הוא מתמטיקאי ישראלי ופרופסור אמריטוס בחוג למדעי המחשב בבית הספר למדעי המתמטיקה באוניברסיטת תל אביב. תחומי מחקרו הם לוגיקה מתמטית ושימושיה במדעי המחשב ובבינה מלאכותית.

ארנון אברון
אין תמונה חופשית
אין תמונה חופשית
לידה 1952 (בן 73 בערך)
תל אביב-יפו, ישראל עריכת הנתון בוויקינתונים
מדינה ישראל עריכת הנתון בוויקינתונים
ענף מדעי לוגיקה מתמטית, מדעי האינפורמציה, מדעי המחשב, מתמטיקה, בינה מלאכותית עריכת הנתון בוויקינתונים
השכלה
מנחה לדוקטורט חיים גייפמן, יורם הירשפלד עריכת הנתון בוויקינתונים
תארים פרופסור עריכת הנתון בוויקינתונים
תלמידי דוקטורט לירון כהן, בפסקה זו 4 רשומות נוספות שטרם תורגמו עריכת הנתון בוויקינתונים
www.cs.tau.ac.il/~aa/
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

ביוגרפיה

עריכה

אברון סיים את לימודי תואר ראשון במתמטיקה בהצטיינות יתרה באוניברסיטת תל אביב (1973) ולו תואר שני מהאוניברסיטה העברית (1975). הוא סיים דוקטורט באוניברסיטת תל אביב בשנת 1985, בהנחיית חיים גייפמן ויורם הירשפלד. נושא עבודת הדוקטורט שלו הוא: The semantics and proof theory of relevance logics and non-trivial theories containing contradictions.

אברון מלמד באוניברסיטת תל אביב משנת 1978. בשנת 1995 עלה לדרגת פרופסור חבר ובשנת 1999 לפרופסור מן המניין. בשנים 1992–1993 היה פרופ' אורח באוניברסיטת סטנפורד.

בשנת 2002 חתם עם אנשי אקדמיה נוספים על עצומה המחזקת את ידיהם של סרבני מצפון המסרבים לשרת בשטחים.[1]

בשנת 2006 הוא היה בין עורכיו של ספר שפורסם לכבוד בוריס טרכטנברוט בהוצאת שפרינגר.

מספריו

עריכה

קישורים חיצוניים

עריכה

הערות שוליים

עריכה
  1. ^ [1] seruv.org.il
  ערך זה הוא קצרמר בנושא ישראלים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.