פרופסור אדמונד קלראק, זוכה פרס טורינג לשנת 2007, ביקר בפקולטה למדעי המחשב בטכניון ונתן סדרה של שלוש הרצאות.
הקהל בהרצאות כלל חברי סגל, סטודנטים ואנשי תעשיה. ההרצאות תארו את השגיו של פרופ' קלרק בהפיכת הטכנולוגיה של
בדיקת מודל לשיטת אימות מרכזית עבור תכנה וחמרה.
[בחזרה לאינדקס החדשות]