פרופ' שרית קראוס
Development of intelligent systems, Automatic negotiation, planning Non-monotonous explanations from knowledge bases
CV
פרופ' קראוס היא מחלוצות ה-AI בישראל ודמות מפתח שעיצבה את פני עולם המחשוב בעשורים האחרונים. כיהנה כדיקנית הפקולטה למדעים מדויקים בבר-אילן וחברה באקדמיה הלאומית הישראלית למדעים. תרומתה המדעית זיכתה אותה בפרס אמת (EMET Prize) ובפרסי יוקרה מטעם ה-ACM וה-IJCAI. היא הישראלית הראשונה שנבחרה כעמיתה (Fellow) של ה-AAAI. מחקריה ידועים בחיבור שבין תיאוריה לשטח – מאופטימיזציה של מערכי אבטחה בנמל התעופה בלוס אנג'לס (LAX) ועד שיתופי פעולה לייעול מערכות בריאות.
Research
המעבדה לסוכנים חכמים
בעולם שבו אלגוריתמים מקבלים יותר ויותר החלטות עבורנו, השאלה היא כבר לא רק כמה המחשב "חכם", אלא כמה הוא "חברתי". המעבר ממערכות שמבצעות פקודות למערכות שמנהלות יחסים מגדיר את חזית הבינה המלאכותית כיום. כאן פועלת פרופ' שרית קראוס, חוקרת בעלת שם עולמי במערכות מרובות סוכנים ופרופסור למדעי המחשב ובינה מלאכותית באוניברסיטת בר-אילן. באמצעות שילוב בין תורת המשחקים למודלי למידה (כולל LLMs) ומודלים חישוביים מתקדמים, היא מפתחת סוכנים חכמים המסוגלים ללמוד, להסתגל ולנהל אינטראקציות מורכבות בסביבות רב-משתתפים.
תחומי מחקר מרכזיים:
מערכות מרובות-סוכנים (Multi-Agent Systems)
משא ומתן ממוחשב (Automated Negotiation)
אינטראקציה בין אדם לסוכן (Human-Agent Interaction)
בינה מלאכותית וביטחון (AI and Security)
מודלי שפה גדולים (Large Language Models)
אופי המחקר:
תיאורטי–יישומי: מתורת המשחקים ועד למערכות פועלות בעולם האמיתי
אופק תעסוקתי:
בוגרות ובוגרי המעבדה משתלבים במגוון תפקידים בחזית הטכנולוגיה:
תעשייה: מדעני נתונים, מהנדסי AI ומובילי צוותי מחקר
אקדמיה: חוקרים ומרצים באוניברסיטאות בארץ ובחו"ל
יזמות: מייסדי סטארט-אפים בביטחון, בריאות ורובוטיקה.
תאריך עדכון אחרון : 29/07/2026