דלג לתוכן (מקש קיצור 's')
חדשות

חדשות והודעות הפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

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