כלת פרס א.מ.ת ל-2010: פרופ' שרית קראוס מבר-אילן

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

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

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

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

פיתוח המבוסס על מודל תורת המשחקים

המערכת, המכונה "ARMOR" (ראשי תיבות ל-Assisted Randomized Motoring Over Routes), הותקנה ומשמשת את אנשי הביטחון בנמל התעופה מאז נובמבר 2007. ה-ARMOR מבוססת על הקמת מחסומי דרכים באופן אקראי כדי לאתר מחבלים המנסים להחדיר מכוניות חשודות לנמל התעופה. המטרה היא לבצע פעולות מנע ולמנוע ממחבלים לנסות ולאסוף מידע אודות נקודות פגיעות בנמל התעופה ובנהלי האבטחה בו. המודל שבו השתמשו פרופ' קראוס ועמיתיה מבוסס על תורת המשחקים לצורך ביצוע הביקורת האקראית.

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