פרס דייקסטרה 2026 הוענק לפרופ' עמוס קורמן מהחוג למדעי המחשב באוניברסיטת חיפה

פרס דייקסטרה הוא אחד הפרסים החשובים ביותר בתחום מדעי המחשב, והוא נושא את שמו של אדסחר דייקסטרה, מחלוצי הדיסציפלינה. הפרס הוענק לפרופ’ קורמן ולשותפיו על המאמר: “Distributed Verification and Hardness of Distributed Approximation” – הוכרה על תרומתם החדשנית והשפעתם הרחבה בתחום החישוב המבוזר.

המאמר עוסק בשאלה עד כמה קשה לרשת מחשבים מבוזרת לאמת תכונות של תת-רשת בתוכה – כגון קישוריות או מבנה של עץ פורש. אחד הממצאים המרכזיים הוא שמשימת האימות הזו עשויה להיות מורכבת ומאתגרת בדיוק כמו בניית התכונה מלכתחילה.