-
הרברט סיימון
כל מה שרצית לדעת על הרברט סיימון:הרברט אלכסנדר סיימון (Herbert Alexander Simon; 15 ביוני 1916 – 9 בפברואר 2001) היה חוקר יהודי-אמריקאי בולט בתחומי הפסיכולוגיה, הכלכלה והניהול, מדעי המחשב ופילוסופיה של המדע. חבר סגל אוניברסיטת קרנגי מלון משנת 1949. ב-1959 נבחר לעמית באקדמיה האמריקאית לאמנויות ולמדעים; ב-1967 נבחר לחבר באקדמיה הלאומית למדעים (ארצות הברית), ב-1975…
-
מנואל בלום
כל מה שרצית לדעת על מנואל בלום:מנואל בלום (נולד ב-26 באפריל 1938 בקראקס, ונצואלה) הוא מדען מחשב יהודי, זוכה פרס טיורינג לשנת 1995 על תרומתו הרבה ליסודות של תורת הסיבוכיות החישובית ויישומיה לקריפטוגרפיה ובדיקת תוכניות. נלקח מויקיפדיה הגדרות נוספות הקשורות למנואל בלום:•מדעני מחשב אמריקאים•זוכי פרס טיורינג•מדעני מחשב יהודים•סגל אוניברסיטת קליפורניה בברקלי•סגל אוניברסיטת קרנגי מלון•חברי האקדמיה…
-
רנדי פאוש
כל מה שרצית לדעת על רנדי פאוש:רנדולף פרדריק "רנדי" פאוש (באנגלית: Randolph Frederick "Randy" Pausch; 23 באוקטובר 1960 – 25 ביולי 2008) היה פרופסור אמריקני למדעי המחשב, שהתפרסם בזכות נאומו "ההרצאה האחרונה" שעובד לספר. נלקח מויקיפדיה הגדרות נוספות הקשורות לרנדי פאוש:•מדעני מחשב אמריקאים•סגל אוניברסיטת קרנגי מלון•סגל אוניברסיטת וירג'יניה
-
אלן פרליס
כל מה שרצית לדעת על אלן פרליס:אלן ג'. פרליס (באנגלית: Alan Perlis; 1 באפריל 1922 – 7 בפברואר 1990) היה מדען מחשב אמריקאי הידוע בשל עבודתו החלוצית בשפות תכנות והיותו הזוכה הראשון בפרס טיורינג. נלקח מויקיפדיה הגדרות נוספות הקשורות לאלן פרליס:•מדעני מחשב אמריקאים•זוכי פרס טיורינג•מדעני מחשב יהודים•סגל אוניברסיטת קרנגי מלון•סגל אוניברסיטת ייל
-
הרברט אלכסנדר סיימון
כל מה שרצית לדעת על הרברט אלכסנדר סיימון:הרברט אלכסנדר סיימון (Herbert Alexander Simon; 15 ביוני 1916 – 9 בפברואר 2001) היה חוקר יהודי-אמריקאי בולט בתחומי הפסיכולוגיה, הכלכלה והניהול, מדעי המחשב ופילוסופיה של המדע. חבר סגל אוניברסיטת קרנגי מלון משנת 1949. ב-1959 נבחר לעמית באקדמיה האמריקאית לאמנויות ולמדעים; ב-1967 נבחר לחבר באקדמיה הלאומית למדעים (ארצות הברית),…
-
זוהר מנה
כל מה שרצית לדעת על זוהר מנה:זוהר מנה (נולד ב-1939) הוא מדען מחשב ישראלי ופרופסור באוניברסיטת סטנפורד, מכון ויצמן ובמרכז הבינתחומי הרצליה.מנה נולד וגדל בחיפה. הוא קיבל תואר ראשון (1962) ושני (1965) במתמטיקה מהטכניון ודוקטורט במדעי המחשב מאוניברסיטת קרנגי מלון שבפנסילבניה בהנחיית אלן פרליס, זוכה פרס טיורינג הראשון ורוברט פלויד (אף הוא זוכה פרס טיורינג).…
-
אוליבר ויליאמסון
כל מה שרצית לדעת על אוליבר ויליאמסון:אוליבר ויליאמסון (באנגלית: Oliver Eaton Williamson; נולד ב-27 בספטמבר 1932) הוא חוקר כלכלה אמריקאי המתמקד בתחום עלות עסקאות. ויליאמסון הוא חתן פרס נובל לכלכלה לשנת 2009 על ניתוחיו בתחום הכלכלה הארגונית ובמיוחד ביחס לגבולות החברה הכלכלית. את הפרס הוא חולק עם אלינור אוסטרום. ויליאמסון סיים לימודי תואר ראשון במינהל…
-
ארנה גרימברג
כל מה שרצית לדעת על ארנה גרימברג:ארנה גרימברג היא פרופסורית מן המניין בפקולטה למדעי המחשב בטכניון. מתמחה בין היתר באימות אוטומטי של חומרה ותוכנה, מודולריות ואבסטרקציה, לוגיקה טמפורלית, בדיקת מודל מבוזרת, שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקי אימות תוכנה. ספרה Model Checking הוא אחד הספרים החשובים בתחום האימות האוטומטי. עבודותיה על אבסטרקציה ומודולריות…