שלמה מורן – הבדלי גרסאות

 

== ביוגרפיה ==

 

הוא החל ללמוד מתמטיקה ב[[הטכניון|טכניון]] וסיים [[תואר ראשון]] בשנת [[1975]] ו[[דוקטורט]] בהנחיית פרופסור [[עזריה פז]] בשנת [[1979]]. בין השנים [[1979]]-[[1981]] היה [[מרצה אורח]] ב[[אוניברסיטת מינסוטה]] ב[[מינאפוליס]]. מ-[[1981]] הוא חבר סגל בטכניון. בין השנים [[1985]]-[[1986]] היה חוקר ב[[מרכז המחקר תומאס ג'יי ווטסון]] של [[IBM]]. בשנת [[1993]] זכה יחד עם עוד ארבעה מדענים ב[[פרס גדל]] על פיתוח [[מערכת הוכחה אינטראקטיבית]]. בין השנים 1994-1996 היה [[מזכיר קיבוץ]] [[יגור]], לצדה של יעל סלע. בין השנים 1998-2001 היה [[דקאן]] הפקולטה למדעי המחשב בטכניון.