תחומי מחקר

שםסמל מיון תחומי מחקר
ד"ר נועה אגמון

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

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

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

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

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

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

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

ד"ר יואב גולדברג

עיבוד שפות טבעיות, ניתוח תחבירי, תרגום מכונה, עיבוד שפה בעברית, למידת מכונה וחיזוי מבני.

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

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

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

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

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

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

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

 

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

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

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

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

 

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

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

פרופ' דורון פלד

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

 

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

ד"ר יוסי קשת

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

פרופ' ליעם רודיטי

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