שמואל ספרא

שמואל ספרא הוא מדען מחשב ישראלי, פרופסור באוניברסיטת תל אביב, שזכה בפרס גדל ב-2001.

נולד ב-1960משפט ה-PCPקושי של בעיות קירובאוטומטים על מחרוזות אינסופיות

עיסוק: מדען מחשב, מרצה באוניברסיטה
השכלה: מכון ויצמן למדע

שמואל ספרא נולד ב-1960 בירושלים

שמואל (מולי) ספרא נולד בירושלים ב-1960.

הוא השלים דוקטורט במכון ויצמן למדע ב-1990, בהנחיית אמיר פנואלי. לאחר מכן עשה פוסט-דוקטורט באוניברסיטת סטנפורד ובמרכז מחקר של IBM.

ספרא הוא פרופסור למדעי המחשב באוניברסיטת תל אביב. מחקריו עוסקים בתורת הסיבוכיות ובתורת האוטומטים. בתורת הסיבוכיות עסק בהוכחות הניתנות לבדיקה הסתברותית, במשפט ה-PCP ובקושי של בעיות קירוב.

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