עמוס קורמן
 | |
| השכלה | מכון ויצמן למדע, האוניברסיטה העברית בירושלים, אוניברסיטת סטנפורד |
|---|---|
| מנחה לדוקטורט | דוד פלג |
| פרסים והוקרה | פרס דייקסטרה, Prize for Innovation in Distributed Computing |
עמוס קורמן הוא פרופסור מן המניין למדעי המחשב באוניברסיטת חיפה.
ביוגרפיה
בשנת 1997 קיבל תואר ראשון במתמטיקה (בהצטיינות יתרה) מהאוניברסיטה העברית בירושלים. בשנת 1999 קיבל תואר שני במתמטיקה מאוניברסיטת סטנפורד בקליפורניה. בשנת 2005 קיבל תואר דוקטור במדעי המחשב ממכון ויצמן למדע, על עבודה בהנחיית פרופ' דוד פלג שכותרתה "Static and Dynamic Labeling Schemes". זכה בפרס הדיקן לתלמידי דוקטורט. בשנים 2005–2007 השתלם בפוסט-דוקטורט בטכניון, שם חקר תאוריה של חישוב מבוזר לצד פרופ' שי קוטין.
בשנת 2007 הצטרף ל-CNRS בצרפת, שם שימש במשך כ-16 שנים כחוקר וכמנהל מחקר בקבוצות IRIF ו-FILOFOCS. במהלך תקופה זו זכה במענק ERC Consolidator (2015–2020), שבאמצעותו ביסס תחום מחקר חדש – ביולוגיה אלגוריתמית: חקר המנגנונים החישוביים שמאפשרים לקבוצות בעלי חיים, כמו נמלים, עטלפים ובני אדם, לשתף פעולה ולפתור בעיות מורכבות.
בשנת 2015 עבר הביליטציה (HDR – Habilitation à diriger des recherches) באוניברסיטת פריז דידרו (אנ'), על עבודה שכותרתה: "Distributed Decision and Distributed Biological Algorithms".
בשנת 2020 זכה בפרס לחדשנות בחישוב מבוזר (אנ'), על מחקרו בנושא היבטים חישוביים של מערכות ביולוגיות.[1]
בשנת 2024 הצטרף כפרופסור מן המניין לסגל האקדמי של אוניברסיטת חיפה, והוא משמש שם פרופסור למדעי המחשב.
בשנת 2026 נמנה עם הזוכים בפרס דייקסטרה, יחד עם דוד פלג ממכון ויצמן למדע ומחברים נוספים, על מאמרם "Distributed Verification and Hardness of Distributed Approximation".[2]
קישורים חיצוניים
- עמוס קורמן, באתר של אוניברסיטת חיפה
- Amos Korman, באתר של אוניברסיטת חיפה
- עמוס קורמן, באתר פרויקט הגנאלוגיה במתמטיקה
- עמוס קורמן, באתר dblp
- עמוס קורמן, באתר ResearchGate
- עמוס קורמן, באתר גוגל סקולר
הערות שוליים
עמוס קורמן43225011Q89010253