שרית קראוס

שרית קראוס
לידה	1960 (בת 64 בערך); ירושלים, ישראל
ענף מדעי	מדעי המחשב; מתמטיקה
מקום מגורים	גבעת שמואל, ישראל; ארצות הברית
מקום לימודים	האוניברסיטה העברית בירושלים
מוסדות	אוניברסיטת בר-אילן; אוניברסיטת מרילנד ;
תלמידי דוקטורט	Nils Bulling, Bastian Blankenburg
פרסים והוקרה	פרס א.מ.ת.
	u.cs.biu.ac.il/~sarit/

שרית קראוס (נולדה ב-1960) היא פרופסור וראש תחום בינה מלאכותית במחלקה למדעי המחשב באוניברסיטת בר-אילן,^[1] מרצה שלא מן המניין באוניברסיטת מרילנד וכלת פרס א.מ.ת. לשנת 2010.^[2] ידועה בעיקר בזכות עבודתה בתחומי מערכות מרובות סוכנים (כולל אנשים ורובוטים), משא ומתן אוטומטי ולוגיקות לא מונוטוניות. מכהנת כדקנית הפקולטה למדעים מדויקים באוניברסיטת בר-אילן מאז יולי 2023.^[3]

ביוגרפיה[עריכת קוד מקור | עריכה]

קראוס נולדה בירושלים ליעקב ומאירה בלוך, וגדלה בשכונת נווה שאנן שבחיפה. למדה בתיכון עירוני ו' בחיפה, ושירתה בשירות לאומי בשכונת בקעה בירושלים.

בעלת תואר ראשון במתמטיקה ומדעי המחשב (1982), תואר שני (1983) ותואר דוקטור (1989) במדעי המחשב, בהנחיית דניאל להמן, מהאוניברסיטה העברית בירושלים. לאחר קבלת תואר דוקטור שהתה שנתיים כפוסט-דוקטורט באוניברסיטת מרילנד, בקולג' פארק. ב-1991 הצטרפה לסגל של אוניברסיטת בר-אילן. ב-2021 נבחרה להיות חברה באקדמיה הלאומית הישראלית למדעים.^[4]

תרומותיה המרכזיות[עריכת קוד מקור | עריכה]

יסדה את תחום המחקר של מערכות אוטומטיות שמקיימות משא ומתן עם אנשים. עבודותיה מהוות בסיס למחקרים של חוקרים נוספים.
הכניסה לתחום של מערכות מרובות סוכנים את האספקט של אינדיבידואליזם, בכך שפיתחה פרוטוקולים ואסטרטגיות לסוכנים אינדיבידואלים הצריכים לשתף פעולה. עבודותיה בתחום של משא ומתן אוטומטי בין סוכנים ממוחשבים מהוות פריצת דרך בתחום.
פיתחה לראשונה אלגוריתמים ליצירת קואליציות בין מערכות ממוחשבות.
המודל לפעילות שיתופית, SharedPlans, שפיתחה עם פרופסור ברברה גרוס מאוניברסיטת הרווארד, השפיע רבות על המחקר והמימוש של מערכות שיתופיות. המודל כולל מפרט פורמלי לעיצוב של סוכנים היכולים לשתף פעולה ומהווה תשתית לחקירת שאלות בסיסיות בנושא שיתוף פעולה.
תרמה לפיתוח אלגוריתמים לשבירת שיגרה בסביבות של משאבים מוגבלים. אלגוריתמים אלו שימושיים במיוחד בתחום האבטחה. לדוגמה, בתחום הרובוטיקה, הנחתה פרופ' קראוס (יחד עם פרופ' גל קמינקא) את עבודת הדוקטורט של ד"ר נעה אגמון, שפתחה תחום חדש של פטרול יריבי (כלומר פטרול רובוטים בסביבה עם יריב שמנסה להערים עליהם). דוגמה נוספת: בתחום בדיקות פתע פיתחה עם שותפים מלוס אנג'לס מודל המבוסס על תורת המשחקים שמומש במערכת בנמל התעופה שם ושיפר משמעותית את יכולות האבטחה של שדה התעופה. עבודה זו זכתה בפרסים רבים. בכל העבודות הכניסה גם את המודל האנושי של היריב.
עבודתה עם להמן ומגידור על היסקים לא מונוטוניים השפיעה רבות על המחקר בתחום ומהווה תשתית להשוואה בין מערכות היסק.
יחד עם ד"ר אריאל רוזנפלד, השתתפה בפיתוח תוכנה לזיהוי אזורים מועדים לתאונה בכבישי ישראל.^[5]

פרסים והוקרה[עריכת קוד מקור | עריכה]

בתחום הבינה המלאכותית קיבלה ב-1995, את פרס "מחשבים ומחשבות". ב-2002 נבחרה כעמיתה של האגודה האמריקאית לבינה מלאכותית (AAAI Fellow), ב-2008 כעמיתה של האגודה האירופית לבינה מלאכותית (ECCAI Fellow) וב-2015 נבחרה כעמיתה של ACM. ב-2020 זכתה בפרס ACM על תרומה לבינה מלאכותית.^[6]

בתחום מערכות מרובות סוכנים, קיבלה ב-2007 את שני הפרסים החשובים ביותר: ACM/SIGART Autonomous Agents Research Award, וביחד עם ברברה גרוס קיבלה את פרס המאמר המשפיע ביותר. ב-2014 קיבלה שנית ביחד עם און שחורי את פרס המאמר המשפיע ביותר.

ב-2009 קיבלה פרס הוקרה של עיריית לוס אנג'לס על תרומתה לאבטחת העיר, וב-2010 נבחרה כאשת השנה של "אמונה - תנועת האשה הדתית לאומית", וכן קיבלה את המענק היוקרתי של ADVANCED ERC. ב-2012 נבחרה לחברה באקדמיה אירופיאה.^[7]

ב-2023 זכתה בפרס IJCAI (International Joint Conferences on Artificial Intelligence) למצוינות מחקרית בתחום הבינה המלאכותית לאור עבודתה החלוצית בתחום האינטראקציות בין סוכנים בעלי עניין עצמי (self-interested agents), יצירת שדה של משא ומתן אוטומטי, ופיתוח שיטות ליצירת קואליציות וצוותי עבודה, הן כמודלים פורמליים והן כיישומים בעולם האמתי.^[8]

חיים אישיים[עריכת קוד מקור | עריכה]

ב-1981 נישאה לרב יצחק (עופר) קראוס, פרופסור ולשעבר ראש מכללת הרצוג בגוש עציון. לזוג חמישה ילדים, מתוכם 2 מאומצים והם מתגוררים בגבעת שמואל.

קישורים חיצוניים[עריכת קוד מקור | עריכה]

מדיה וקבצים בנושא שרית קראוס בוויקישיתוף

אתר האינטרנט הרשמי של שרית קראוס (באנגלית)
שרית קראוס, באתר פרויקט הגנאלוגיה במתמטיקה
שרית קראוס, באתר dblp
שרית קראוס, באתר גוגל סקולר
פרופ' שרית קראוס באתר המחלקה
שרית קראוס, באתר ynet (הקישור אינו פעיל, 28.6.19)
מלי קמפנר, ‏חיבוק המכונה, באתר גלובס, 6 ביוני 2012
עפרה לקס, מותר האדם מן המחשב, באתר ערוץ 7, 25 באוקטובר 2012
שירה קדרי-עובדיה, מקור ראשון, האמא של הרובוטים עוזרת למשטרה בחדר החקירות, באתר nrg‏, 23 באוקטובר 2015
אתר מותאם לילדים על פרופ' שרית קראוס
שרית קראוס, דף שער בספרייה הלאומית

הערות שוליים[עריכת קוד מקור | עריכה]

^ פרופ' שרית קראוס, באתר המחלקה למדעי המחשב באוניברסיטת בר-אילן
^ פרופ' שרית קראוס, באתר פרס א.מ.ת.
^ המחלקה למדעי המחשב מברכת את פרופ' שרית קראוס על מינויה לדיקנית הפקולטה למדעים מדויקים בבר אילן, באתר המחלקה למדעי המחשב באוניברסיטת בר אילן, ‏05/07/2023
^ שרית קראוס, באתר האקדמיה הלאומית הישראלית למדעים
^ פיתוח ישראלי: התוכנה שתנבא את התאונה הקטלנית הבאה, באתר כלכליסט, 31 בינואר 2018
^ פרס ACM 2020
^ Sarit Kraus, Academia Europaea
^ פרס IJCAI לפרופ' שרית קראוס, באתר www.biu.ac.il

[1] פרופ' שרית קראוס, באתר המחלקה למדעי המחשב באוניברסיטת בר-אילן

[2] פרופ' שרית קראוס, באתר פרס א.מ.ת.

[3] המחלקה למדעי המחשב מברכת את פרופ' שרית קראוס על מינויה לדיקנית הפקולטה למדעים מדויקים בבר אילן, באתר המחלקה למדעי המחשב באוניברסיטת בר אילן, ‏05/07/2023

[4] שרית קראוס, באתר האקדמיה הלאומית הישראלית למדעים

[5] פיתוח ישראלי: התוכנה שתנבא את התאונה הקטלנית הבאה, באתר כלכליסט, 31 בינואר 2018

[6] פרס ACM 2020

[7] Sarit Kraus, Academia Europaea

[8] פרס IJCAI לפרופ' שרית קראוס, באתר www.biu.ac.il

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]