שרית קראוס (Sarit Kraus)

רקע ולימודים

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

תרומה תיאורטית: היגיון לא-מונוטוני

בין תרומותיה המוקדמות — מחברת-ראשית של 'מאמר KLM', אחד המאמרים המשפיעים ביותר בתורת ה'היגיון הלא-מונוטוני' (non-monotonic reasoning), תחום שעוסק באופן שבו מערכת מגיעה למסקנה שעלולה להתברר כשגויה לאור מידע חדש — ולא רק מסקנה מתמטית שתמיד נכונה.

משא-ומתן אוטומטי בין מחשבים לבני-אדם

פיתחה את 'דיפלומט' (Diplomat), המתואר כסוכן-התוכנה הראשון שניהל משא-ומתן בהצלחה עם בני-אדם, ואת תאוריית 'תוכניות-משותפות' (SharedPlans) לשיתוף-פעולה בין סוכנים, יחד עם פרופ' ברברה גרוס מהרווארד. עם גרוס פיתחה גם את 'Colored Trails', סביבת-משחק לחקר תהליכי-קבלת-החלטות, ששימשה בין השאר באימון-אסטרונאוטים. חיברה, לבדה ועם שותפים, שלושה ספרים בנושא: "Strategic Negotiation in Multiagent Environments" (הוצאת MIT, 2001), "Principles of Automated Negotiation" (הוצאת אוניברסיטת קיימברידג', 2014), ו-"Predicting Human Decision-Making" (2018).

LAW-TRAIN: חשוד-וירטואלי לאימון חוקרי-משטרה

בשנים 2015–2018 ריכזה אוניברסיטת בר-אילן את LAW-TRAIN, פרויקט של האיחוד האירופי לפיתוח סימולטור לאימון חוקרים. במחקר בתחום הזה פיתחו קראוס ועמיתיה 'חשוד-וירטואלי' מבוסס-מודל-פסיכולוגי לאימון חוקרי-משטרה בגביית-עדויות: החשוד מגיב למה שהחוקר אומר לו בהתאם למצב-פסיכולוגי מדומה שמשתנה במהלך השיחה, והפרויקט נשען על טכנולוגיות של מציאות מדומה ומציאות רבודה. מחקר שבדק את המערכת על 24 נבדקים מצא שהתנהגות החשוד-הווירטואלי התקרבה להתנהגות של אדם שמגלם חשוד בפועל.

ARMOR: מערכת תזמון-אבטחה בנמל-התעופה של לוס אנג'לס

יחד עם מילינד טמבה ופרננדו אורדונייז מאוניברסיטת דרום-קליפורניה (USC), פיתחה קראוס את ARMOR — מערכת שמייצרת לוחות-סיור אבטחה אקראיים, כך שקשה לצפות אותם מראש. המערכת פועלת בנמל-התעופה הבין-לאומי של לוס אנג'לס (LAX) מ-2007, וב-2009 קיבלה קראוס על פיתוחה ציון-לשבח מיוחד (special commendation) מעיריית לוס אנג'לס.

הכרה מקצועית

זכתה בפרס Computers and Thought של IJCAI (1995), בפרס שותפות-הסגל של IBM (2001), ובמענק ERC Advanced מהמועצה האירופית למחקר (2011). היא עמיתה (Fellow) של AAAI (2002), של ECCAI (2008) ושל ACM (2014), זכתה בפרס א.מ.ת (EMET, 2010), ונבחרה ל'מרצה אתנה' (ACM Athena Lecturer) לשנים 2020–2021. ב-2023 זכתה בפרס המחקר-המצטיין של IJCAI, וחברה באקדמיה האירופית למדעים (Academia Europaea, מ-2012) ובאקדמיה הלאומית הישראלית למדעים (מ-2021).