תחומי מחקר

שםסמל מיון תחומי מחקר
פרופ' ליעם רודיטי

אלגוריתמים לגרפים, גיאומטריה חישובית\ אלגוריתמים דינאמיים, אלגוריתמים לרשתות אלחוטיות.

ד"ר יוסי קשת

למידת מכונה, למידת מכונה של בעיות מורכבות וסדרות.עיבוד דיבור ושפה, זיהוי דיבור.

פרופ' שרית קראוס

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

פרופ' גל קמינקא

קבוצות וצוותים של רובוטים, תוכנה ואנשים, כריית מידע ולמידה, מערכות מרובות סוכנים, בינה מלאכותית

פרופ' שמואל טומי קליין

אלגוריתמים, אחזור מידע, דחיסה

פרופ' משה קופל
למידת מכונה, תורת הסיבוכיות, לוגיקה

 

פרופ' טלי קאופמן

סיבוכיות, תורת הקודים, קומבינטוריקה וראנדומיות בחישוב, אלגוריתמים תת לינארים

ד"ר אריאל פרנק

 למידה מבוזרת כאיתור משאבים ברשת, מולטימדיה מבוזר, ספריות דיגיטליות.

פרופ' בני פנקס

קריפטוגרפיה, אבטחת מחשבים ותקשורת פרטית.

ד"ר טניה פלוטקין
פרופ' דורון פלד

הוכחת נכונות של מערכות חומרה ותוכנה, הוכחה אוטומטית, בדיקות של מערכות, לוגיקה ושפות פורמליות

 

דרושים סטודנטים למחקר לתואר שני / /שלישי בנושאים של לוגיקה, הנדסת תכנה, אימות ובדיקה של תכנה וחומרה.

למעוניינים יש לפנות לפרופ' פלד : doron.peled@cs.biu.ac.il

פרופ' אלי פורת

ניתוח אלגוריתמים, מורכבות חישובית

פרופ' דודי סרנה

בינה מלאכותית, ממשק אדם-מחשב, מו"מ בין סוכנים, תורת המשחקים, מסחר אלקטרוני, מערכות מרובות סוכנים.

 

פרופ' נתן נתניהו

אלגוריתמים, גיאומטריה חישובית, עבוד תמונה, אומדנים סטטיסטיים חסינים, חישה מרחוק

פרופ' יהודה לינדל
קריפטוגרפיה (הצפנה) פרוטוקולים  בטוחים, יסודות תאורטיים.

 

פרופ' משה לוינשטיין

אלגוריתמים, אלגוריתמים קירוביים, זיהוי דגמים, מבני נתונים

פרופ' אבינתן חסידים

 אלגוריתמים, תורת המשחקים, מחשוב קוונטי, אלגוריתמי קירוב.

פרופ' אמיר הרצברג

אבטחת תקשורת ובפרט התקפות והגנות לפרוטוקולי האינטרנט (TCP/IP, DNS, routing ), אבטחת סייבר, ובפרט תקשורת וזיהוי פוגענים,  (malware)  קריפטוגרפיה יישומית ופיננסית לרבות אבטחת מסחר ותשלומים,  תקשורת אנונימית וסמויה, התקפות הנדסה-חברתית והגנות על משתמשים אנושיים,  ניהול אמון,  פרוטוקולי תקשורת.

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

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

ד"ר יעל אמסטרדמר

מסדי נתונים, ניהול נתונים ברשת ובמאגרי ידע מקוונים, נתוני עתק, ניהול נתונים בעזרת מיקור המונים.

פרופ' עמיהוד אמיר

זיהוי דגמים רב מימדי ויישומים בתחומי עיבודי טקסט, ראיה ממוחשבת ומולטימדיה. ביולוגיה חישובית.

פרופ' יהונתן אומן

אלגוריתמים, אלגוריתמים מקביליים, הצפנה,  אלגוריתמים מבוזרים ואסינכרוניים

ד"ר נועה אגמון

תכנון אסטרטגי לסוכנים/רובוטים בהמצאות יריב, אלגוריתמים לרובוטים, קבוצות רובוטים, מערכות מרובות סוכנים