Department of Computer science - Technion

‫הפקולטה למדעי המחשב‬ ‫הטכניון ‪ -‬מכון טכנולוגי לישראל‪ ,‬חיפה‬

‫קטלוג תארים מתקדמים‪ ,‬תשע"ד ‪2013-2014‬‬

‫‪www.cs.technion.ac.il‬‬

2

‫קטלוג תארים מתקדמים‬ ‫תשע"ד‪2013-2014 ,‬‬

‫הפקולטה למדעי המחשב‬ ‫הטכניון ‪ -‬מכון טכנולוגי לישראל‬

‫‪www.cs.technion.ac.il‬‬

‫‪3‬‬

4

‫תוכן העניינים‬

‫עמוד‬ ‫‪ .1‬מבוא כללי‬

‫‪7‬‬

‫‪ .2‬תוכניות ההשתלמות ושטחי המחקר‬

‫‪7‬‬

‫‪ .3‬מידע על הרשמה‬

‫‪8‬‬

‫‪ .4‬לימודים לתואר מגיסטר )‪(M.Sc.‬‬

‫‪9‬‬

‫‪ 4.1‬תנאי קבלה‬

‫‪9‬‬

‫‪ 4.2‬דרישות הלימוד )בכל המסלולים למגיסטר(‬

‫‪12‬‬

‫‪ .5‬לימודים לתואר דוקטור )‪(Ph.D.‬‬

‫‪16‬‬

‫‪ 5.1‬תנאי קבלה‬

‫‪16‬‬

‫‪ 5.2‬מחקר‬

‫‪16‬‬

‫‪ 5.3‬לימודים‬

‫‪17‬‬

‫‪ .6‬חברי הסגל ותחומי מחקרם‬

‫‪18‬‬

‫‪ .7‬תחומי המחקר בפקולטה למדעי המחשב וחברי הסגל העוסקים בהם‬

‫‪23‬‬

‫‪ .8‬בוגרי תארים מתקדמים ונושאי מחקרם בפקולטה‪2000-2014 :‬‬

‫‪26‬‬

‫מגיסטר‬

‫‪26‬‬

‫דוקטור‬

‫‪36‬‬

‫‪5‬‬

6

‫‪ .1‬מבוא כללי‬ ‫מטרת חוברת זו להדריך את המשתלמים בפקולטה למדעי המחשב לתארים מגיסטר ודוקטור לקראת השלבים השונים‬ ‫בהשתלמותם‪ .‬כל התקנות המופיעות בחוברת זו כפופות לתקנות בית הספר לתארים מתקדמים‪ ,‬המופיעות בקטלוג‬ ‫הטכניון‪.‬‬ ‫החוברת מכילה את דרישות הקבלה ותוכניות הלימודים למסלולי מגיסטר ודוקטור‪ ,‬רשימת חברי הסגל ותחומי מחקרם‪,‬‬ ‫חלוקה של חברי הסגל לקבוצות מחקר‪ ,‬ורשימת הסטודנטים שסיימו את לימודיהם בפקולטה ב‪ 13-‬השנים האחרונות‪.‬‬ ‫קטלוג תארים מתקדמים של הפקולטה למדעי המחשב נמצא גם באתר האינטרנט של הפקולטה‪:‬‬ ‫‪ www.cs.technion.ac.il/he‬באתר ניתן למצוא גם מידע מפורט יותר ועדכני על חברי הסגל‪ ,‬הקורסים הניתנים בכל‬ ‫סמסטר והסילבוס שלהם‪ ,‬תיזות שהוגשו בשנים האחרונות‪ ,‬וכן מידע רלוונטי נוסף‪ .‬כמו כן ניתן לפנות אל מזכירות‬ ‫תארים מתקדמים בפקולטה‪ :‬ירדנה קולט‪ ,‬חדר ‪ ,035‬טל' ‪ 04-8294342‬או בדואר אלקטרוני‪:‬‬ ‫‪[email protected]‬‬

‫‪ .2‬תוכניות ההשתלמות ושטחי המחקר‬ ‫הפקולטה למדעי המחשב מציעה תוכניות השתלמות לתארים‪" :‬מגיסטר למדעים במדעי המחשב"‪" ,‬מגיסטר למדעים"‬ ‫ו"דוקטור לפילוסופיה"‪ ,‬וכן מסלול ישיר לדוקטורט‪.‬‬ ‫שטחי ההתמחות והמחקר בפקולטה הם‪:‬‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬

‫תורת האלגוריתמים )סדרתיים ומבוזרים‪ ,‬דטרמיניסטיים והסתברותיים(‬ ‫תורת הצפינה )הצפנת מקורות‪ ,‬הצפנת ערוצים וקודים לתיקון שגיאות(‬ ‫קריפטוגרפיה‬ ‫עיבוד אינפורמציה קוונטית‬ ‫תורת הסיבוכיות של חישובים‬ ‫לוגיקה במדעי המחשב‬ ‫מבני נתונים‬ ‫מסדי נתונים‬ ‫מודלים של מערכות מחשבים והערכת ביצועיהם‬ ‫למידה חישובית‬ ‫אנליזה נומרית‬ ‫תכנות מקבילי ומבוזר‬ ‫רשתות מיון וניתוב‬ ‫תכנון גאומטרי‬ ‫מפרטים פורמליים למערכות‬ ‫אימות פורמלי של מערכות תוכנה וחומרה‬ ‫שפות תכנות‬ ‫הנדסת תוכנה‬ ‫סימולציה‬ ‫תכנון ובדיקת מעגלי ‪VLSI‬‬ ‫רשתות תקשורת מחשבים‬ ‫בלשנות חישובית‬ ‫בינה מלאכותית‬ ‫רשתות עצביות‬ ‫מערכות מומחה‬ ‫גאומטריה חישובית‬ ‫גרפיקה ממוחשבת‬ ‫עיבוד תמונות דיגיטלי‬ ‫‪7‬‬

‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬

‫ראיה ממוחשבת‬ ‫רובוטיקה‬ ‫מערכות אירועים בדידים‬ ‫ביואינפורמטיקה‬

‫בנוסף לאפשרויות המחקר התיאורטי בתחומים הנ"ל‪ ,‬יש בפקולטה מעבדות מחקר בנושאים‪:‬‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬ ‫ƒ‬

‫רובוטיקה‬ ‫ראיה ממוחשבת‬ ‫בינה מלאכותית‬ ‫עיבודים גיאומטריים‬ ‫גרפיקה ממוחשבת וחישוב גיאומטרי‬ ‫רשתות תקשורת מחשבים‬ ‫תכנון מעגלי ‪VLSI‬‬ ‫מערכות תוכנה‬ ‫מערכות מחשבים‬ ‫עיבוד שפות טבעיות‬ ‫ביואינפורמטיקה‬ ‫עיבוד אינפורמציה קוונטית‬

‫‪ .3‬מידע על הרשמה‬

‫‪(Ph.D‬‬

‫ההרשמה לכל תארי מגיסטר מתקיימת פעמיים בשנה‪ :‬ההרשמה לסמסטר חורף )אוקטובר( מתקיימת בחודש אפריל‬ ‫הקודם לו‪ ,‬וההרשמה לסמסטר אביב )מרס( מתקיימת בנובמבר הקודם לו‪ .‬לקראת מועדי ההרשמה מקיימת הפקולטה‬ ‫ימים פתוחים‪ .‬מידע נוסף לגבי הימים הפתוחים ניתן לקבל במזכירות ובאתר הפקולטה‪:‬‬ ‫‪.www.cs.technion.ac.il/he/gradaute‬‬ ‫ההרשמה לתוארי הדוקטור מתבצעת מספר פעמים בשנה – פירוט התאריכים מופיע באתר הפקולטה‪ .‬ניתן לקבל פרטים‬ ‫במזכירות‪.‬‬

‫‪8‬‬

‫‪ .4‬לימודים לתואר‬

‫מגיסטר )‪(M.Sc.‬‬

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

‫‪4.1‬‬ ‫‪4.1.1‬‬

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

‫למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במדעי המחשב או באחד המסלולים המשותפים למדעי המחשב‬ ‫ופקולטות אחרות )כגון‪ ,‬הנדסת מערכות מידע והנדסת מחשבים( אשר סיימו את לימודי התואר הראשון בהצטיינות‪.‬‬ ‫מועמדים למסלול זה שסיימו תואר ראשון במסגרות אחרות יחוייבו‪ ,‬במידת הצורך‪ ,‬בקורסי השלמה‪ .‬הישגים מקצועיים‬ ‫של בעלי ניסיון מעשי‪ ,‬ניסיון במחקר‪ ,‬ומכתבי המלצה‪ ,‬יילקחו בחשבון בעת הדיון על הקבלה‪ .‬מועמד שלא עומד בתנאי‬ ‫הקבלה רשאי לנסות לשפר את הישגיו במסגרת לימודים מתקדמים‪ .‬לצורך זה עליו לתאם עם מרכז תארים מתקדמים‬ ‫את רשימת המקצועות שייקח‪ ,‬ואת רמת הציונים שעליו להשיג במקצועות אלה‪ ,‬בכדי להתקבל ללימודי תארים מתקדמים‬ ‫בפקולטה‪ .‬ככלל‪ ,‬יתקבלו רק סטודנטים פנימיים )סטודנטים שמקבלים מלגה ומתרגלים(‪ .‬במקרים יוצאים מן הכלל‬ ‫תאושר השתלמות של סטודנטים חיצוניים )סטודנטים שאינם מקבלים מלגה(‪.‬‬ ‫סטודנט מצטיין שסיים תואר ראשון בחוג ראשי מדעי המחשב בכל מוסד מוכר בארץ )פרט למכללות(‪ ,‬לא יחוייב‬ ‫במקצועות השלמה‪ .‬תוכנית הלימודים של בוגר מכללה אשר יתקבל תיקבע בהתאם לרקע שלו‪ ,‬ויתכן ויידרש לנקודות‬ ‫לימוד‪/‬השלמה נוספות‪.‬‬ ‫‪4.1.2‬‬

‫תנאי הקבלה למסלול לתואר "מגיסטר למדעים"‬

‫למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במגמות מדעיות ומגמות הנדסיות שסיימו את לימודי התואר הראשון‬ ‫בהצטיינות‪ .‬כדי להתקבל למסלול זה‪ ,‬על הסטודנט ליצור קשר עם חבר סגל בפקולטה‪ ,‬אשר ישמש מנחה מיועד‪ .‬אין‬ ‫חובה להגיש הצעת מחקר עם הקבלה‪ .‬תוכנית הלימודים לכל סטודנט תיקבע בתיאום בין המנחה המיועד ומרכז הוועדה‬ ‫לתארים מתקדמים‪ ,‬ותאושר על‪-‬ידי הוועדה לתארים מתקדמים באמצעות ועדת הקבלה‪ .‬התוכנית תכלול‪:‬‬ ‫א‪ .‬נקודות מוסמכים‪ 18 :‬נקודות עבור בוגרי תוכנית ארבע‪-‬שנתית‪ 36 ,‬נקודות עבור בוגרי תוכנית תלת‪-‬שנתית‪.‬‬ ‫ב‪ .‬תוכנית השלמה על‪-‬פי הצורך‪.‬‬ ‫‪4.1.3‬‬

‫קבלה ללימודים לתואר שני כסטודנט חיצוני‬

‫סטודנט חיצוני הוא סטודנט המתקבל ללימודים כסטודנט מן המניין‪ ,‬אך ללא מלגה‪ .‬משתלם חיצוני לתואר שני חייב‬ ‫בנוכחות של לפחות יומיים בשבוע בפקולטה למשך שנה‪ .‬סטודנט יכול להתקבל כחיצוני בתנאים )א( או )ב( הבאים‪:‬‬ ‫א‪ .‬בקשת הקבלה של הסטודנט תוגש יחד עם הצעת מחקר‪ .‬במקרה זה הקבלה ללימודים תהיה מותנית באישור הצעת‬ ‫המחקר על‪-‬ידי הוועדה לתארים מתקדמים‪.‬‬ ‫ב‪ .‬סטודנט מצטיין שממוצע הציונים שלו הוא באופן משמעותי מעל סף הקבלה‪ ,‬או סטודנט בעל הצטיינות מקצועית‬ ‫מוכחת שתיבדק על‪-‬ידי ועדת קבלה מתאימה‪.‬‬ ‫סטודנט חיצוני יתחייב לעבוד מחוץ לפקולטה‪ ,‬לכל היותר שלושה ימים בשבוע )באישור המעביד(‪ ,‬ולעמוד לרשות‬ ‫הפקולטה כמתרגל )בהיקף מלא( במידת הצורך‪ .‬במקרה של סטודנט מצטיין במיוחד‪ ,‬אשר אינו יכול לקיים את התנאים‬ ‫הנ"ל‪ ,‬תוכל הוועדה לתארים מתקדמים‪ ,‬למרות האמור לעיל‪ ,‬לשקול את קבלתו ללימודים‪.‬‬

‫התרשימים בעמודים הבאים מפרטים את דרישות הקבלה לתואר שני‪.‬‬

‫‪9‬‬

‫תנאי קבלה לתואר מגיסטר‬ ‫התחל‬

‫חשב את ציונך המשוקלל* )ראה מסגרת למטה(‬

‫למדת במוסד מוכר בארץ וציונך המשוקלל הינו מעל לסף הקבלה*?‬

‫לא‬

‫פנה למרכז תארים מתקדמים‬

‫כן‬ ‫הינך בעל תואר ראשון במדעי המחשב‪ ,‬או באחד המסלולים המשותפים‬ ‫למדעי המחשב ופקולטות אחרות‬

‫לא‬

‫עבור לעמוד הבא‬

‫כן‬ ‫תהיה נוכח בפקולטה לפחות יומיים בשבוע למשך שנה?‬

‫כן‬

‫לא‬

‫תהייה נוכח לפחות ‪ 5‬ימים בשבוע‬ ‫בפקולטה?‬

‫כן‬

‫לא‬

‫אפשרות זו פתוחה רק בפני סטודנטים‬ ‫מצטיינים במיוחד אשר בשום אופן אינם‬ ‫יכולים להיות נוכחים יומיים בשבוע למשך‬ ‫שנה )למשל‪ ,‬סטודנטים המשרתים‬ ‫בצה"ל(‪ .‬האם הינך מצטיין א'‪?1‬‬

‫לא‬

‫נשקול את קבלתך‬ ‫כסטודנט פנימי**‪.‬‬ ‫תתרגל בהיקף מלא‪.‬‬

‫אם אין לך עדיין הצעת‬ ‫מחקר‪ ,‬צור קשר עם‬ ‫חבר‪-‬סגל והכן הצעת‬ ‫מחקר‪ .‬אחרת‪ ,‬לא‬ ‫תתקבל‪.‬‬

‫כן‬

‫נשקול את קבלתך כסטודנט חיצוני**‪ .‬צרף את כל המסמכים שיידרשו על‪-‬ידי מרכז‬ ‫תארים מתקדמים‪.‬‬

‫* הציון המשוקלל מחושב כדלקמן‪:‬‬ ‫ציון תואר ראשון ‪ 2 + -‬עד ‪ 4‬נקודות אם יש לך מנחה‬ ‫והצעת מחקר מאושרת על‪-‬ידי ועדת‬ ‫הקבלה‪ .‬מאמר מדעי שהתפרסם עשוי‬ ‫להוסיף נקודה‪.‬‬ ‫ ציון משוקלל ‪) 86‬בקירוב(‬‫סף הקבלה‬ ‫ ציון משוקלל ‪) 91‬בקירוב(‬‫‪ 1‬מצטיין א'‬ ‫ ציון משוקלל ‪) 92‬בקירוב(‬‫‪ 2‬מצטיין ב'‬ ‫** סטודנט חיצוני ‪ -‬סטודנט ללא מלגה‬ ‫סטודנט פנימי ‪ -‬סטודנט עם מלגה מלאה‪ ,‬מתרגל‬ ‫הערה‪ :‬ועדת הקבלה רשאית להחליט לא לקבל סטודנט‬ ‫למרות שהישגיו עומדים בתנאי הקבלה‪.‬‬

‫‪10‬‬

‫מצטיין ב'‪?2‬‬

‫לא‬

‫כן‬

‫אם אין לך עדיין‬ ‫הצעת מחקר‪,‬‬ ‫צור קשר עם‬ ‫חבר‪-‬סגל והכן‬ ‫הצעת מחקר‪.‬‬ ‫אחרת‪ ,‬לא‬ ‫תתקבל‪.‬‬

‫נשקול את‬ ‫קבלתך סטודנט‬ ‫חיצוני**‪ .‬תחוייב‬ ‫בתרגול בהיקף‬ ‫מלא במידת‬ ‫הצורך‪.‬‬

‫אפשרויות קבלה עבור סטודנט בעל תואר ראשון שאיננו במדעי המחשב‬ ‫או באחד המסלולים המשותפים‬

‫מעוניין בקבלה למסלול מגיסטר למדעים‬ ‫במדעי המחשב‬

‫מעוניין בקבלה למסלול מגיסטר למדעים‬

‫תחוייב בקורסי השלמה לפי הטבלה שלהלן‪ .‬ניתן‬ ‫לקבל פטור ממקצוע השלמה אם נלמד מקצוע דומה‬ ‫או מתקדם באותו שטח‪.‬‬

‫עליך למצוא מנחה‪ .‬תוכנית קורסי השלמה תיקבע‬ ‫על‪-‬ידי מרכז תארים מתקדמים והמנחה המיועד‪.‬‬

‫קורסי השלמה ‪ -‬הפקולטה למדעי המחשב‬ ‫עד ‪ 25‬נקודות מתוך הרשימה הבאה‪:‬‬ ‫מס' הקורס‬ ‫‪234107‬‬ ‫‪094412‬‬ ‫‪234122‬‬ ‫‪234218‬‬ ‫‪234247‬‬ ‫‪234293‬‬ ‫‪234267‬‬ ‫‪234123‬‬ ‫‪*236343‬‬ ‫‪*236360‬‬

‫שם הקורס‬ ‫אנליזה נומרית ‪1‬‬ ‫הסתברות מ'‬ ‫מבוא לתכנות מערכות )מת"מ(‬ ‫מבני נתונים ‪1‬‬ ‫אלגוריתמים ‪1‬‬ ‫לוגיקה ותורת הקבוצות‬ ‫למדעי המחשב‬ ‫מבנה מחשבים ספרתיים‬ ‫מערכות הפעלה‬ ‫תורת החישוביות‬ ‫תורת הקומפילציה‬

‫לסטודנטים ללא קדם מתאים‬ ‫קורסי קדם ‪ -‬מתמטיקה‬

‫נקודות‬ ‫‪4‬‬ ‫‪4‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬

‫מס' הקורס‬ ‫‪104012‬‬ ‫‪104013‬‬ ‫‪104167‬‬ ‫או‬ ‫‪104134‬‬

‫‪4‬‬ ‫‪3‬‬ ‫‪4.5‬‬ ‫‪3‬‬ ‫‪3‬‬

‫‪ .1‬ניתן לקבל פטור ממקצוע השלמה אם נלמד מקצוע דומה או‬ ‫מתקדם ממנו באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬ ‫הפטור יינתן על‪-‬ידי המרכז‪ ,‬תוך התייעצות עם מורה‬ ‫המקצוע‪.‬‬ ‫‪ .2‬יש לעבור את מקצועות ההשלמה בממוצע ‪,88‬‬ ‫וכל מקצוע בציון של לפחות ‪ .80‬סטודנטים יזוכו בנקודות‬ ‫מוסמכים עבור מקצועות ההשלמה המסומנים ב‪.*-‬‬

‫‪11‬‬

‫שם הקורס‬ ‫חדו"א ‪1‬ת'‬ ‫חדו"א ‪2‬ת'‬ ‫אלגברה א'‬ ‫אלגברה מודרנית ח'‬

‫נקודות‬ ‫‪5.5‬‬ ‫‪5.5‬‬ ‫‪5‬‬ ‫‪2.5‬‬

‫‪4.2‬‬

‫דרישות הלימוד )בכל המסלולים למגיסטר(‬

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

‫תוכנית הלימודים לבוגרי תואר תלת‪-‬שנתי‬

‫בוגרי תוכניות תלת‪-‬שנתיות חייבים לצבור ‪ 36‬נקודות של תארים מתקדמים‪ .‬במסגרת ‪ 18‬הנקודות הראשונות‬ ‫על המשתלם לבחור לפחות ששה מקצועות של הפקולטה למדעי המחשב‪ ,‬מתוך לפחות ארבע קבוצות שונות‬ ‫מבין ‪ 12‬הקבוצות של מקצועות הבחירה במסלול הארבע‪-‬שנתי )שאינם פרוייקטים‪ ,‬נושאים מתקדמים או‬ ‫סמינרים(‪ .‬מותר למשתלם לבחור מקצועות הסמכה של מדעי המחשב הנמצאים ברשימות‪ ,‬כל עוד יעמוד‬ ‫במגבלת מקצועות ההסמכה המותרים לו‪ .‬הקבוצות הן‪:‬‬ ‫‪ .1‬סיבוכיות של חישובים‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לתורת הצפינה‬ ‫‪236309‬‬ ‫תורת הסיבוכיות‬ ‫‪236313‬‬ ‫שיטות אלגבריות במדעי המחשב‬ ‫‪236315‬‬ ‫אלגוריתמים ‪2‬‬ ‫‪236359‬‬ ‫שיטות הסתברותיות ואלגוריתמים‬ ‫‪236374‬‬ ‫קריפטוגרפיה וסיבוכיות‬ ‫‪236508‬‬ ‫סיבוכיות תקשורת‬ ‫‪236518‬‬ ‫אלגוריתמי קירוב‬ ‫‪236521‬‬ ‫למידה חישובית‬ ‫‪236760‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬

‫‪ .2‬תורת האלגוריתמים‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבני נתונים ‪2‬‬ ‫‪236312‬‬ ‫שיטות אלגבריות במדעי המחשב‬ ‫‪236315‬‬ ‫אלגוריתמים מבוזרים א'‬ ‫‪236357‬‬ ‫אלגוריתמים ‪2‬‬ ‫‪236359‬‬ ‫אלגוריתמי קירוב‬ ‫‪236521‬‬ ‫שיטות בניתוח של אלגוריתמים‬ ‫‪236715‬‬ ‫גאומטריה חישובית‬ ‫‪236719‬‬ ‫אלגוריתמים מבוזרים ב'‬ ‫‪236755‬‬ ‫למידה חישובית‬ ‫‪236760‬‬ ‫גיאומטריה אלגוריתמית דיסקרטית‬ ‫‪238739‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬

‫‪ .3‬לוגיקה ויישומיה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫לוגיקה למדעי המחשב ‪2‬‬ ‫‪236304‬‬ ‫גדירות וחישוביות‬ ‫‪236331‬‬ ‫מבוא לאימות תוכנה‬ ‫‪236342‬‬ ‫אימות אוטומטי של מערכות תוכנה וחומרה‬ ‫‪236345‬‬ ‫תיאוריה של מערכות מסד נתונים‬ ‫‪236356‬‬ ‫מפרטים פורמליים למערכות מורכבות‬ ‫‪236368‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬

‫‪12‬‬

‫‪ .4‬קריפטולוגיה‪ ,‬צפינה ואינפורמציה‬ ‫מס' מקצוע‬ ‫‪236309‬‬ ‫‪236350‬‬ ‫‪236500‬‬ ‫‪236506‬‬ ‫‪236508‬‬ ‫‪236514‬‬ ‫‪236520‬‬ ‫‪236990‬‬

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

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬

‫‪ .5‬פיתוח מערכות תוכנה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שפות תכנות‬ ‫‪234319‬‬ ‫שיטות בהנדסת תוכנה‬ ‫‪236321‬‬ ‫מבוא לאימות תוכנה‬ ‫‪236342‬‬ ‫ניתוח וסינתזה של תוכנה‬ ‫‪236347‬‬ ‫מערכות מסד נתונים‬ ‫‪236363‬‬ ‫מפרטים פורמליים למערכות מורכבות‬ ‫‪236368‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫הנדסת מערכות הפעלה‬ ‫‪236376‬‬ ‫תיכון תוכנה‬ ‫‪236700‬‬ ‫תכנות מונחה עצמים‬ ‫‪236703‬‬ ‫אלגוריתמים לניהול זכרון דינמי‬ ‫‪236780‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬

‫‪ .6‬תקשורת ומערכות מבוזרות‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לרשתות מחשבים‬ ‫‪236334‬‬ ‫תקשורת באינטרנט‬ ‫‪236341‬‬ ‫הגנה במערכות מתוכנתות‬ ‫‪236350‬‬ ‫מערכות מבוזרות‬ ‫‪236351‬‬ ‫אלגוריתמים מבוזרים א'‬ ‫‪236357‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫תכנות מקבילי ומבוזר‬ ‫‪236370‬‬ ‫מימוש מערכות מסדי נתונים‬ ‫‪236510‬‬ ‫אלגוריתמים מבוזרים ב'‬ ‫‪236755‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬

‫‪ .7‬מערכות מיחשוב‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מערכות קבצים‬ ‫‪234322‬‬ ‫מבוא לרשתות מחשבים‬ ‫‪236334‬‬ ‫ניתוח וסינתזה של תוכנה‬ ‫‪236347‬‬ ‫הגנה במערכות מתוכנתות‬ ‫‪236350‬‬ ‫תכנון מעגלי ‪VLSI‬‬ ‫‪236354‬‬ ‫מערכות מסד נתונים‬ ‫‪236363‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫הנדסת מערכות הפעלה‬ ‫‪236376‬‬ ‫מימוש מערכות מסדי נתונים‬ ‫‪236510‬‬ ‫אלגוריתמים מקבילים לרשתות קבועות‪-‬קשר‬ ‫‪236699‬‬ ‫אלגוריתמים לניהול זיכרון דינמי‬ ‫‪236780‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬

‫‪ .8‬ראייה ורובוטיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫עיבוד תמונות ואותות במחשב‬ ‫‪236327‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬

‫‪13‬‬

‫‪236330‬‬ ‫‪236327‬‬ ‫‪236860‬‬ ‫‪236861‬‬ ‫‪236862‬‬ ‫‪236873‬‬ ‫‪236875‬‬ ‫‪236927‬‬

‫מבוא לאופטימיזציה‬ ‫רשתות בייסיניות‬ ‫עיבוד תמונות דיגיטלי‬ ‫גיאומטריה נומרית של תמונות‬ ‫ייצוגים דלילים ויתירים ויישומיהם בעיבוד אותות ותמונות‬ ‫ראיה ממוחשבת‬ ‫זיהוי ראייתי‬ ‫מבוא לרובוטיקה‬

‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬

‫‪ .9‬גיאומטריה וגרפיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫גרפיקה ממוחשבת ‪1‬‬ ‫‪234325‬‬ ‫גרפיקה ממוחשבת ‪2‬‬ ‫‪236324‬‬ ‫עיבוד ספרתי של גיאומטריה‬ ‫‪236329‬‬ ‫סינטזה של תמונות‬ ‫‪236373‬‬ ‫מודלים גיאומטריים במערכות תיב"ם‬ ‫‪236716‬‬ ‫גאומטריה חישובית‬ ‫‪236719‬‬ ‫גיאומטריה אלגוריתמית דיסקרטית‬ ‫‪238739‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬

‫‪ .10‬למידה ובינה מלאכותית‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לעיבוד שפות טבעיות‬ ‫‪236299‬‬ ‫רשתות בייסיאניות‬ ‫‪236372‬‬ ‫מבוא לבינה מלאכותית‬ ‫‪236501‬‬ ‫מבוא למערכות לומדות‬ ‫‪236756‬‬ ‫למידה חישובית‬ ‫‪236760‬‬ ‫מבוא לרשתות עצביות‬ ‫‪236941‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬

‫‪ .11‬פיסיקה חישובית וחישוב מדעי‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫אלגברה לינארית נומרית‬ ‫‪236320‬‬ ‫מבוא לאופטימיזציה‬ ‫‪236330‬‬ ‫פתרון נומרי של משוואות דיפרנציאליות חלקיות‬ ‫‪236336‬‬ ‫החשת התכנסות של תהליכים איטרטיבים‬ ‫‪236339‬‬ ‫שיטות רב‪-‬סריג‬ ‫‪236790‬‬

‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬

‫‪ .12‬ביואינפורמטיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לביואינפורמטיקה‬ ‫‪234525‬‬ ‫אלגוריתמים בביולוגיה חישובית‬ ‫‪236522‬‬

‫נקודות‬ ‫‪2.5‬‬ ‫‪3.0‬‬

‫את יתרת ‪ 18‬הנקודות יהוו קורסי התמחות בנושא המחקר המוצע‪ ,‬בהתאם לתוכנית שהתקבלה על דעת‬ ‫הסטודנט והמנחה‪ .‬ניתן לקחת עד ‪ 3‬סמינרים ונושאים מתקדמים לפני אישור נושא המחקר‪.‬‬ ‫שני המקצועות הבאים הם מקצועות חובה‪ .‬סטודנטים אשר לא למדו במסגרת התואר הראשון את הקורסים‪:‬‬ ‫‪ 234267‬מבנה מחשבים ספרתיים‬ ‫‪ 236343‬תורת החישוביות‬ ‫חייבים ללמוד אותם במסגרת תארים מתקדמים )נקודות הזיכוי תחשבנה לתואר(‪.‬‬ ‫יש ללמוד לפחות ‪ 6‬נקודות לאחר שאושר נושא המחקר‪ .‬מקצועות הלימוד יאושרו על‪-‬ידי המנחה או על‪-‬ידי‬ ‫המנחה הזמני‪ .‬במקרים מיוחדים ‪ -‬בהמלצת המנחה והמרכז ‪ -‬ניתן ללמוד עד ‪ 6‬נקודות מקצועות הסמכה‪.‬‬ ‫סטודנטים שאופי התמחותם בינתחומי‪ ,‬יוכלו‪ ,‬באישור מיוחד של המרכז‪ ,‬ללמוד עד ‪ 10‬נק' ממקצועות הסמכה‪.‬‬

‫‪14‬‬

‫‪4.2.2‬‬

‫תוכנית הלימודים לבוגרי תואר ארבע‪-‬שנתי‬

‫הסטודנט חייב לצבור ‪ 18‬נקודות במקצועות של תארים מתקדמים‪ .‬ככלל‪ ,‬מרבית הנקודות שייצברו יהיו בקורסי‬ ‫מוסמכים של מדעי המחשב‪ .‬בחירת המקצועות הללו תיעשה בתיאום עם המנחה הקבוע )או המנחה הזמני(‪.‬‬ ‫הסטודנט חייב ללמוד לפחות ‪ 6‬נקודות לאחר קביעת נושא המחקר‪.‬‬ ‫המקצועות הבאים הם מקצועות חובה‪ .‬סטודנטים שלא למדו במסגרת התואר הראשון את הקורסים‪:‬‬ ‫‪ 234267‬מבנה מחשבים ספרתיים‬ ‫‪ 236343‬תורת החישוביות‬ ‫חייבים ללמוד אותם במסגרת תארים מתקדמים )נקודות הזיכוי של הקורס "מבנה מחשבים ספרתיים" לא‬ ‫תחשבנה במסגרת ‪ 18‬נקודות המוסמכים הנדרשות לתואר‪ ,‬כלומר‪ ,‬סטודנט שלא למד "מבנה מחשבים‬ ‫ספרתיים" בתואר ראשון יידרש ל‪ 21-‬נק' במסגרת התואר השני‪ .‬מומלץ לסטודנטים הלומדים לתארים ארבע‪-‬‬ ‫שנתיים והמתכוונים להירשם לתואר שני‪ ,‬ללמוד קורס זה עוד במהלך התואר הראשון(‪.‬‬ ‫‪4.2.3‬‬

‫תוכנית הלימוד לסטודנטים משלימים‬

‫סטודנט יזוכה בנקודות מוסמכים עבור מקצועות השלמה ברמה של תארים מתקדמים )קידומת ‪ 236‬ומעלה(‪,‬‬ ‫במידה ויעבור אותם בציון סביר‪ .‬סטודנט יוכל לקבל פטור ממקצוע השלמה אם‪:‬‬ ‫א‪ .‬למד מקצוע דומה או מתקדם באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬ ‫ב‪ .‬קיבל פטור ממורה המקצוע‪.‬‬ ‫מקצועות ההשלמה ייקבעו לכל סטודנט עם קבלתו ללימודים מתוך הרשימה הבאה‪:‬‬ ‫מקצוע‬ ‫מתמטיקה‬

‫מדעי המחשב‬

‫מס' הקורס‬ ‫‪104012‬‬ ‫‪104013‬‬ ‫‪104167‬‬ ‫‪104134‬‬ ‫‪234107‬‬ ‫‪094412‬‬ ‫‪234122‬‬ ‫‪234218‬‬ ‫‪234247‬‬ ‫‪234293‬‬ ‫‪234123‬‬ ‫‪234267‬‬ ‫‪*236343‬‬ ‫‪*236360‬‬

‫שם הקורס‬ ‫חדו"א ‪ 1‬ת'‬ ‫חדו"א ‪ 2‬ת'‬ ‫אלגברה א'‬ ‫או‬ ‫אלגברה מודרנית ח'‬ ‫אנליזה נומרית ‪1‬‬ ‫הסתברות מ'‬ ‫מבוא לתכנות מערכות )מת"מ(‬ ‫מבנה נתונים ‪1‬‬ ‫אלגוריתמים ‪1‬‬ ‫לוגיקה ותורת הקבוצות למ"מ‬ ‫מערכות הפעלה‬ ‫מבנה מחשבים ספרתיים )ממ"ס(‬ ‫תורת החישוביות‬ ‫תורת הקומפילציה‬

‫נקודות‬ ‫‪5.5‬‬ ‫‪5.5‬‬ ‫‪5.0‬‬ ‫‪2.5‬‬ ‫‪4.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪4.5‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬

‫הסטודנטים יוכלו לקחת קורסים אלה ללא דרישה לעמידה בדרישות הקדם שלהם‪ .‬יש לעבור את מקצועות‬ ‫ההשלמה בממוצע של ‪ ,88‬וכל מקצוע בציון של לפחות ‪ .80‬סטודנט יזוכה בנקודות מוסמכים עבור מקצועות‬ ‫ההשלמה המסומנים בכוכב‪.‬‬ ‫בספּים הנדרשים‪ ,‬יאשר המרכז את מעבר הסטודנט לתוכנית‬ ‫עם סיום מקצועות ההשלמה‪ ,‬תוך עמידה ֱ‬ ‫הלימודים הרגילה לתואר מגיסטר )התוכנית לבוגרי תואר תלת‪-‬שנתי או התוכנית לבוגרי תואר ארבע‪-‬שנתי(‪.‬‬

‫‪15‬‬

‫‪ .5‬לימודים לתואר דוקטור‬ ‫‪5.1‬‬

‫)‪(Ph.D.‬‬

‫תנאי הקבלה‬

‫כללי‬ ‫‪5.1.1‬‬ ‫המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית‪ .‬הסטודנט יכין חיבור מדעי‬ ‫מקיף‪ ,‬המבוסס על המחקר שהוא ביצע‪ .‬המחקר אמור לקדם את הידע בשטח ההשתלמות‪ ,‬ולהיות ראוי‬ ‫לפרסום בעיתונות המקצועית‪.‬‬ ‫הגדרת סוגי הסטודנטים‬ ‫‪5.1.2‬‬ ‫מועמד העומד בדרישות הפורמליות של בית הספר לתארים מתקדמים לקבלה ללימודי תואר שלישי או‬ ‫העומד לסיים את לימודיו לתואר שני ומעוניין להתקבל ללימודי תואר שלישי‪ ,‬יפנה בעניין זה לוועדה לתארים‬ ‫מתקדמים לצורך הרישום‪.‬‬ ‫סטודנט יכול להתקבל כסטודנט משלים או כסטודנט מן המניין‪ .‬הסטטוס של סטודנט משלים נותן למועמד‬ ‫זמן של סמסטר אחד כדי להשלים את התנאים לקבלה כסטודנט מן המניין‪ ,‬כמתואר בסעיף ‪ 31.02‬בתקנות‬ ‫ביה"ס לתארים מתקדמים‪ .‬באותה עת הוא יכול להיות מלגאי בפקולטה‪ .‬ככלל‪ ,‬על הסטודנט להיות משתלם‬ ‫פנימי בפקולטה בהיקף מלא במשך שנה אחת לפחות במהלך תקופת השתלמותו‪.‬‬ ‫בקשת קבלה‬ ‫‪5.1.3‬‬ ‫סטודנט המבקש להתקבל ללימודי דוקטורט יגיש לפחות שלושה מכתבי המלצה על טפסים סטנדרטיים‬ ‫שיסופקו על‪-‬ידי הפקולטה‪ .‬רצוי מאוד שלסטודנט יהיה מנחה‪ ,‬ושיגיש הצעה לנושא מחקר‪ .‬עליו לציין באיזה‬ ‫שטח בכוונתו לערוך את מחקרו‪.‬‬ ‫ועדת קבלה‬ ‫‪5.1.4‬‬ ‫במידה ולסטודנט אין מנחה והצעת נושא מחקר‪ ,‬תשקול ועדת תארים מתקדמים את העברת הדיון בקבלתו‬ ‫לוועדת קבלה‪ .‬ועדת הקבלה תהיה מורכבת משלושה חברי סגל‪ ,‬מהם לפחות אחד מחברי הוועדה לתארים‬ ‫מתקדמים‪ ,‬ותגיש המלצתה לוועדת תארים מתקדמים‪ .‬ועדת הקבלה רשאית לזמן אליה את הסטודנט‬ ‫לראיון ו‪/‬או לבחון את כישוריו בדרך אחרת‪.‬‬ ‫תנאי קבלה‬ ‫‪5.1.5‬‬ ‫מועמד יתקבל כסטודנט מן המניין לתואר דוקטור‪ ,‬אם ימלא אחר התנאים הבאים‪:‬‬ ‫א(‬ ‫ב(‬ ‫ג(‬ ‫ד(‬

‫יעמוד בכל הדרישות הפורמליות של בית‪-‬הספר לתארים מתקדמים‪.‬‬ ‫יתקבל על‪-‬סמך המלצה של ועדת קבלה‪ ,‬ויעמוד בהצלחה בדרישות ועדת הקבלה‪.‬‬ ‫יעמוד בדרישות אחרות )כגון במקרים של שינוי שטח(‪ ,‬עליהן תחליט הוועדה ללימודי‬ ‫מוסמכים של הפקולטה בעת הדיון בבקשתו של הסטודנט‪.‬‬ ‫יקבל אישור דיקן בית‪-‬הספר לתארים מתקדמים‪.‬‬

‫מועמד שלא עומד בסעיף א( יכול להתקבל כסטודנט משלים למשך סמסטר אחד‪.‬‬ ‫במשך סמסטר זה‪ ,‬עליו לעמוד בכל הדרישות שיאפשרו שינוי מעמדו לסטודנט מן המניין‪.‬‬ ‫מסלול ישיר לדוקטורט‬ ‫‪5.1.6‬‬ ‫סטודנטים מצטיינים‪ ,‬הלומדים לקראת תואר מגיסטר‪ ,‬יכולים לעבור למסלול לימודים ישיר לקראת תואר‬ ‫דוקטור‪ .‬אם התקיימו התנאים למעבר כזה )על‪-‬פי סעיף ‪ 24.07‬בתקנות בית הספר לתארים מתקדמים(‪,‬‬ ‫יפנה הסטודנט‪ ,‬בהמלצת המנחה ובצירוף המלצה נוספת‪ ,‬לוועדה לתארים מתקדמים‪.‬‬

‫‪5.2‬‬

‫מחקר‬

‫כללי‬ ‫‪5.2.1‬‬ ‫המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית‪ .‬הסטודנט יכין חיבור מדעי‬ ‫מקיף‪ ,‬המבוסס על המחקר שהוא ביצע‪ .‬המחקר אמור לקדם את הידע בשטח ההשתלמות‪ ,‬ולהיות ראוי‬ ‫לפרסום בעיתונות המקצועית‪.‬‬ ‫מנחה ונושא המחקר‬ ‫‪5.2.2‬‬ ‫על כל סטודנט למצוא מנחה‪ ,‬ולהגדיר נושא מחקר בתוך סמסטר אחד ממועד קבלתו‪ .‬משתלם חיצוני אינו‬ ‫יכול לבחור מנחה שהוא מורה נלווה‪.‬‬

‫‪16‬‬

‫בחינת מועמדות‬ ‫‪5.2.3‬‬ ‫לקראת סיום שנת ההשתלמות הראשונה‪ ,‬על הסטודנט להגיש תוכנית מחקר המתארת את הישגיו עד זמן‬ ‫ההגשה‪ ,‬ואת תוכניותיו להמשך המחקר‪ .‬תוכנית זו אמורה להיות מאושרת על‪-‬ידי המנחה והוועדה‪,‬‬ ‫ומשמשת בסיס ל"בחינת המועמדות"‪.‬‬

‫‪5.3‬‬

‫לימודים‬

‫נקודות‬ ‫‪5.3.1‬‬ ‫החל מסמסטר א' תשע"א דוקטורנטים נדרשים ללמוד‪:‬‬ ‫ קורסים למוסמכים )או משותפים הסמכה‪/‬מוסמכים( בהיקף של ‪ 12‬נקודות לפחות‪.‬‬‫ סטודנטים במסלול הישיר לדוקטורט יידרשו ל‪ 6-‬נקודות יותר מדרישת הנקודות שלהם למגיסטר‪.‬‬‫מקצועות השלמה‬ ‫‪5.3.2‬‬ ‫על מועמד ללימודי תואר דוקטור‪ ,‬שאין לו רקע במדעי המחשב‪ ,‬יוטלו מקצועות השלמה מתוך מקצועות‬ ‫החובה של התוכנית התלת‪-‬שנתית בתואר ראשון‪.‬‬ ‫מועמד יוכל להיות פטור מהמקצועות הנ"ל במקרים הבאים‪:‬‬ ‫‪ .1‬למד מקצועות שקולים או מכילים‬ ‫‪ .2‬המקצועות מהתוכנית הנ"ל מהווים קדם למקצועות שלמד‬ ‫הוועדה לתארים מתקדמים תקבע‪ ,‬לגבי כל מועמד‪ ,‬את רשימת מקצועות ההשלמה שעליו ללמוד‪ ,‬ובנוסף‬ ‫לכך‪ ,‬את מספר הנקודות )‪ ,(24-4‬שעליו להשלים במסגרת לימודי המוסמכים‪ .‬בחירת המקצועות תיעשה‬ ‫בתיאום עם המנחה‪.‬‬

‫‪17‬‬

‫‪ .6‬חברי הסגל ותחומי מחקרם‬ ‫מידע נוסף על חברי הסגל ופרסומיהם ניתן לקבל בדפי הסגל‪ ,‬באתר הפקולטה‪:‬‬ ‫‪www.cs.technion.ac.il/he/people/faculty‬‬ ‫אונגריש מריוס‪ ,‬פרופסור‬ ‫סימולציות וחישובים בדינמיקה של זורמים; אלגוריתמים נומריים מקביליים עבור "מחשבי על"‪ ,‬התיאוריה‬ ‫של זרימות דו‪-‬פאזיות וסובבות; אנליזה נומרית‪.‬‬ ‫אורנן עוזי‪ ,‬פרופסור‪/‬אורח‬ ‫עיבוד שפות טבעיות; בלשנות עברית ממוחשבת בתחומי פונולוגיה; מורפולוגיה; תחביר וסמנטיקה‪.‬‬ ‫תרגום מכני‪ ,‬מנועי חיפוש‪ ,‬זיהוי דיבור‪.‬‬ ‫אילון ניר‪ ,‬פרופסור משנה‬ ‫למידה ממוחשבת וסטטיסטיקה‪ ,‬אלגוריתמי אופטימיזציה קומבינטורית וקרוב‪ ,‬הורדת ממד אלגוריתמית‬ ‫ויישומים‪ ,‬סיבוכיות ‪.‬‬ ‫איתי אלון‪ ,‬פרופסור‬ ‫מבני נתונים אלגוריתמים דטרמיניסטים ורנדומיאליים; אלגוריתמים לזיכרון היררכי; שיטות סטטיסטיות‬ ‫לעיבוד שפות טבעיות‪.‬‬ ‫אל‪-‬יניב רן‪ ,‬פרופסור חבר‬ ‫למידה סטטיסטית ולמידת מכונה‪ ,‬דחיסה ומיצבור מידע‪ .‬שימושים לאיחזור‪ ,‬סיווג וכריית מידע‬ ‫טקסטואלי‪ ,‬ביולוגי‪ ,‬מוזיקלי ותמונות‪ .‬תיאוריה ושימושים של אלגורתמים מקוונים‪ .‬חישוביות בתחום‬ ‫המימון ובפרט‪ ,‬אלגוריתמים לבחירת תיקי השקעות‪.‬‬ ‫אלבר גרשון‪ ,‬פרופסור‬ ‫תיכון גיאומטרי בעזרת מחשב; מידול גופים; גרפיקה ממוחשבת‪.‬‬

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

‫בן‪-‬חן מירלה‪ ,‬פרופסור משנה‬ ‫גרפיקה ממוחשבת‪ ,‬עיבוד גיאומטריה‪ ,‬גיאומטריה דיפרנציאלית דיסקרטית‪ ,‬ניתוח והבנת צורות‪.‬‬

‫בן‪-‬ששון אלי‪ ,‬פרופסור חבר‬ ‫מורכבות חישובים; מורכבות הוכחות; אנליזה של אלגוריתמים להכרעת ספיקות מעגלים; אלגוריתמים‬ ‫תת‪-‬לינאריים לבדיקת הוכחות וצפנים לתיקון שגיאות‪.‬‬ ‫בר‪-‬יהודה ראובן‪ ,‬פרופסור חבר‬ ‫אופטימיזציה קומבינטורית‪ :‬אלגוריתמי שיבוץ‪ ,‬גיאומטריה חישובית‪ ,‬אלגוריתמים בתורת הגרפים‪,‬‬ ‫אלגוריתמים מבוזרים‪.‬‬

‫‪18‬‬

‫ברוקשטיין אלפרד‪ ,‬פרופסור‬ ‫עיבוד אותות ותמונות‪ ,‬ראייה ממוחשבת וניתוח תמונות‪ ,‬זיהוי צורות‪ ,‬גיאומטריה שימושית‪ ,‬רובוטיקה‪,‬‬ ‫במיוחד רובוטיקה מבוזרת‪ ,‬תורת השערוך‪ ,‬קידוד עצבי‪.‬‬ ‫ברעם יורם‪ ,‬פרופסור‬ ‫תורת הלמידה הסטטיסטית; זיהוי צורות‪ ,‬סיווג רגרסיה‪ .‬זיכרון אסוציאטיבי‪ :‬קיבולת הזיכרון והדינמיקה‬ ‫של רשתות לא‪-‬לינאריות; מציאות וירטואלית ובקרת משוב לתיקון הפרעות תנועה‪.‬‬ ‫ברקת גיל‪ ,‬פרופסור חבר‬ ‫גיאומטריה דיסקרטית וחישובית; חישובים גיאומטריים; קומבינטוריקה; תכנון גיאומטרי בעזרת מחשב;‬ ‫גרפיקה ותצוגה‪.‬‬ ‫בשותי נאדר‪ ,‬פרופסור‬ ‫למידה חישובית‪.‬‬

‫גוטסמן חיים‪ ,‬פרופ'‬ ‫גרפיקה ממוחשבת; אנימציה; גיאומטריה חישובית‪.‬‬

‫גייגר דן‪ ,‬פרופסור‬ ‫תיאוריה ויישום של רשתות הסקה הסתברותית; בינה מלאכותית; סטטיסטיקה בייסיאנית‪.‬‬

‫גיל יוסף‪ ,‬פרופסור חבר‬ ‫הנדסת תוכנה‪ ,‬תכנות מונחה עצמים; שפות תכנות; מנשק אדם‪-‬מכונה; שפות תכנות ויזואליות; תורת‬ ‫ההידור‪.‬‬ ‫גרימברג אורנה‪ ,‬פרופסור‬ ‫אימות בעזרת מחשב של חומרה ותוכנה; מודולריות ואבסטרקציה; לוגיקה טמפורלית; בדיקת מודל מקבילית‪,‬‬ ‫שקילויות ויחסי סדר בין מבנים‪ ,‬אימות מונחה‪ ,SAT-‬משחקים‪.‬‬ ‫היימן מיכאל‪ ,‬פרופסור אמריטוס‬ ‫רובוטיקה; בקרה סימבולית; מערכות אירועים בדידים‪.‬‬ ‫זקס שמואל‪ ,‬פרופסור‬ ‫אלגוריתמים מבוזרים; רשתות ‪ ATM‬ורשתות אופטיות; אלגוריתמים בתורת הגרפים; קומבינטוריקה‬ ‫ותורת הגרפים; מתמטיקה דיסקרטית‪.‬‬ ‫יבנה עירד‪ ,‬פרופסור‬ ‫שיטות רב‪-‬סריג; חישוב מדעי; פיסיקה חישובית; דינמיקת זורמים גיאופיסיים; עיבוד וניתוח תמונה;‬ ‫אנליזה נומרית‪.‬‬ ‫יהב ערן‪ ,‬פרופסור חבר‬ ‫ניתוח תכניות‪ ,‬אינטרפרטציה אבסטרקטית‪ ,‬אימות תוכנה‪ ,‬סינתזה של תוכנה‪ ,‬מערכות מקביליות‬ ‫ומבוזרות‪ ,‬שפות תכנות‪ ,‬הנדסת תוכנה‪.‬‬ ‫יעקובי איתן‪ ,‬פרופסור משנה‬ ‫תורת האינפורמציה ותורת הצפינה עם אפליקציות עבור זכרונות מחשב‪ ,‬זכרונות אסוציאטיביים‪,‬‬ ‫אחסון ואחזור מידע; תורת ההצבעות‪.‬‬

‫‪19‬‬

‫ישי יובל‪ ,‬פרופסור‬ ‫קריפטוגרפיה‪ ,‬תורת הסיבוכיות‪.‬‬

‫כהן ראובן‪ ,‬פרופסור‬ ‫ארכיטקטורה ופרוטוקולים של רשתות מחשבים‪ :‬רשת האינטרנט‪ ,‬רשתות אלחוטיות‪ ,‬רשתות סלולאריות‪,‬‬ ‫רשתות גישה רחבות סרט‪ ,‬רשתות סנסורים‪ ,‬פרוטוקולי ניתוב‪ ,‬פרוטוקולי ‪ MAC‬ופרוטוקולי תובלה‪.‬‬ ‫כוכבי צבי‪ ,‬פרופסור אמריטוס‬ ‫מודלים חישוביים; מיתוג ואוטומטים; אמינות ושיטת בדיקה של מערכות ספרתיות‪.‬‬

‫כ"ץ שמואל‪ ,‬פרופסור‬ ‫אימות תוכניות; תיאורי דרישות פורמליים; פיתוח תוכנה מונחה אספקטים; מערכות מבוזרות; לוגיקה‬ ‫טמפורלית; שפות תכנות; הנדסת תוכנה‪.‬‬ ‫ליטמן עמי‪ ,‬פרופסור חבר‬ ‫אלגוריתמים מקביליים; רשתות קבועות‪-‬קשר; רשתות ניתוב; מערכות סיסטוליות; ‪.VLSI‬‬ ‫לינדנבאום מיכאל‪ ,‬פרופסור‬ ‫ראיית מכונה ועיבוד תמונות; למידה; כימות וחיזוי ביצועים עבור מערכות לזיהוי עצמים ולקיבוץ‬ ‫)‪.(grouping‬‬ ‫למפל אברהם‪ ,‬פרופסור אמריטוס‬ ‫שימושים של מתמטיקה דיסקרטית למדעי המחשב ולתורת האינפורמציה‪.‬‬ ‫מור טל‪ ,‬פרופסור חבר‬ ‫עיבוד אינפורמציה קוואנטית )תיאוריה(‪ :‬קריפטולוגיה‪ ,‬חישוב‪ ,‬אינפורמציה‪ ,‬תקשורת‪ .‬מימוש עיבוד‬ ‫אינפורמציה קוונטית‪.‬‬ ‫מורן שלמה‪ ,‬פרופסור‬ ‫היבטים אלגוריתמיים בביולוגיה חישובית )עם דגש על עצים פילוגנטיים(‪ ,‬קומבינטוריקה ותורת הגרפים‪.‬‬

‫מנדלסון אבי‪ ,‬פרופסור אורח‬ ‫ארכיטקטורות מחשבים – מערכות הטרוגניות‪ ,System-on-Chip ,‬ניהול אנרגטי‪ ,‬מערכות חסינות נפילות‬ ‫ו‪ ;GPGPU-‬מערכות הפעלה – עבור ‪ System-on-Chip‬ומערכות הטרוגניות; מערכות זמן אמת – ‪WCET‬‬ ‫עבור מערכות בדידות ומערכות מרובות מעבדים; מערכות הפעלה למערכות זמן אמת‪,mix-criticality ,‬‬ ‫וניהול אנרגטי של מערכות זמן אמת‪.‬‬ ‫מקובסקי יוהן‪ ,‬פרופסור‬ ‫לוגיקה וסיבוכיות‪ ,‬סיבוכיות מעל הממשים‪ ,‬קומבינטוריקה אלגברית‪.‬‬

‫מרקוביץ' שאול‪ ,‬פרופסור חבר‬ ‫מערכות לומדות; בינה מלאכותית; חיפוש יוריסטי; חיפוש בעצי משחק; למידה בסביבה מרובת סוכנים‪.‬‬

‫נאור ספי )יוסף(‪ ,‬פרופסור‬ ‫אלגוריתמים דיסקרטיים עם דגש על אלגוריתמי קירוב; אלגוריתמים מקוונים ואלגוריתמים הסתברותיים;‬ ‫אלגוריתמים ברשתות תקשורת‪.‬‬

‫‪20‬‬

‫סידי אברהם‪ ,‬פרופסור‬ ‫קרובי ‪ ;Padé‬היפוך מקורב של טרנספורמי לפלס; האצת התכנסות ושיטות אכסטרפולציה לסדרות‬ ‫סקלריות ווקטוריות; אינטגרציה נומרית; פתרון נומרי למשוואות אינטגרליות סינגולריות ובעלות‬ ‫סינגולריות חלשה; קירובים אכספוננציאליים‪ ,‬שיטות אסימפטוטיות; אלגברה ליניארית נומרית‪.‬‬ ‫סרברו‪-‬ברתום נתן‪ ,‬פרופסור חבר‬ ‫למידת מכונה‪ ,‬תורת הלמידה הסטטיסטית‪ ,‬אופטימיזציה קמורה‪.‬‬

‫עטיה חגית‪ ,‬פרופסור‬ ‫תיאוריה של מערכות מבוזרות‪ :‬אלגוריתמים‪ ,‬חסמים תחתונים ומודלים‪ ,‬אמינות; אלגוריתמים לרשתות‬ ‫תקשורת; מערכות מרובות‪-‬מעבדים‪.‬‬ ‫עציון טובי‪ ,‬פרופסור‬ ‫תורת הצפינה; סדרות ספרתיות בתקשורת וצפינה; אלגוריתמים ובניות קומבינטוריות‪.‬‬

‫עציון יואב‪ ,‬פרופסור משנה‬ ‫ארכיטקטורה של מעבדים‪ ,‬מערכות מחשב ועיבוד מקבילי‪ ,‬ממשק חומרה‪/‬תוכנה‪ ,‬מערכות הפעלה‪ ,‬מודלי‬ ‫חישוב מקביליים‪ ,‬חישוב עתיר ביצועים‪.‬‬ ‫פז עזריה‪ ,‬פרופסור אמריטוס‬ ‫תורת האלגוריתמים )אלגבריים‪ ,‬הסתברותיים(‪ ,‬אנליזה שלהם וקירובים; מתמטיקה חישובית דיסקרטית;‬ ‫אלגוריתמים בשלמים; תורת האוטומטים; שפות פורמליות )דטרמנסטיות והסתברותיות(; גרפואידים‪:‬‬ ‫איפיון אי‪-‬תלות במערכות ידע‪.‬‬ ‫פטרנק ארז‪ ,‬פרופסור חבר‬ ‫ניהול זיכרון‪ ,‬מערכות‪ ,‬מערכות מקביליות‪ ,‬קריפטוגרפיה‪ ,‬סיבוכיות‪ ,‬אלגוריתמי קירוב‪.‬‬

‫פינטר רון‪ ,‬פרופסור‬ ‫ביואינפורמטיקה; מיחשוב על; שפות תכנות; קומפילציה; תכנון אוטומטי של מעגלים משולבים; איחזור‪,‬‬ ‫ארגון ומיזוג מידע‪.‬‬ ‫פישר אלדר‪ ,‬פרופסור חבר‬ ‫יעילות של חישובים‪ ,‬בעיקר בדיקה הסתברותית של תכונות‪ ,‬היסקים סטטיסטיים‪ ,‬ואימות הסתברותי של‬ ‫הוכחות; קומבינטוריקה‪ :‬בעיקר תורת הגרפים‪ ,‬רגולריות במבנים קומבינטוריים‪ ,‬ויישומיהן ליעילות של‬ ‫חישובים; לוגיקה במדעי המחשב‪ :‬איפיון לוגי של תכונות שיש עבורן אלגוריתמים יעילים או שמתקיימים‬ ‫עבורן תנאים קומבינטוריים חזקים‬ ‫פרידמן רועי‪ ,‬פרופסור חבר‬ ‫מערכות מבוזרות; תקשורת קבוצתית; מערכות תווכה ‪ .NET‬ו‪ ;CORBA-‬אשכולות מחשבים; אפליקציות‬ ‫מולטימדיה מבוזרות‪ ,‬חישוב נייד‪.‬‬ ‫פרנסיז נסים‪ ,‬פרופסור‬ ‫ראשי‪ :‬בלשנות חישובית‪ ,‬דקדוקי קטגוריות‪ ,‬סמנטיקה פורמלית של שפות טבעיות‪ ,‬דקדוקי יוניפיקציה‬ ‫)האחדה( תחשיב ‪ λ -‬וטיפוסים‪ ,‬ותורת ההוכחה‪ .‬משני‪ :‬סמנטיקה של שפות תכנות‪ ,‬אימות תוכניות‪,‬‬ ‫תכנות מקבילי ומבוזר‪ ,‬תכנות לוגי פרולוג‪.‬‬ ‫צנזור‪-‬הלל קרן‪ ,‬פרופסור משנה‬ ‫חישוב מבוזר‪ ,‬במיוחד אלגוריתמים הסתברותיים וחסמים תחתונים‪ ,‬ותיאוריה של מדעי המחשב בכלל‪.‬‬

‫צפריר דן‪ ,‬פרופסור משנה‬ ‫מערכות הפעלה‪ ,‬מערכות מקביליות‪ ,‬בטיחות‪ ,‬הערכת ביצועים‪.‬‬

‫‪21‬‬

‫קושלביץ איל‪ ,‬פרופסור‬ ‫פרוטוקולים קריפטוגרפיים ופרטיות במערכות מבוזרות; תורת הלמידה; אקראיות במערכות מבוזרות;‬ ‫סיבוכיות וסיבוכיות‪-‬תקשורת‪.‬‬ ‫קימל רון‪ ,‬פרופסור‬ ‫עיבוד תמונות‪ ,‬ראייה ממוחשבת‪ ,‬ניתוח תמונות רפואיות‪ ,‬ניווט רובוטים‪ ,‬גרפיקה ממוחשבת‪ ,‬גיאומטריה‬ ‫דיפרנציאלית‪ ,‬חישוב מדעי‪.‬‬

‫קמינסקי מיכאל‪ ,‬פרופסור‬ ‫לוגיקה במדעי המחשב; אוטומטים סופיים; סיבוכיות של חישובים אלגבריים‪.‬‬ ‫קנזה ירון‪ ,‬פרופסור משנה‬ ‫מערכות מסדי נתונים ותיאוריה של מסדי נתונים‪ :‬אינטגרציה של מידע‪ ,‬העברת מידע סמנטי בין‬ ‫אפליקציות‪ ,‬טיפול במידע חסר ובמידע הסתברותי‪ ,‬פרטיות ובקרת גישה לנתונים; ניהול מידע באינטרנט‪:‬‬ ‫שאילתות ושאילתות חיפוש מעל ‪ ;XML‬ניהול מידע מרחבי וגיאוגרפי‪.‬‬ ‫קנטרוביץ' אליעזר‪ ,‬פרופסור חבר בגימלאות‬ ‫הנדסת תוכנה‪ ,‬מנשקי משתמש‪ ,‬תכנות מוטה רכיבים‪ ,‬תכנות באינטרנט ‪,‬רכיבי תוכנה עם‬ ‫מנשקים סמנטיים‪ ,‬אמידה סטטיסטית של מספר הפגמים בתוכנה‪.‬‬ ‫רוט רוני‪ ,‬פרופסור‬ ‫צפינת ערוץ; תורת האינפורמציה; אלגברה ושימושיה בצפינה ובסיבוכיות‪.‬‬

‫רז דני‪ ,‬פרופסור‬ ‫תיאוריה ויישום של בעיות הקשורות לניהול רשתות תקשורת מחשבים בעיקר בתחום ה‪ .IP-‬במיוחד‪:‬‬ ‫רשתות אקטיביות )‪ ;(Active Networks‬בעיות מיקום שרתים; תיאוריה של ניהול רשתות תקשורת‪,‬‬ ‫תקשורת אלחוטית ובעיות אופטימיזציה שונות‪.‬‬ ‫ריבלין אהוד‪ ,‬פרופסור‬ ‫ראייה ממוחשבת; עיבוד תמונה; רובוטיקה; בינה מלאכותית; בסיסי נתונים עם תמונות; גרפיקה וראייה‬ ‫ממוחשבת‪.‬‬ ‫שוסטר אסף‪ ,‬פרופסור‬ ‫חישוב מקבילי ומבוזר‪.‬‬

‫שכנאי הדס‪ ,‬פרופסור‬ ‫אלגוריתמים לבעיות באופטימיזציה קומבינטורית‪ ,‬בפרט לבעיות אריזה‪ ,‬תזמון והקצאת משאבים עם‬ ‫יישומים במערכות מידע ותקשורת‪ .‬אלגוריתמים אקראיים; אלגוריתמים פרמטריים ושימושיהם במציאת‬ ‫פתרונות מקורבים; חישוב מקבילי‪.‬‬ ‫שלומי תומר‪ ,‬פרופסור חבר‬ ‫ביואינפורמטיקה; אנליזה של רשתות ביולוגיות‪ :‬מידול מבוסס אילוצים של רשתות מטבוליות; אנליזה של‬ ‫רשתות אינטרקציה בין חלבונים‪.‬‬ ‫שמואלי עודד‪ ,‬פרופסור‬ ‫מערכות מסדי נתונים‪ :‬אספקטים תיאורטיים של ביצוע שאילתות במסדי נתונים יחסיים‪ ,‬במסדים מבוססי‬ ‫‪ XML‬ובמסדי נתונים מבוססי לוגיקה )‪ ;(Datalog‬אספקטים מערכתיים‪ :‬אחסון פיזי‪ ,‬בקרת מקביליות‪,‬‬ ‫התאוששות מנפילות‪ ,‬שכפול וביזור; שאילתות על ה‪ ;WWW-‬מסחר אלקטרוני; משא ומתן אוטומטי‪.‬‬ ‫שפילקה אמיר‪ ,‬פרופסור חבר‬ ‫תיאוריה של מדעי המחשב‪ :‬סיבוכיות חישובים ובמיוחד סיבוכיות של מעגלים אריתמטים ;קשרים בין‬ ‫התורה של קודים מתקני שגיאות לבעיות בסיבוכיות של חישובים; בעיות אלגבריות במדעי המחשב;‬ ‫בעיות דה‪-‬רנדומיזציה‪.‬‬

‫‪22‬‬

‫‪ .7‬תחומי המחקר בפקולטה למדעי המחשב‬ ‫מידע נוסף על תחומי המחקר בפקולטה ניתן לקבל באתר הפקולטה‪:‬‬ ‫‪www.cs.technion.ac.il/he/research-areas‬‬

‫קבוצות מחקר‬

‫של‬ ‫תיאוריה של‬ ‫תיאוריה‬ ‫מחשב‬ ‫מדעי‬ ‫מדעי ההמחשב‬

‫בינה‬ ‫בינה‬ ‫מלאכותית‬ ‫מלאכותית‬

‫מערכות‬ ‫מערכות‬

‫נבונות‬ ‫מערכות נבונות‬ ‫מערכות‬ ‫מדעי‬ ‫וחישוב‬ ‫וחישוב מדעי‬

‫‪23‬‬

‫מחקר‬ ‫מחקר‬ ‫תחומי‬ ‫בין‬ ‫בין‪--‬תחומי‬

‫המחשב‬ ‫מדעי המחשב‬ ‫של מדעי‬ ‫תיאוריה של‬ ‫תיאוריה‬ ‫חישובית‪:‬‬ ‫גיאומטריה חישובית‬ ‫גיאומטריה‬

‫צפינה‪::‬‬ ‫צפינה‬

‫סיבוכיות‪::‬‬ ‫סיבוכיות‬

‫א‪ .‬בן‪-‬ששון‬ ‫א‪ .‬יעקובי‬ ‫א‪ .‬למפל‬ ‫ט‪ .‬עציון‬ ‫ר‪ .‬רוט‬

‫א‪ .‬בן‪-‬ששון‬ ‫ר‪ .‬בר‪-‬יהודה‬ ‫נ‪ .‬בשותי‬ ‫י‪ .‬ישי‬ ‫י‪ .‬מקובסקי‬ ‫ס‪ .‬נאור‬ ‫א‪ .‬פישר‬ ‫א‪ .‬קושלביץ‬ ‫מ‪ .‬קמינסקי‬

‫קריפטולוגיה‪::‬‬ ‫קריפטולוגיה‬

‫מבוזרת‪::‬‬ ‫חישוביות מבוזרת‬ ‫חישוביות‬

‫וסמנטיקה‪::‬‬ ‫לוגיקה וסמנטיקה‬ ‫לוגיקה‬

‫א‪ .‬ביהם‬ ‫י‪ .‬ישי‬ ‫א‪ .‬פטרנק‬ ‫א‪ .‬קושלביץ‬

‫ש‪ .‬זקס‬ ‫ר‪ .‬פרידמן‬ ‫ח‪ .‬עטיה‬ ‫ק‪ .‬צנזור‪-‬הלל‬

‫א‪ .‬גרימברג‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬ ‫י‪ .‬מקובסקי‬ ‫נ‪ .‬פרנסיז‬ ‫מ‪ .‬קמינסקי‬

‫ושפות‬ ‫אוטומטים ושפות‬ ‫אוטומטים‬ ‫פורמליות‪::‬‬ ‫פורמליות‬ ‫ע‪ .‬פז‬ ‫נ‪ .‬פרנסיז‬ ‫מ‪ .‬קמינסקי‬

‫ג‪ .‬ברקת‬ ‫ר‪ .‬בר‪-‬יהודה‬

‫האלגוריתמים‪:‬‬ ‫תורת האלגוריתמים‬ ‫תורת‬ ‫נ‪ .‬אילון‬ ‫א‪ .‬איתי‬ ‫א‪ .‬בן‪-‬ששון‬ ‫ר‪ .‬בר‪-‬יהודה‬ ‫ג‪ .‬ברקת‬ ‫ש‪ .‬זקס‬ ‫ש‪ .‬מורן‬ ‫ס‪ .‬נאור‬ ‫ע‪ .‬פז‬ ‫א‪ .‬פישר‬ ‫ק‪ .‬צנזור‪-‬הלל‬ ‫ה‪ .‬שכנאי‬

‫מערכות‬ ‫מערכות‬ ‫נתונים‬ ‫מסדי נתונים‬ ‫מסדי‬ ‫נתונים‪::‬‬ ‫ועיבוד נתונים‬ ‫ועיבוד‬

‫מבוזרות‬ ‫מערכות מבוזרות‬ ‫מערכות‬ ‫ומקבילות‪::‬‬ ‫ומקבילות‬

‫י‪ .‬גיל‬ ‫י‪ .‬מקובסקי‬ ‫י‪ .‬קנזה‬ ‫א‪ .‬שוסטר‬ ‫ע‪ .‬שמואלי‬

‫ע‪ .‬יהב‬ ‫ח‪ .‬עטיה‬ ‫י‪ .‬עציון‬ ‫א‪ .‬פטרנק‬ ‫ר‪ .‬פרידמן‬ ‫ד‪ .‬צפריר‬ ‫א‪ .‬שוסטר‬

‫הפעלה‬ ‫מערכות הפעלה‬ ‫מערכות‬ ‫ווירטואליזציה‪::‬‬ ‫ווירטואליזציה‬ ‫ד‪ .‬צפריר‬ ‫י‪ .‬עציון‬ ‫א‪ .‬שוסטר‬

‫חומרה‬ ‫חומרה‬ ‫וארכיטקטורת‬ ‫וארכיטקטורת‬ ‫מחשבים‪::‬‬ ‫מחשבים‬ ‫צ‪ .‬כוכבי‬ ‫ע‪ .‬ליטמן‬ ‫ט‪ .‬מור‬ ‫י‪ .‬עציון‬

‫תכנות‪::‬‬ ‫שפות תכנות‬ ‫שפות‬ ‫י‪ .‬גיל‬ ‫א‪ .‬פטרנק‬ ‫ע‪ .‬יהב‬

‫תקשורת‬ ‫רשתות‪ ,,‬תקשורת‬ ‫רשתות‬ ‫ומערכות‪::‬‬ ‫ומערכות‬ ‫ש‪ .‬זקס‬ ‫ע‪ .‬ליטמן‬ ‫ר‪ .‬כהן‬ ‫ר‪ .‬רוט‬ ‫ד‪ .‬רז‬

‫תוכנה‬ ‫אימות תוכנה‬ ‫אימות‬ ‫וחומרה‪::‬‬ ‫וחומרה‬ ‫א‪ .‬גרימברג‬ ‫מ‪ .‬היימן‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬

‫תוכנה‪::‬‬ ‫הנדסת תוכנה‬ ‫הנדסת‬

‫איחסון‪::‬‬ ‫איחסון‬

‫מערכות‪::‬‬ ‫אבטחת מערכות‬ ‫אבטחת‬

‫י‪ .‬גיל‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬ ‫ר‪ .‬פינטר‬ ‫ר‪ .‬פרידמן‬ ‫א‪ .‬קנטרוביץ'‬

‫ע‪ .‬יהב‬ ‫א‪ .‬יעקובי‬ ‫א‪ .‬פטרנק‬ ‫ד‪ .‬צפריר‬ ‫י‪ .‬קנזה ‪24‬‬ ‫א‪ .‬שוסטר‬

‫א‪ .‬ביהם‬ ‫ע‪ .‬יהב‬ ‫ד‪ .‬צפריר‬

‫מלאכותית‬ ‫בינה מלאכותית‬ ‫בינה‬ ‫חשיבה‪::‬‬ ‫חשיבה‬

‫למידה‪::‬‬ ‫למידה‬

‫ד‪ .‬גייגר‬ ‫מ‪ .‬קמינסקי‬ ‫ע‪ .‬פז‬

‫א‪ .‬איתי‬ ‫י‪ .‬ברעם‬ ‫נ‪ .‬בשותי‬ ‫ד‪ .‬גייגר‬ ‫ר‪ .‬אל‪-‬יניב‬ ‫מ‪ .‬אלעד‬ ‫ש‪ .‬מרקוביץ‬ ‫ע‪ .‬אורנן‬ ‫נ‪ .‬סרברו‪-‬ברתום‬

‫מדעי‬ ‫שוב מדעי‬ ‫וחישוב‬ ‫נבונות וחי‬ ‫מערכות נבונות‬ ‫מערכות‬

‫גיאומטרי‪::‬‬ ‫מידול גיאומטרי‬ ‫מידול‬

‫גרפיקה‬ ‫גרפיקה‬

‫ג‪ .‬אלבר‬ ‫ג‪ .‬ברקת‬

‫ג‪ .‬אלבר‬ ‫מ‪ .‬בן‪-‬חן‬ ‫ח‪ .‬גוטסמן‬ ‫ר‪ .‬קימל‬

‫תמונות‬ ‫עיבוד תמונות‬ ‫עיבוד‬ ‫וראייה‬ ‫ממוחשבת‪::‬‬ ‫וראייה ממוחשבת‬ ‫מ‪ .‬אלעד‬ ‫א‪ .‬ברוקשטיין‬ ‫ע‪ .‬יבנה‬ ‫מ‪ .‬לינדנבאום‬ ‫ר‪ .‬קימל‬ ‫א‪ .‬ריבלין‬

‫מדעי‬ ‫חישוב מדעי‬ ‫חישוב‬ ‫נומרית‪::‬‬ ‫ואנליזה‬ ‫ואנליזה נומרית‬

‫ומערכות‬ ‫רובוטיקה ומערכות‬ ‫רובוטיקה‬ ‫מורכבות‪::‬‬ ‫מורכבות‬

‫מ‪ .‬אונגריש‬ ‫מ‪ .‬אלעד‬ ‫ע‪ .‬יבנה‬ ‫א‪ .‬סידי‬ ‫נ‪ .‬סרברו‪-‬ברתום‬ ‫ר‪ .‬קימל‬

‫א‪ .‬ברוקשטיין‬ ‫י‪ .‬ברעם‬ ‫מ‪ .‬היימן‬ ‫א‪ .‬ריבלין‬

‫תחומי‬ ‫מחקר בין‬ ‫מחקר‬ ‫בין‪--‬תחומי‬ ‫ביואינפורמטיקה‬ ‫ביואינפורמטיקה‬ ‫המחשב‬ ‫מדעי המחשב‬ ‫))מדעי‬ ‫וביולוגיה((‪:(::‬‬ ‫וביולוגיה‬ ‫ד‪ .‬גייגר‬ ‫ש‪ .‬מורן‬ ‫ר‪ .‬פינטר‬ ‫ת‪ .‬שלומי‬

‫חישובית‬ ‫בלשנות חישובית‬ ‫בלשנות‬ ‫שפות‬ ‫ועיבוד שפות‬ ‫ועיבוד‬ ‫טבעיות‪::‬‬ ‫טבעיות‬

‫אינפורמציה‬ ‫עיבוד אינפורמציה‬ ‫עיבוד‬ ‫קוונטית‬ ‫)‬ ‫מדעי‬ ‫קוונטית )מדעי‬ ‫הנדסת‬ ‫המחשב‬ ‫המחשב‪ ,,‬הנדסת‬ ‫פיסיקה‬ ‫חשמל‬ ‫חשמל‪ ,,‬פיסיקה‬ ‫וכימיה((‪::‬‬ ‫וכימיה‬

‫ע‪ .‬אורנן‬ ‫א‪ .‬איתי‬ ‫נ‪ .‬פרנסיז‬

‫א‪ .‬ביהם‬ ‫ט‪ .‬מור‬

‫‪25‬‬

‫מסחר‬ ‫אינטרנט‬ ‫אינטרנט‪ ,,‬מסחר‬ ‫אלקטרוני‬ ‫וכלכלה‪::‬‬ ‫אלקטרוני וכלכלה‬ ‫ר‪ .‬אל‪-‬יניב‬ ‫ש‪ .‬מרקוביץ'‬ ‫ס‪ .‬נאור‬ ‫י‪ .‬קנזה‬ ‫ע‪ .‬שמואלי‬

‫‪ .8‬בוגרי תארים מתקדמים בפקולטה למדעי המחשב‬ ‫‪2000-2014‬‬ ‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫אבידור צבי‬

‫ינואר ‪2004‬‬

‫אבן קרין‬

‫אוקטובר ‪2013‬‬

‫אבני אופיר‬

‫נובמבר ‪2006‬‬

‫הסכמת קבוצה‪ N-‬כאשר הקלטים מוגבלים‬ ‫ציאת שגיאות יציבות מספריות נדירות בחישובים‬ ‫מקבילים‬ ‫מידול וחיקוי עם מוטיבציה ביולוגית של מערכת הראייה‬ ‫של הזיקית‬

‫חגית עטיה‬ ‫ערן יהב‪,‬‬ ‫חנה צ'וקלר‬

‫אברהם אורי‬

‫אוגוסט ‪2012‬‬

‫אגבריה סביח‬

‫אוקטובר ‪2013‬‬

‫אגוזי עופר‬

‫מרס ‪2010‬‬

‫אדדי רועי‬

‫אוקטובר ‪2011‬‬

‫אדלר עמיר‬

‫ספטמבר ‪2005‬‬

‫הפחתת דרישות הזיכרון לאיחסון בסיסי נתונים תבניתיים‬

‫אדן ערן‬

‫אפריל ‪2007‬‬

‫זיהוי מוטיבים ברשימות מדורגות של רצפי דנ"א‬

‫אהרן מיכל‬

‫ינואר ‪2004‬‬

‫ייצוג אנליזה וסינתיזה של תמונות באמצעות הורדת ממד‬

‫אוחיון שי‬

‫יולי ‪2007‬‬

‫אופשנקו אברהם‬

‫יוני ‪2003‬‬

‫אורלובסקי אריה‬ ‫אושרוביץ אליהו‬ ‫אושמן רותם‬

‫ינואר ‪2008‬‬ ‫יוני ‪2007‬‬ ‫ספטמבר ‪2008‬‬

‫אזאצ'י חזי‬

‫אוגוסט ‪2003‬‬

‫אייזנברג ודים‬

‫אוקטובר ‪2012‬‬

‫איפרגן נילי‬

‫אפריל ‪2005‬‬

‫איתמר עינב‬

‫מרס ‪2008‬‬

‫אלבוחר דני‬

‫מרס ‪2010‬‬

‫סימולטור תחושתי בזמן אמת עבור פרוצדורות כירורגיות‬

‫אלטמן אלון‬

‫דצמבר ‪2003‬‬

‫אלמוג אלי‬

‫מרס ‪2001‬‬

‫אלסטר קונסטנטין‬ ‫אלפרין יבגניה‬

‫אוקטובר ‪2004‬‬ ‫דצמבר ‪2010‬‬

‫אלעד אסי‬

‫נובמבר ‪2002‬‬

‫אסתרין יעקב‬

‫אוקטובר ‪2005‬‬

‫אפלמן בוריס‬

‫אוגוסט ‪2001‬‬

‫אקל נטליה‬

‫ינואר‪2001‬‬

‫אקשטיין איליה‬

‫אוגוסט ‪2001‬‬

‫ארצי שי‬

‫אוגוסט ‪2000‬‬

‫בגלייטר רון‬

‫נובמבר ‪2005‬‬

‫איפיון וחישוב של גרירות טווח‬ ‫תזמון גישות לזיכרון משותף על‪-‬ידי בורר ערוץ בודד‪ :‬עיון‬ ‫נוסף בבעיית ‪-k‬הלקוחות‬ ‫ניטור יעיל של פרמטרי איכות השירות ברשתות תקשורת‬ ‫ניתוח תכונות וזיהוי אוטומטי לסוגי אספקטים‬ ‫נושאים מתקדמים בשיטוח משטחים בעזרת ‪FMMTD‬‬ ‫ו‪MDS-‬‬ ‫מערכת מומחה בתרגומים בין כלים פורמליים לבדיקת‬ ‫מערכות ב‪VeriTech-‬‬ ‫מידול גיאומטרי מרחוק‬ ‫מחקר אמפירי של אסטרטגיות פרישת אובייקט ושיטות‬ ‫אופטימיזציה‬ ‫מיפוי טקסטורה תוך שימוש בפרמטריזציה עם אילוצים‬ ‫חסמים תחתונים על הסיבוכיות של מכפלת פולינומים‬ ‫מעל שדות סופיים‬ ‫מחקר בנושאים עיוניים ומעשיים של חיזוי סדרות‬

‫תבנית חדשה לצפני בלוקים סימטריים‬ ‫על תיקונים חלקיים של באגים והאינטואיציה של מפתחים‬ ‫לגביהם‬ ‫אחזור מידע מבוסס‪-‬מושגים תוך שימוש בניתוח סמנטי‬ ‫מפורש‬ ‫חיזוי קצבי גידול במיקרואורגניזמים בעזרת רשת‬ ‫מטבולית בשילוב פרמטרים קינטיים אינזימטיים‬

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

‫‪26‬‬

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

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫בדר מיכאל‬

‫פברואר ‪2013‬‬

‫בוגומיאקוב אלכסנדר‬

‫ספטמבר ‪2001‬‬

‫אלגוריתמי קירוב עבור בעיות תזמון והקצאת משאבים‬ ‫מעבר אופטימלי על פוליגונים של רשתות פוליגונליות‬ ‫פרגרסיביות תוך שימוש במטמון של קודקודים‬

‫ראובן בר‪-‬יהודה‬

‫בוכבינדר ניב‬

‫נובמבר ‪2003‬‬

‫בורטניקוב ויטה‬ ‫בלטר דורית‬

‫ינואר ‪2001‬‬ ‫נובמבר ‪2003‬‬

‫בליאק לאוניד‬

‫פברואר ‪2003‬‬

‫בן‪-‬אבי גלעד‬ ‫בן‪-‬אלעזר שי‬

‫מרס ‪2002‬‬ ‫פברואר ‪2013‬‬

‫בן‪-‬דוד דוד‬

‫יולי ‪2012‬‬

‫התאוששות מחריגות במערכות שטפי מידע מבוזרות‬

‫בן‪-‬חן מירלה‬

‫אוגוסט ‪2003‬‬

‫בן‪-‬ישראל שיר‬

‫מרס ‪2010‬‬

‫בן משה שגיא‬

‫ספטמבר ‪2010‬‬

‫בנדל קרן‬ ‫בנדרסקי אנה‬ ‫בנט רותם‬ ‫בקרמן אנה‬

‫יוני ‪2002‬‬ ‫מאי ‪2011‬‬ ‫יולי ‪2005‬‬ ‫נובמבר ‪2004‬‬

‫בקרמן רון‬

‫אפריל ‪2003‬‬

‫בר‪-‬אביב עזר‬

‫מרס ‪2009‬‬

‫בר‪-‬אור אמיר‬

‫ספטמבר ‪2004‬‬

‫בר‪-‬חיים רועי‬

‫ינואר ‪2005‬‬

‫בר‪-‬לב עדי‬

‫אוגוסט ‪2008‬‬

‫ברבש קטרינה‬ ‫ברג מירית‬

‫מרס ‪2011‬‬ ‫פברואר ‪2003‬‬

‫ברום יעקב‬

‫אוקטובר ‪2003‬‬

‫על האופטימליות של דחיסה ספקטרלית של רשתות‬ ‫שבירת סימטריה יכולה לקצר באופן משמעותי את אורך‬ ‫ההוכחה‬ ‫שימוש בבדיקת תכונות לזיהוי יעיל של רלציות אשר‬ ‫קרובות להיות ממוינות‬ ‫יישומים של טכניקת היחס המקומי‪ :‬סקירה‬ ‫המגבלות של דחיסה חלקית‬ ‫למידה משופרת עם אורקל מושחת‬ ‫פתרון התנגשויות ועדיפות אופרטורים ב‪ BNF-‬המורחב‬ ‫חלוקה התפלגותית לצברי מילים ושימושיה לסיווג‬ ‫טקטסטים‬ ‫סיווג עצמים פונקציונאלי מבוסס סימולציה על‪-‬ידי סוכן‬ ‫למידת עצי החלטה ברשתות מבוזרות עבור מסדי נתונים‬ ‫רב ממדיים‬ ‫תיוג חלקי דיבר בעברית ובשפות שמיות אחרות‬ ‫מריונטות וירטואליות‪ :‬מערכת ממוחשבת לאנימציית זמן‪-‬‬ ‫אמת בתלת‪-‬ממד‬ ‫מיקבול איסוף זיכרון אוטומטי למספר רב של מעבדים‬ ‫המרות של תכונות בשביל תרגומים‬ ‫סיווג ואישכול בייסיאניים בעזרת הירארכיית גוף חסר‬ ‫מעגלים‬

‫ברונשטיין דניאל‬

‫אוגוסט ‪2003‬‬

‫הנפשת מצלמה לסריקת מצולע מישורי‬

‫ברונשטיין מיכאל‬ ‫בריוזקין גנאדי‬

‫פברואר ‪2005‬‬ ‫אפריל ‪2005‬‬

‫זיהוי פנים תלת‪-‬ממדי‬ ‫סמנטיקת ריבוי למשפטי בקרה בממשק ‪L..F.G.‬‬

‫בריקנר ארז‬

‫מאי ‪2005‬‬

‫בעיית האיכלוס מחקר בננו‪-‬רובוטיקה רב‪-‬סוכנית‬

‫בריקנר בועז‬

‫אוקטובר ‪2011‬‬

‫ברמנו עמית‬ ‫ברסקי רומן‬

‫מאי ‪2011‬‬ ‫ינואר ‪2005‬‬

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

‫ברקול עומר‬

‫אפריל ‪2000‬‬

‫בשת לורנס‬ ‫גבינסקי דמיטרי‬ ‫גביש יעל‬ ‫גביש מורן‬

‫מאי ‪2007‬‬ ‫אוגוסט ‪2002‬‬ ‫ספטמבר ‪2003‬‬ ‫יוני ‪2004‬‬

‫שיטות לזיהוי בעזרת סגנון גרפי וסינתוז סגנון תוך שימוש‬ ‫בניתוח מקומי‬ ‫שחזור מקוון של עצמים תלת‪-‬ממדיים מחתכים שרירותיים‬ ‫הערכת תפוקה פרמטרית תלוית‪-‬אלקטרומיגרציה‬ ‫חסמים תחתונים הדוקים יותר לבעיות השכן הקרוב‬ ‫ולבעיות קשורות במודל שליפה מתאים‬ ‫על למידה אופטימאלית של אוטומט ריבוי‬ ‫בוסטינג עם התפלגויות חסומות פולינומיאלית‬ ‫ניהול זיכרון עם התנהגות מטמון טובה עבור שרתים‬ ‫אלגוריתם סדרתי לזיהוי פנים‬

‫גבל משה‬

‫ספטמבר ‪2013‬‬

‫זיהוי אנומליות ללא פיקוח במרכזי מידע גדולים‬

‫גבע אמיר‬

‫ספטמבר ‪2013‬‬

‫גדרון אלעד‬

‫אוקטובר ‪2012‬‬

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

‫‪27‬‬

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

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫גודלין בנימין‬

‫אפריל ‪2008‬‬

‫גוטסמן רנית‬

‫מרס ‪2013‬‬

‫גוטר ישראל‬

‫יולי ‪2003‬‬

‫אימות נסיגתי‪:‬היבטים תיאורטיים ויישומיים‬ ‫יצירת מסלולים מבוססי‪-‬מפה מרצפי ‪ gps‬וייצוגם‬ ‫הקומפקטי‬ ‫ניתוח משפט בעברית באמצעות תכונות סמנטיות‬

‫עפר שטרייכמן‬

‫גוטרמן צבי‬

‫מרץ ‪2004‬‬

‫חישוב סימבולי מקדמי לאפליקציות נומריות‬

‫גולבנדי נדב‬

‫אפריל ‪2003‬‬

‫גולדין אלכסנדר‬

‫אוגוסט ‪2003‬‬

‫גולדמן מקס‬

‫אוגוסט ‪2006‬‬

‫גולובצ'יק רומן‬

‫מרס ‪2006‬‬

‫גולדין ישי‬

‫דצמבר ‪2008‬‬

‫גולן שמעון‬

‫נובמבר ‪2005‬‬

‫גורביץ' נלה‬

‫מאי ‪2006‬‬

‫גורדון איל‬

‫יולי ‪2005‬‬

‫גורובוי אלכסנדר‬ ‫גוריאצ'ב אלכסנדר‬ ‫גורביץ' פבל‬

‫ינואר ‪2001‬‬ ‫נובמבר ‪2006‬‬ ‫נובמבר ‪2012‬‬

‫גורן ירון‬

‫אוגוסט ‪2006‬‬

‫גז דן‬

‫דצמבר ‪2004‬‬

‫גטניו גיל‬

‫יולי ‪2008‬‬

‫גיא עדו‬

‫מרס ‪2007‬‬

‫איפיון וסיווג רשתות דמויות פרפר‬ ‫פרוטוקולים גיאומטריים לסינון הודעות עבור מערכות‬ ‫מבוזרות מרובות סוכנים‬ ‫אימות מודולרי של אספקטים‬ ‫שיפור אלגוריתם ההתבלטות על‪-‬ידי אופטימיזצית סימני‬ ‫הקבצה‬ ‫על אמבות ווסיקולות‪ :‬שינויי צורה תחת אילוצים‬ ‫גלובאליים‬ ‫אלגוריתמים יעילים לחישוב מידע לגבי זמינות משאבים‬ ‫ביישומי תקשורת מרחבית‬ ‫יצור אוטומטי של דוגמאות המהוות החטאה קרובה‬ ‫ללמידה אקטיבית של מושגים חזותיים‬ ‫ניתוח תפוקה תחרותי של פרוטוקולים חמדניים ברשתות‬ ‫מכוונות חסרות מעגלים‬ ‫שימושים באלגוריתמי דחיסה נתונים להנדסת תוכנה‬ ‫בעיות מיקום של טבעת היסט פוליגונלית‬ ‫ניהול משאבים בסביבת סריג חישובי‬ ‫בניית קריפטוגרפיה של מפתח פומבי על סמך פונקציות‬ ‫חד‪-‬כיווניות‬ ‫תזמון תקשורת עם אילוצי זמן במתגים מבוססי תורי קלט‬ ‫זיהוי עצמים בעזרת הרחבות לאלגוריתם העירבול‬ ‫הגיאומטרי גיאומטרית‬ ‫דירוג אשכולות ויישומו בכריית רשתות דואר אלקטרוני‬

‫ג'יריס רג'א‬

‫דצמבר ‪2009‬‬

‫כיוונון פרמטרים אוטומאטי לבעיות היפוך‬

‫גייסינסקי אלכסנדר‬

‫ינואר ‪2001‬‬

‫גילברוד ברוך‬

‫ספטמבר ‪2005‬‬

‫גינזבורג מרק‬

‫יולי ‪2008‬‬

‫גלייזר ודים‬

‫אוגוסט ‪2002‬‬

‫גליקסון אלכסנדר‬

‫ינואר ‪2004‬‬

‫גלס רן‬

‫מרס ‪2009‬‬

‫גלפרין ודים‬

‫ינואר ‪2005‬‬

‫גנקין דניאל‬

‫ינואר ‪2011‬‬

‫גצלביץ' ולדימיר‬

‫דצמבר ‪2003‬‬

‫גרבר דן‬

‫אוגוסט ‪2012‬‬

‫גרוס רון‬

‫ספטמבר ‪2008‬‬

‫גרימברג בנימין‬

‫מאי ‪2007‬‬

‫שילוב החלפה עם הבאה מצונרת בניהול זיכרון מטמון‬ ‫מודל אבטחה ואלגוריתמים שומרי פרטיות לכריית נתונים‬ ‫בסביבות מבוזרות ממימד גדול‬ ‫הטמעת "סימני מים" הולוגרפיים במרחב ‪ DFT-d3‬של‬ ‫סצנות וידאו‬ ‫אופטימיזצית תבניות משותפות ומקומיות באמצעות‬ ‫הגירת חוטים‬ ‫אימות של תכונות גרפים קשות בגרפים הנוצרים על ידי‬ ‫דקדוקי גרפים‬ ‫בטיחות פרוטוקולי הפצת מפתחות קוואנטים תיאורטיים‬ ‫ומעשיים‬ ‫רגרסיה מקוונת באמצעות וקטורי תמיכה עם שימוש‬ ‫בחיזוי תנועות ראש מתוך אותות ‪EMG‬‬ ‫לקסיקליזציה רדיקלית של שפות עדינות הקשר‬ ‫יצירת שירותים יעילים לאורך המסלול המהיר של חבילות‬ ‫ברשתות אקטיביות‬ ‫קירוב תוכניות מוגדרות אי‪-‬שלילית בזמן תת לינארי‬ ‫תכונות משומרות תחת חזרות בלוגיקה טמפורלית של‬ ‫זמן מתפצל‬ ‫סמנטיקה של מודלים מינימאליים עבור לוגיקה מודלית‬ ‫לא‪ -‬מונוטונית מקובעת מסדר‪-‬ראשון‬

‫גרץ אבישי‬

‫יולי ‪2013‬‬

‫ניתוח תחבירי של קורפוס ‪ childes‬בעברית‬

‫גרשמן רומן‬ ‫גרושקו כרמי‬

‫יוני ‪2007‬‬ ‫דצמבר ‪2012‬‬

‫שיפורים לשיטות פתירה של בעיות ‪SAT‬‬

‫סימטריות רציפות בגופים לא קשיחים‬

‫‪28‬‬

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

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫דבורקין אלכסנדר‬

‫ספטמבר ‪2004‬‬

‫דביר צבי‬

‫אפריל ‪2008‬‬

‫דביר יוחאי‬

‫יולי ‪2009‬‬

‫נושא העבודה‬ ‫תרגום דרישות קצה למדיניות תורים מקומית במודל‬ ‫ה‪Diffserve-‬‬ ‫דגימה מוכללת עיוורת של תמונות‬

‫דובוב יוליה‬

‫מרס ‪2008‬‬

‫דוברוב בלה‬

‫פברואר ‪2006‬‬

‫רגולריזציה עצמותית של בעיות היפוך הכוללות גופים לא‬ ‫קשיחים‬ ‫אוטומטי מחסנית מעל אלפבתים אינסופיים‪ :‬גישות שונות‬ ‫והשוואת תוצאותיהן‬ ‫על סיבוכיות האקראיות של דגימה יעילה‬

‫דוזורץ איגור‬

‫אוקטובר ‪2000‬‬

‫מודל ממוחשב לזיהוי דובר על‪-‬ידי מאזין אנושי‬

‫דוידוב דמיטרי‬

‫מאי ‪2003‬‬

‫דותן דולב‬

‫דצמבר ‪2005‬‬

‫דצנקו דמיטרי‬ ‫דקל אורי‬

‫דצמבר ‪2006‬‬ ‫אפריל ‪2003‬‬

‫דרבקו פיליפ‬

‫אפריל ‪2004‬‬

‫דרוק ארז‬ ‫דרדיק גריגורי‬

‫אוקטובר ‪2013‬‬ ‫מאי ‪2005‬‬

‫הורוביץ דניאל‬

‫אוקטובר ‪2012‬‬

‫אלגוריתמי חיפוש יוריסטיים רבי מטרות‬ ‫‪ :Hyperflow‬שפה ויזואלית מבוססת אונטולוגיה‬ ‫המשלבת שאילתות וזרימת‪-‬נתונים לצורך עיבוד מידע‬ ‫על‪-‬ידי משתמש קצה‬ ‫רגולריזציה מבוססת דוגמאות בבעיות היפוך‬ ‫חשיפת מבנה מחלקות ג'אווה בעזרת סריגי מושגים‬ ‫עקומי למידה מפורשים עבור למידה טרנסדוקטיבית‬ ‫ושימושים ללמידה עם דחיסה ואלגוריתמי מצבור‬ ‫קודים בעלי זמן קידוד לינארי וקריפטוגרפיה‬ ‫שיטות רב‪-‬שרגי אי‪-‬לינאריות אמינות‬ ‫פירוק הרכיבים המורפולוגיים והלקסיקליים כבסיס לזיהוי‬ ‫ביטויים‬

‫הימן אמנון‬

‫ספטמבר ‪2003‬‬

‫זיהוי חלבונים באמצעות ספקטרומטריית מסות‬

‫הלוי שירלי‬

‫אוגוסט ‪2001‬‬

‫המאירי איל‬

‫אפריל ‪2002‬‬

‫הניג אסף‬

‫ינואר ‪2006‬‬

‫הראל אסף‬

‫פברואר ‪2005‬‬

‫הרטשטיין איתמר‬

‫יולי ‪2012‬‬

‫השביט ענת‬

‫נובמבר ‪2011‬‬

‫וולושין אריאלה‬

‫מרס ‪2000‬‬

‫וורנוביצקי קולמן‬

‫פברואר ‪2012‬‬

‫וותד איהאב‬

‫יוני ‪2006‬‬

‫צפינה דו‪-‬ממדית לערוצי הקלטה‬ ‫שיערוך עקמומיות ראשיות וכיוונים ראשיים מתוך תמונות‬ ‫טווח אמיתיות ויישומו בשחזור גופים גיאומטריים‬ ‫פרימיטיביים‬ ‫בעיית מיקום ממירי התצורה ברשתות מרובות משתמשים‬ ‫הערכת כמות השגיאות שנותרו בתוכנה לאחר סריקה‬ ‫בשיטת ‪Review Code Iterative‬‬ ‫סיבוכיות של בעיית מיקום רגנרטורים ברשתות אופטיות ‪-‬‬ ‫רוחב עץ ופרמטרים נוספים‬ ‫פרוצדורה לביצוע החלטות רציונלית ובלתי מוטות‬ ‫בסביבה מרובת יריבים‬ ‫גישה אחידה לחישוב קבוצות שולטות וקבוצות בלתי‬ ‫תלויות עבור אינטרוולים על ישר‬ ‫שיטות הפשטה ליצירת בקרים קומפקטיים לתהליכי‬ ‫החלטה מרקוביים‬ ‫על למידת חצאי מרחב באמצעות אורקל המחזיר‬ ‫היפותזה קונסיסטנטית רנדומלית‬

‫וייצל בוריס‬

‫אפריל ‪2003‬‬

‫ויטקין אדוארד‬

‫אוקטובר ‪2011‬‬

‫ויסברוד עומר‬

‫נובמבר ‪2011‬‬

‫וקסלר טטיאנה‬ ‫וקסלר עדו‬ ‫וקסמן אמיר‬ ‫ורדי גל‬

‫נובמבר ‪2003‬‬ ‫ספטמבר ‪2003‬‬ ‫דצמבר ‪2006‬‬ ‫ינואר ‪2000‬‬

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

‫‪29‬‬

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

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫זאב בן‪-‬מרדכי אורן‬

‫אוגוסט ‪2001‬‬

‫זבר יעל‬ ‫זיגלמן גיל‬ ‫זיידה רומן‬ ‫זיננקו דמיטרי‬ ‫זך עידן‬

‫אוגוסט ‪2000‬‬ ‫נובמבר ‪2000‬‬ ‫יוני ‪2013‬‬ ‫יולי ‪2011‬‬ ‫נובמבר ‪2004‬‬

‫זמיר טל‬

‫ספטמבר ‪2008‬‬

‫זמנסקי אלכס‬

‫יוני ‪2007‬‬

‫זמנסקי אנה‬

‫ינואר ‪2004‬‬

‫חורי לורנס‬

‫מאי ‪2005‬‬

‫חיימוביץ יואב‬

‫פברואר ‪2013‬‬

‫חמו יניב‬ ‫חרמש ברק‬ ‫טולידנו חגי‬ ‫טולצ'ינסקי ילנה‬

‫ינואר ‪2002‬‬ ‫ספטמבר ‪2001‬‬ ‫מרס ‪2013‬‬ ‫יוני ‪2002‬‬

‫טל אבישי‬

‫פברואר ‪2012‬‬

‫טל אסנת‬

‫מאי ‪2009‬‬

‫טל דינה‬

‫יוני ‪2001‬‬

‫טל עדו‬

‫אוגוסט ‪2003‬‬

‫טלמור יורם‬

‫מאי ‪2004‬‬

‫יגר אפרת‬

‫פברואר ‪2003‬‬

‫ידגר אברהם‬

‫מרץ ‪2004‬‬

‫ידידיה חגי‬

‫אוגוסט ‪2005‬‬

‫נושא העבודה‬

‫מנחה‬

‫בדיקה יעילה של תנאי תחרות בזיכרון משותף מבוזר‬ ‫וברב‪-‬מעבד סימטרי‬ ‫תורות מחדל פתוחות‬ ‫מיפוי מרקם על‪-‬ידי שיטוח בעזרת סילום רב ממדי‬ ‫אלקטרוקינטיקה חישובית‬ ‫ייצוב עצמי עם תקשורת יעילה‬ ‫אלגוריתמים אדפטיביים לחלוטין במודל של זיכרון משותף‬ ‫נעילה ספקולטיבית עבור מערכות מבוזרות עמידות בפני‬ ‫נפילות‬ ‫מסגרת לשחזור משטח של אובייקטים דגומים בדלילות‬

‫מיכאל קמינסקי‬ ‫רון קימל‬ ‫עירד יבנה‬ ‫שי קוטין‬ ‫חגית עטיה‬ ‫אסף שוסטר‪,‬‬ ‫מיכאל פקטור‬ ‫גיל ברקת‬

‫מערכת היסקים של 'לוגיקה טבעית' המבוססת על תחשיב‬ ‫לאמבק‬

‫נסים פרנסיז‬

‫לימוד עם טעויות בשאילתות השייכות‬ ‫ניתוח הלך רוח בקנה מידה גדול באמצעות למידה‬ ‫עצמאית‪-‬למחצה‬ ‫זריקת חבילות מאוזנת לשיפור ביצוע ‪ TCP‬ברשתות ‪ATM‬‬ ‫סימנים לשיערוך מיקום בדיוק גבוה‬ ‫זיקוק מונחה‪-‬כיסוי של ייצוגים מושגיים‬ ‫סמנטיקה חיובית של היטלים בדיאגרמות ון‪-‬אוילר‬ ‫על מעלת פורייר המינימלית של פונקציות בוליאניות‬ ‫סימטריות‬ ‫אלגוריתמים לבעית המשולש של היילברון‬ ‫ניתוח ושימוש בדרישות השלמה של פעלים לבדיקת‬ ‫תקינות משפטים בשפה העברית‬ ‫פענוח‪-‬רשימה עבור קודי מטריקת ‪Lee‬‬ ‫שיפור ביצועי מערכת זיכרון שיתופי ומבוזר על‪-‬ידי‬ ‫מיקסום ניצולת הרשת‬ ‫תנאים לקיום אלגוריתם לניתוח תחבירי לדקדוקי‬ ‫יוניפיקציה‬ ‫פתרון מקבילים של בעיית ‪ SAT-ALL‬עבור בדיקת מודל‬

‫יוגב סיון‬

‫ינואר ‪2006‬‬

‫יוסביץ' ודים‬

‫נובמבר ‪2003‬‬

‫הערכת ביצועים למבנים של מטמון הנתונים בעבור‬ ‫מעבדים מסוג ‪SMT‬‬ ‫הערכת פונקציות ציון עבור התאמה מרובה של רצפי‬ ‫חלבונים באמצעות התאמות מבניות‬ ‫בחירת מודל התנהגות לזיכרון מבוזר משותף‬

‫יושפה בנימין‬

‫ספטמבר ‪2008‬‬

‫היבטים כלכליים באיכות השרות בשריג חישובי‬

‫יזמרלי אולג‬ ‫יחזקאלי עומר‬ ‫ינאי דוד‬ ‫ינובסקי ולדימיר‬

‫יולי ‪2004‬‬ ‫פברואר ‪2007‬‬ ‫נובמבר ‪2011‬‬ ‫אפריל ‪2001‬‬

‫יניב יונתן‬

‫אוקטובר ‪2011‬‬

‫יעקובי איתן‬

‫ינואר ‪2008‬‬

‫יעקרסברג יבגני‬

‫מאי ‪2004‬‬

‫ירושינסקי רן‬ ‫ישראל אסף‬ ‫כהן אוריאל‬ ‫כהן אמיל‬

‫ינואר ‪2002‬‬ ‫אוקטובר ‪2013‬‬ ‫אפריל ‪2003‬‬ ‫אוגוסט ‪2002‬‬

‫כהן טל‬

‫ינואר ‪2002‬‬

‫כהן צפריר‬ ‫כהן רמי‬

‫מרץ ‪2003‬‬ ‫פברואר ‪2004‬‬

‫קריפטולוגיה מודרנית בעולם קוונטי‬ ‫סכימות קירוב לבעיות אריזה עם פיצולים‬ ‫למידה מדוגמאות של קרבה סמנטית‬ ‫סוכנים פשוטים בשביל מטלות מורכבות‬ ‫מנגנונים מתואמי‪-‬תמריצים לתזמון מבוסס ערך של‬ ‫משימות במחשוב ענן‬ ‫צפנים לתיקון שגיאות דו‪-‬ממדיות‬ ‫‪ Morphing‬בין צורות גיאומטריות על‪-‬ידי אינטרפולציה‬ ‫מבוססת שלד ליניארי‬ ‫למידה מקוונת חלקה של עצות מומחים‬ ‫התאוששות מיודעת מחיר בענן‬ ‫יחסי אובייקטים ומכניזמים תחביריים בתבניות תיכון‬ ‫מערכת ‪ DSM‬שקופה‬ ‫כיול‪-‬עצמי של מדידות של שיטות ב‪ :JAVA-‬לקראת גילויו‬ ‫של אופן תכנות מקובל‬ ‫סיבוכיות זמן סיבובים ואפס מידע אסינכרוני‬ ‫תיזמון שידורים תלויי‪-‬זמן בערוץ הפצה‬

‫‪30‬‬

‫אסף שוסטר‬

‫נאדר בשותי‬ ‫יעקב קרמר‪,‬‬ ‫שי מנור‬ ‫ראובן כהן‬ ‫אלפרד ברוקשטיין‬ ‫שאול מרקוביץ‬ ‫יוסי גיל‬ ‫אמיר שפילקה‬ ‫גיל ברקת‬ ‫עוזי אורנן‬ ‫רוני רוט‬ ‫אסף שוסטר‬ ‫נסים פרנסיז‪,‬‬ ‫שלום וינטנר‬ ‫ארנה גרימברג‪,‬‬ ‫אסף שוסטר‬ ‫רון פינטר‬ ‫שלמה מורן‬ ‫אסף שוסטר‬ ‫אריאל אורדע‪,‬‬ ‫אסף שוסטר‬ ‫טל מור‬ ‫הדס שכנאי‬ ‫רן אל‪-‬יניב‬ ‫אלפרד ברוקשטיין‬ ‫ספי נאור‬ ‫טובי עציון‬ ‫גיל ברקת‬ ‫רן אל‪-‬יניב‬ ‫דני רז‬ ‫יוסי גיל‬ ‫אסף שוסטר‬ ‫יוסי גיל‬ ‫ארז פטרנק‬ ‫דני רז‬

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫כץ אמיליה‬ ‫כץ יואב‬ ‫כץ שגיא‬

‫מרס ‪2006‬‬ ‫אוקטובר‪2001‬‬ ‫ינואר ‪2001‬‬

‫כצמן איגור‬

‫אפריל ‪2001‬‬

‫כרם ניר‬ ‫כתריאל עירית‬ ‫לאור דור‬

‫ספטמבר ‪2010‬‬ ‫יוני ‪2002‬‬ ‫מרס ‪2002‬‬

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

‫שמואל כ"ץ‬ ‫הדס שכנאי‬ ‫ארנה גרימברג‬

‫לבנה שלמה‬

‫אוגוסט ‪2001‬‬

‫לימוד עבור סידור יעיל של משתני ‪ BDD‬באימות‬

‫לבנון גיא‬ ‫לבנוני יוסף‬ ‫לואידור ארז‬

‫אוקטובר ‪2000‬‬ ‫יוני ‪2001‬‬ ‫ינואר ‪2004‬‬

‫סינתיזה של תבניות מוארה‬ ‫איסוף זבל תוך‪-‬כדי‪-‬מעוף באמצעות מבטים מחליקים‬ ‫קודי ‪ MDS‬דלילים מעל אלפבתים גדולים‬

‫לוז קובי‬

‫נובמבר ‪2003‬‬

‫לבחירה מקוונת של אלגוריתמים ללמידה פעילה‬

‫לוי עומר‬ ‫לוינסון דמיטרי‬ ‫לויתן צח‬ ‫לזרסון יונתן‬ ‫ליאקס אלכסנדר‬

‫יולי ‪2012‬‬ ‫אוגוסט ‪2000‬‬ ‫מרס‪2001‬‬ ‫אפריל ‪2005‬‬ ‫מרס ‪2006‬‬

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

‫ליבנה אבישי‬

‫ספטמבר ‪2010‬‬

‫ניטור זרמי מידע מבוזרים‬

‫ליברמן סוניה‬

‫מרס ‪2010‬‬

‫ליבשיץ דמיטרי‬

‫יולי ‪2003‬‬

‫לייבה ליאור‬

‫ספטמבר‪2001‬‬

‫ליפסון דורון‬

‫יוני ‪2006‬‬

‫ליפשיץ מיכאל‬

‫נובמבר ‪2004‬‬

‫לנדה שמעון‬

‫פברואר ‪2005‬‬

‫ייצוג סמנטי היררכי מבוסס מושגי ויקיפדיה‬ ‫מיקום עצמי של רובוט בעזרת אובייקטים ממקמים‬ ‫)‪ (Fiducials‬ומצלמות אומני כווניות )‪(Omnidirectional‬‬ ‫לקראת מסחר אלקטרוני אוטומטי‪ :‬מפרט מערכת‬ ‫ה‪ Econtracts-‬ומימוש חלקי‬ ‫בעיות אופטימיזציה בתכנון אוליגונוקלאוטידים לשיטות‬ ‫מבוססות היברידיזציה‬ ‫ניווט ראייתי על גבי תמונות מיקרוסקופיות‬ ‫אלגוריתמי קירוב קומבינטוריים לבעיית כיסוי‪-‬קבוצות‬ ‫שבור‬

‫לרנר טל‬

‫יוני ‪2006‬‬

‫תיקון תנועה ב‪FMRI -‬‬

‫לרנר רונן‬ ‫מאיר אביחי‬ ‫מאיר אורלי‬ ‫מגאדלה מוחמד‬ ‫מגיד יונית‬ ‫מדור‪-‬חיים סלע‬

‫ספטמבר ‪2008‬‬ ‫פברואר ‪2012‬‬ ‫ספטמבר ‪2005‬‬ ‫יוני ‪2012‬‬ ‫מרס ‪2007‬‬ ‫יוני ‪2007‬‬

‫הערכה מאולצת של תנועה ומיקום‬ ‫הערכת ביטחון בחיזוי של תיוג עצמים בעלי מבנה‬ ‫פרוצדורות הכרעה ללוגיקת שיוויונים‬ ‫האצה של פרוטוקול ‪ cifs‬מעל רשתות לוויניות‬ ‫חישוביות מעל הממשיים במודל ‪ BSS‬עם אפרטור בחירה‬ ‫ממשק בשפה טבעית למערכות מידע גאוגרפי‬

‫מוגילניצקי מקסים‬

‫אפריל ‪2004‬‬

‫מיפוי קונפורמי משמר צורה ויעיל של רשתות גדולות‬

‫מוסין יוליה‬ ‫מופי מיכה‬

‫ספטמבר ‪2001‬‬ ‫דצמבר ‪2003‬‬

‫מורן שירי‬

‫ספטמבר‪2001‬‬

‫מזאווי חנא‬ ‫מלר יעל‬

‫מאי ‪2007‬‬ ‫ינואר ‪2010‬‬

‫תלות בבסיס של הרחבות ללוגיקות ברירת‪-‬מחדל פתוחות‬ ‫ספירת ‪ Polyominoes‬בשניים ושלושה מימדים‬ ‫אלגוריתמים מהירים‪ ,‬מינימליים‪ ,‬ומתעלמים לניתוב על‬ ‫השריג עם חורים חסומים‬ ‫למידת מחלקות מורכבות עם מעט טעויות‬ ‫אבסטרקציה רב ערכית ובדיקת מודל מודולרית‬

‫מלול אליאור‬

‫מרס ‪2014‬‬

‫לקראת נכונות במערכות לעיבוד מאורעות‬

‫מחאמיד עז‪-‬אלדין‬

‫מרס ‪2009‬‬

‫מטוסביץ מרק‬

‫יולי ‪2005‬‬

‫מיאסקובסקי ארטיום‬ ‫מנו עדי‬

‫ספטמבר ‪2008‬‬

‫הפצת תכנים מבוססי זרימה לאובייקטים ניידים‪ :‬הפצה‬ ‫גלובלית לעומת הפצה מקומית‬ ‫שיפור עקיבת קבוצות על‪-‬ידי הסתכלות גלובלית לאורך‬ ‫זמן‬ ‫שימוש בשיטת ‪ contrario a‬לזיהוי עצמים‬ ‫בניית עצים פילוגנטיים על סמך מסלולים ביוכימיים‬

‫‪31‬‬

‫אהוד ריבלין‬ ‫אלון איתי‬ ‫אלון איתי‬ ‫רועי פרידמן‬ ‫שאול מרקוביץ'‪,‬‬ ‫ארנה גרימברג‬ ‫אלפרד ברוקשטיין‬ ‫ארז פטרנק‬ ‫רוני רוט‬ ‫רן אל‪-‬יניב‪,‬‬ ‫יורם ברעם‬ ‫שאול מרקוביץ'‬ ‫אלון איתי‬ ‫שאול מרקוביץ'‬ ‫ראובן בר‪-‬יהודה‬ ‫אליעזר קנטרוביץ'‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫שאול מרקוביץ'‬ ‫אלפרד ברוקשטיין‬ ‫עודד שמואלי‬ ‫זהר יכיני‪,‬‬ ‫אורי סיון‬ ‫אהוד ריבלין‬ ‫ספי נאור‬ ‫משה גור‪,‬‬ ‫אהוד ריבלין‬ ‫אהוד ריבלין‬ ‫יעקב קרמר‬ ‫עפר שטרייכמן‬ ‫רועי פרידמן‬ ‫יוהן מקובסקי‬ ‫יועד וינטר‬ ‫משה ישראלי‪,‬‬ ‫אלה שפר‬ ‫מיכאל קמינסקי‬ ‫גיל ברקת‬ ‫עמי ליטמן‬ ‫נאדר בשותי‬ ‫ארנה גרימברג‬ ‫יוסי גיל‪,‬‬ ‫עופר עציון‬ ‫דני רז‪,‬‬ ‫ראובן כהן‬ ‫דן גייגר‬ ‫מיכאל לינדנבאום‬ ‫רון פינטר‬

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫מנור שירי‬

‫ינואר ‪2000‬‬

‫מנסור סעאב‬

‫יולי ‪2008‬‬

‫מצארווה פאדי‬ ‫מרעי ענאן‬ ‫מרקסמר יעל‬

‫ינואר ‪2008‬‬ ‫נובמבר ‪2008‬‬ ‫מרס ‪2004‬‬

‫משיח לי‪-‬טל‬

‫יולי ‪2007‬‬

‫משנה אלון‬

‫נובמבר ‪2013‬‬

‫נאור יונתן‬ ‫נבו זיו‬ ‫נודלמן איליה‬

‫ינואר ‪2006‬‬ ‫יוני ‪2002‬‬ ‫יוני ‪2011‬‬

‫ניב ניצן‬

‫יוני ‪2000‬‬

‫ניסנזון מרדכי‬ ‫ניקולסקי מאשה‬ ‫נעאמנה ראידה‬

‫ספטמבר ‪2010‬‬ ‫מרס ‪2010‬‬ ‫דצמבר ‪18‬‬

‫תקשורת קבוצתית רחבת היקף בהיפר קובייה לוגית‬ ‫תיוג חלקי דיבר בשפות שמיות באמצעות שילוב מערכות‬ ‫מבוססות תווים ומורפמות‬ ‫פריסה של גופים פוליגונליים תלת‪-‬ממדיים כללים מנייר‬ ‫מתאמי סכמות מסדר שני‬ ‫קודים לתיקון שגיאות רצף במערכים דו‪-‬ממדיים‬ ‫אלגוריתמי קירוב מקומי לדירוג דפים)‪ (Pagerank‬ודירוג‬ ‫דפים הפוך‬ ‫תכנות עם מליוני דוגמאות ‪ -‬כרייה סקליבילית של‬ ‫ספציפיקציות‬ ‫גרסאות ‪ d‬מימדיות של בעית המשולש של היילברון‬ ‫למידה מקוונת של רשימות החלטה‬ ‫ניתוב של ‪ flows‬בעלי תועלת מותנית ברשתות טקטיות‬ ‫התאמה דינמית של דרגת השיתוף במערכות זיכרון‬ ‫מבוזר‪-‬משותף‬ ‫על יסודות הסיווג החד מחלקתי בסביבה עוינת‬ ‫תכנון רישומי עבור גיאומטריה דו ותלת‪-‬מימדית חופשית‬ ‫שחזור רב‪-‬תוויות הוגן מחתכים‬

‫רועי פרידמן‬ ‫אלון איתי‪,‬‬ ‫יועד וינטר‬ ‫חיים גוטסמן‬ ‫כרמל דומשלק‬ ‫טובי עציון‬

‫סאבא שאדי‬

‫ינואר ‪2005‬‬

‫פרמטריזציה בריצנטרית כדורית ‪ -‬אלגוריתמים ותאוריה‬

‫סבתו סיוון‬

‫מרס ‪2006‬‬

‫סגל אראל דוד‬

‫נובמבר ‪2000‬‬

‫סובג יעקב‬

‫יולי ‪2006‬‬

‫סורוז'ון אורן‬

‫ינואר ‪2004‬‬

‫סורקין יאן‬

‫אפריל ‪2001‬‬

‫הסמנטיקה של ביטויים הדדיים בשפה הטבעית‬ ‫מנתח מורפולוגי הסתברותי לטקסטים עבריים לא‪-‬‬ ‫מנוקדים‬ ‫קירוב בחלקים בעזרת משטחים פריסים למשטחי‬ ‫‪ ,NURBS‬עם חסם שגיאה גלובאלי‬ ‫אשכול כפול איטרטיבי‪ :‬אלגוריתם מבוסס תורת‬ ‫האינפורמציה עבור אשכול של נתונים טקסטואלים‬ ‫‪ - CD-EDIT‬עורך ויזואלי לדיאגרמות אילוצים‬

‫סידלסקי אבישי‬

‫יוני ‪2006‬‬

‫שיחזור פוליגן מחתכים קוויים‬

‫סלבקין מיכאל‬

‫יוני ‪2005‬‬

‫סלמאן תאמר‬

‫יוני ‪2004‬‬

‫סלע גיא‬ ‫סנדלר רומן‬

‫יולי ‪2006‬‬ ‫יולי ‪2005‬‬

‫זיהוי מבני נתונים מתוך רשמים‬ ‫למידת חוקי יצירה פולינומיים בעזרת מכונות וקטורי‬ ‫תמיכה‬ ‫שימוש בפונקצית העיוות החופשי ככלי מידול גיאומטרי‬ ‫ניתוח מסנני ‪ Gabor‬להבחנת טקסטורה‬

‫ספיר טלי‬

‫נובמבר ‪2003‬‬

‫מקבול מעקב קרניים בעזרת סכמת ה‪XMT-‬‬

‫ספרי אורן‬

‫אוגוסט ‪2008‬‬

‫רישות משטחים באמצעות מרחקים גאודטיים‬

‫סקובליקוב ויקטוריה‬

‫אוקטובר ‪2000‬‬

‫לקסיקון חישובי מבוסס‪-‬תכוניות של מערכת הפעלים‬ ‫העבריים‬

‫סקולוזוב אלכסנדרה‬

‫יולי ‪2009‬‬

‫מיזוג מותנה של מסלולים ביולוגיים‬

‫סקלוסוב גבריאל‬

‫אוקטובר ‪2003‬‬

‫סקרבובסקי אלינה‬

‫נובמבר ‪2004‬‬

‫עבוד אמג'ד‬

‫יולי ‪2008‬‬

‫עדי ליאב‬

‫מרס ‪2002‬‬

‫קירוב דו‪-‬קריטריוני לבעיית תקציב בגרף ממושקל‪-‬צמתים‬ ‫הערכת ביצועים ומידול של פרוטוקול ‪ tcp‬מעל ערוצי‬ ‫תקשורת סלולריים‬ ‫בעיית סיווג בגרפים עם משקולות ובעיית שינוי סידור‬ ‫בעזרת חוצץ‬ ‫יישומים גרפיים המבוססים על חישוב מהיר של מרחקים‬ ‫גיאודנטים‬

‫עדן )כהן( אורית‬

‫ינואר ‪2005‬‬

‫סימולציה וויזואליזציה של זרמי כובד‪/‬צפיפות‬

‫עטיה יוסי‬ ‫עמית אסף‬

‫נובמבר ‪2013‬‬ ‫נובמבר ‪2004‬‬

‫קירור אלגוריתמי של ספינים על ידי בקרה מיטבית‬ ‫לימוד שיתוף פעולה ויישום להכרזות בברידג'‬

‫‪32‬‬

‫זיו בר‪-‬יוסף‬ ‫ערן יהב‬ ‫גיל ברקת‬ ‫רן אל‪-‬יניב‬ ‫ראובן כהן‬ ‫אסף שוסטר‬ ‫רן אל‪-‬יניב‬ ‫גרשון אלבר‬ ‫גיל ברקת‬ ‫עירד יבנה‪,‬‬ ‫אלה שפר‪,‬‬ ‫חיים גוסטמן‬ ‫יועד וינטר‬ ‫אלון איתי‬ ‫גרשון אלבר‬ ‫רן אל‪-‬יניב‬ ‫יוסי גיל‬ ‫גיל ברקת‪,‬‬ ‫חיים גוטסמן‬ ‫אלון איתי‬ ‫יורם ברעם‪,‬‬ ‫אלפרד ברוקשטיין‬ ‫גרשון אלבר‬ ‫מיכאל לינדנבאום‬ ‫חיים גוטסמן‪,‬‬ ‫עוזי וישקין‬ ‫אלה שפר‪,‬‬ ‫חיים גוטסמן‬ ‫נסים פרנסיז‬ ‫רון פינטר‪,‬‬ ‫אריאל מילר‬ ‫יובל רבני‬ ‫דני רז‬ ‫יובל רבני‬ ‫רון קימל‬ ‫מריוס אונגריש‪,‬‬ ‫גרשון אלבר‬ ‫טל מור‬ ‫שאול מרקוביץ'‬

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫עצמון הילה‬

‫אפריל ‪2002‬‬

‫ערן חגי‬

‫יולי ‪2012‬‬

‫פדידה חנה‬

‫נובמבר ‪2013‬‬

‫זיהוי אוטומטי של מסגרות ההצרכה של הפועל בעברית‬

‫פדורוב יארוסלב‬

‫אוגוסט ‪2002‬‬

‫פז עמי‬

‫יוני ‪2013‬‬

‫פוזניאנסקי אליהו‬

‫יוני ‪2003‬‬

‫פוזנר איל‬

‫יולי ‪2013‬‬

‫פולבוי גלב‬

‫יוני ‪2011‬‬

‫פולונסקי אולג‬

‫ינואר ‪2006‬‬

‫פולק סמיון‬

‫אוקטובר ‪2004‬‬

‫פוקס רועי‬ ‫פורטנוי עמית‬ ‫פורמן ולדימיר‬ ‫פורת מוטי‬ ‫פידן דמיטרי‬

‫יולי ‪2008‬‬ ‫אוקטובר ‪2012‬‬ ‫ספטמבר ‪2001‬‬ ‫נובמבר ‪2013‬‬ ‫מרס ‪2013‬‬

‫פיינבורד אלכסנדרה‬

‫פברואר ‪2012‬‬

‫פיירמן ליזה‬ ‫פילוסוף סער‬ ‫פיצ'וק מיכאל‬

‫יוני ‪2006‬‬ ‫אוגוסט ‪2005‬‬ ‫מאי ‪2007‬‬

‫פירסטנברג יוסף‬

‫אפריל ‪2002‬‬

‫פלדמן ויטלי‬

‫יוני ‪2002‬‬

‫פלדמן מורן‬

‫יולי ‪2013‬‬

‫פלדמן עידו‬

‫נובמבר ‪2006‬‬

‫פלדמן רומן‬ ‫פלור שקד‬ ‫פליישר אלון‬ ‫פליישר גיא‬ ‫פנמן יבגני‬

‫מאי ‪2006‬‬ ‫יוני ‪2013‬‬ ‫יוני ‪2006‬‬ ‫פברואר ‪2008‬‬ ‫יוני ‪2066‬‬

‫פקלני יורי‬

‫יולי ‪2008‬‬

‫פרהם רוברט‬

‫אוגוסט ‪2002‬‬

‫פרוטר מתן‬

‫אפריל ‪2011‬‬

‫מימוש והרחבה של לוגיקה טבעית‬ ‫הוכחות אי‪-‬אפשרות מבוססות מניה למשימות החלטה‬ ‫מבוזרות‬ ‫גילוי יעיל של מרוצי מידע בתוכניות ‪ c++‬מרובות חוטים‬ ‫הקצאה דינמית של זכרון במחשבי ענן באמצעות מכרז‬ ‫מכיר שני‬ ‫הקצאת רוחב‪-‬פס ברשתות סלולריות עם הפרעות מרובות‬ ‫מה בתמונה? לקראת חישוב מבטים טובים לעצמים תלת‪-‬‬ ‫ממדיים‬ ‫חיזוי תנועות ראש לאפליקציות סביבה מדומה בעזרת‬ ‫קינמטיקה ואנרגיית ‪EMG‬‬ ‫למידת חיזוקים בתהליכי החלטה נצפים חלקית‬ ‫טרסטפק )‪ :(trustpack‬מערכת מבוזרת לניהול אמון‬ ‫קריפטאנליזה של כמה צפני בלוקים מודרניים‬ ‫גישה סמנטית לעיצוב ממשקי משתמש‬ ‫חיזוי סלקטיבי באמצעות מודלים מרקובים סמויים‬ ‫חיזוי אוטורגרסיבי קצר מועד של נקודות תפנית באמצעות‬ ‫מכונת ווקטורי התמיכה‬ ‫הסיבוכיות של יישור עבור מחשבים וקטוריים‬ ‫הוגנות בתקשורת ‪ TCP‬ברשתות מקומיות אלחוטיות‬ ‫זיהוי עצמים מבוסס פונקציונאליות‬ ‫הטמנה סלקטיבית למטרות האצה של תוצאות ביניים‬ ‫בתוכניות מונחות עצמים‬ ‫על שימוש בשאילתות סטטיסטיות מורחבות על מנת‬ ‫להימנע משאילתות שייכות‬ ‫בעיות מקסימיזציה עם פונקציית מטרה תת‪-‬מודולרית‬ ‫אלגוריתם קרוב ‪ EPSILON+ 2‬עבור רה‪-‬צביעה קמורה‬ ‫מינימלית של עצים‬ ‫תכן מחסני נתונים במתודולוגיית עצמים‪-‬תהליכים‬ ‫אוטומטי אומגה חלשים‬ ‫בדיקת ריקנות בלוגיקה טמפורלית לינארית‬ ‫אלגוריתמי קירוב לבעיות כיסוי חלקיות עם קיבולים‬ ‫אלגוריתם לאיסוף יעיל של מידע‬ ‫בניית מודל ושחזור תנועה של גופים מבוססי שלד מוידאו‬ ‫מצלמת עומק‬ ‫פתרון הקונפליקט הדינמי בין ‪ N‬גופים נעים תוך שימוש‬ ‫ברשתות עצביות‬ ‫עיבוד רצפים של תמונות ללא שערוך תנועה‬

‫פרוימוביץ' גיא‬

‫אוגוסט ‪2000‬‬

‫קלסיפיקציה של עציים מתוך תמונות טווח‬

‫פרנק ארי‬

‫אוגוסט ‪2002‬‬

‫פרנק רועי‬

‫אפריל ‪2005‬‬

‫צ'ארניי גלינה‬ ‫צוגלין יורי‬ ‫צ'וז'וי יוליה‬

‫נובמבר ‪2003‬‬ ‫אפריל ‪2001‬‬ ‫ינואר ‪2001‬‬

‫צורף רחל‬

‫יוני ‪2006‬‬

‫ציטרין יאן‬ ‫צייטלין דניאל‬

‫מרס ‪2006‬‬ ‫יוני ‪2006‬‬

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

‫נושא העבודה‬ ‫מדיניות החלפה עבור מטמון של אובייקטים מבוזרים‬ ‫ברחבי האינטרנט‬ ‫חקר מבני נתונים היוצרים ערימה עמוקה‬

‫‪33‬‬

‫מנחה‬ ‫רועי פרידמן‬ ‫ארז פטרנק‬ ‫אלון איתי‪,‬‬ ‫שלום וינטנר‬ ‫יועד וינטר‬ ‫חגית עטיה‬ ‫אסף שוסטר‬ ‫אסף שוסטר‬ ‫ראובן בר‪-‬יהודה‬ ‫חיים גוטסמן‬ ‫יורם ברעם‬ ‫משה טננהולץ‬ ‫רועי פרידמן‬ ‫אלי ביהם‬ ‫אליעזר קנטרוביץ‬ ‫רן אל‪-‬יניב‬ ‫רן אל‪-‬יניב‬ ‫ארז פטרנק‬ ‫דני רז‬ ‫אהוד ריבלין‬ ‫שמואל כ"ץ‪,‬‬ ‫עודד שמואלי‬ ‫נאדר בשותי‬ ‫ספי נאור‬ ‫ראובן בר‪-‬יהודה‬ ‫דב דורי‬ ‫ארנה גרימברג‬ ‫ארנה גרימברג‬ ‫ראובן בר‪-‬יהודה‬ ‫דני רז‬ ‫חיים גוטסמן‬ ‫יורם ברעם‬ ‫מיכאל אלעד‬ ‫אהוד ריבלין‪,‬‬ ‫אילן שמשוני‬ ‫דן גייגר‪ ,‬זהר יכיני‬ ‫מיכל פן‬ ‫רועי פרידמן‬ ‫יוסי גיל‬ ‫יובל רבני‬ ‫ארנה גרימברג‬ ‫עוזי אורנן‬ ‫מיכאל קמינסקי‬

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫צירקין מיכאל‬

‫יוני ‪2004‬‬

‫צמח אנה‬

‫מרס ‪2009‬‬

‫צמח רן‬ ‫צנזור קרן‬

‫דצמבר ‪2012‬‬ ‫יוני ‪2006‬‬

‫צ'רנוי ויאצ'סלב‬

‫ינואר ‪2011‬‬

‫קאדרי ויסאם‬

‫פברואר ‪2004‬‬

‫זמני מסירה ברשתות ניתוב חבילות תחת עומס מלא‬ ‫הכנת מידע על וריאנטים בנוקלאוטיד בודד לבדיקות‬ ‫תאחיזה גנטית‬ ‫פותר רב‪-‬שריג אלגברי מבוסס הגסה בשיטת הקולוקציה‬ ‫צפנים עם אילוצים לערוצים דו ממדיים‬ ‫על ביצועי האלגוריתם השלישי של דייקסטרה לייצוב עצמי‬ ‫עבור מניעה הדדית ואלגוריתמים בנושא‬ ‫סימולציה של מסלולים מטבוליים‬

‫עדי רוזן‬

‫קביאטקובסקי איגור‬

‫פברואר ‪2012‬‬

‫אינווריאנטים בצבע לזיהוי חוזר של אנשים‬

‫קהת זהבית‬

‫מרס ‪2001‬‬

‫קוגן אלכס‬

‫יולי ‪2008‬‬

‫קוגן דמיטרי‬

‫מרס ‪2000‬‬

‫קויפמן שלומית‬

‫ינואר ‪2002‬‬

‫קוליק אריאל‬

‫יולי ‪2011‬‬

‫קולן תום‬

‫דצמבר ‪2011‬‬

‫קירוב בעיית הכיסוי ‪ -‬בקבוצות הצפופה‬ ‫מניעה הדדית לוקלית יעילה וחסינה ברשתות אד הוק‬ ‫ניידות‬ ‫מניית מצביעים מרוחקת‪ :‬איסוף אשפה מבוזר עם תקורת‬ ‫תקשורת וחישוב נמוכה‬ ‫שימור סמנטי של אלגוריתמים להתרת אנאפורים שמניים‬ ‫מכסימיזציה של פונקציות תת‪-‬מודולריות ולינאריות בכפוף‬ ‫לאילוצי קיבולת‬ ‫שיטות צפינה לשגיאות פרץ‬

‫קופרשטיין מיכאל‬

‫אוגוסט ‪2012‬‬

‫שימור נכונות תחת מודלי זיכרון חלשים‬

‫קורלנד גיא‬ ‫קורן תומר‬

‫דצמבר ‪2005‬‬ ‫אוגוסט ‪2012‬‬

‫מודעות למיקום ברשתות אד‪-‬הוק‬ ‫למידת מכונות וקטורים תומכים בזמן תת‪-‬לינארי‬

‫קותיאל גלעד‬

‫אוקטובר ‪2011‬‬

‫נדידה חיה מונחית מחיר של שירותים בענן‬

‫קידר שרון‬

‫פברואר ‪2003‬‬

‫שילוב רדוקציה המסתמכת על סימטריה עם שערוך‬ ‫מלמטה עבור בדיקת מודל סימבולית‬

‫קלופר דמיטרי‬

‫דצמבר ‪2005‬‬

‫קשר בין גיאומטריה וקישוריות של שילושים במישור‬

‫קליאוט גבריאל‬

‫מרס ‪2009‬‬

‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬

‫קלינובסקי ולדיסלב‬

‫אוגוסט ‪2002‬‬

‫סימפוניה‪ :‬ניהול שרתים וירטואליים‬

‫קלינגר אנדרי‬ ‫קמה אלון‬

‫ספטמבר ‪2008‬‬ ‫פברואר ‪2003‬‬

‫יציבות כנגד סטיות קבוצתיות בחישוב אי‪-‬שיתופי‬ ‫מכונה וירטואלית שקופה ועמידה בפני נפילות לג'אווה‬

‫קניגסברג אברהם‬

‫אפריל ‪2003‬‬

‫גישת רב‪-‬שריג עבור פתרון מהיר לעקום פעיל גיאודטי‬

‫קניגסברג דן‬ ‫קפלון אנה‬

‫ינואר ‪2002‬‬ ‫אוקטובר ‪2011‬‬

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

‫קפלן אלכסנדר‬

‫אוגוסט ‪2002‬‬

‫מציאת קווים אפיפולרים משתי תמונות צבעוניות‬

‫קפלן יניב‬

‫נובמבר ‪2004‬‬

‫חסמים תחתונים לבעיית איסוף מידע אדפטיבי ולבעיות‬ ‫קשורות‬

‫קצנגולד אורן‬

‫ספטמבר ‪2006‬‬

‫שימוש אפקטיבי במטמונים שומרי נתיבי ביצוע‬

‫קרונרוד בוריס‬ ‫קרונרוד סבטלנה‬

‫ינואר ‪2001‬‬ ‫אפריל ‪2001‬‬

‫קריביצקי דניס‬

‫יוני ‪2006‬‬

‫נושאים בדחיסה של מודלים תלת‪-‬מימדיים‬ ‫מיקום משימה הסתברותי במערכת מבוזרת רחבת היקף‬ ‫אלגוריתם לוקלי למיקום תחנות שירות למערכות גדולות‬ ‫היקף‬

‫קרייבוי ולדיסלב‬

‫ספטמבר ‪2003‬‬

‫שדכן‪ :‬יצירת מיפוי טקסטורה עם אילוצים‬

‫קרישר שרון‬

‫אוגוסט ‪2006‬‬

‫קרמני חיים‬

‫מרס ‪2008‬‬

‫אילוצי זהות בסכמות ‪XML‬‬ ‫המדחס‪ :‬דחיסה המתבצעת בו‪-‬זמנית‪ ,‬ובאופן תוספתי‬ ‫ומקבילי‬

‫רב רוני‬

‫ספטמבר ‪2003‬‬

‫יצירת צעצועי עץ וירטואליים ממודלים גיאומטריים‬

‫רביב אריאל‬

‫יוני ‪2012‬‬

‫גישה מבוססת מושגים להתרת רב‪-‬משמעות של מילים‬

‫‪34‬‬

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

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫רביב דן‬ ‫רביב נתנאל‬

‫ינואר ‪2008‬‬ ‫יוני ‪2013‬‬

‫סימטריות של משטחים גמישים‬ ‫מינימיזצייה של טבלת אמת של מודלים חישוביים‬

‫רגב אייל‬

‫יולי ‪2021‬‬

‫מערכות מרובות סוכנים בסביבה דינמית סטוכסטית‬

‫רגר רונית‬

‫אפריל ‪2002‬‬

‫למידת חולשות יחסיות אצל הסוכן היריב וניצולם‬

‫רובינשטיין אמיר‬

‫נובמבר ‪2006‬‬

‫מידול מהימן של ביטוי ארעי במערכות התפתחותיות‬

‫רוגל ניר‬ ‫רוזנפלד אולגה‬ ‫רוטשטיין כרמן‬ ‫רוכלנקו אולג‬ ‫רון ליאור‬ ‫רוסמן גיא‬

‫יוני ‪2011‬‬ ‫מאי ‪2007‬‬ ‫מרס ‪2004‬‬ ‫פברואר ‪2004‬‬ ‫מרס ‪2002‬‬ ‫נובמבר ‪2008‬‬

‫ניתוב אנונימי ברשתות אד‪-‬הוק ניידות‬ ‫שיווי משקל חזק במשחקי עומס‬ ‫מערכת סמנטית לתארים טוטליים וחלקיים‬ ‫השוואה בין מסלולים מטבוליים באמצעות התאמת עצים‬ ‫מערכת משוב ויזואלי‬ ‫השטחות יעילות בלימוד יריעות ועיבוד תמונה‬

‫רוסקוב דמיטרי‬

‫ינואר ‪2000‬‬

‫דגימה סלקטיבית ללמידת מסווגי השכן הקרוב‬

‫ריאבצב מיכאל‬

‫ספטמבר ‪2009‬‬

‫ריבניקוב דני‬

‫ינואר ‪2014‬‬

‫ריבניקוב סילבינה‬

‫מרס ‪2010‬‬

‫ריי גיא‬ ‫רינצקי נעם‬ ‫רם רוני‬

‫ינואר ‪2000‬‬ ‫מרס ‪2001‬‬ ‫נובמבר ‪2002‬‬

‫רפפורט אסף‬

‫מאי ‪2013‬‬

‫רצבי גיל‬

‫יולי ‪2006‬‬

‫שוהם )בוכבינדר( שרון‬

‫נובמבר ‪2003‬‬

‫שוחט אמנון‬ ‫שוטלנד ארי‬ ‫שורץ רועי‬

‫מרס ‪2005‬‬ ‫נובמבר ‪2008‬‬ ‫ינואר ‪2004‬‬

‫שורקי פטריק‬

‫ינואר ‪2000‬‬

‫אימות תרגום‪ :‬מ‪ simulink-‬ל‪c-‬‬ ‫מערכת חצי‪-‬אוטומטית להתאמה בלתי קשיחה והצללה‬ ‫קוהרנטית של רצף האנימציה‬ ‫בניית מפת דרכים לא אוקלידית מקבוצה קטנה של‬ ‫תמונות‬ ‫לוגיקות לא‪-‬מונוטוניות מסדר ראשון‬ ‫אנליזה צורנית אינטרפרוצדורלית‬ ‫הפצה יעילה של הודעות אלקטרוניות‬ ‫אלגוריתמי קירוב לבעיות מיקום מתקנים מחוברים עם‬ ‫חסם רך על תכולה‬ ‫יתרון קוונטי‪ ,‬גם ללא שזירות‬ ‫סכמה מבוססת משחקים לדוגמאות נגדיות ולאלגוריתמי‬ ‫אבסטרקציה‪ -‬עידון עבור ‪CTL‬‬ ‫הרחבת ‪ BGP‬לתמיכה ב‪As Global-‬‬ ‫גילוי מסלולים יעיל ברשתות משולבות‬ ‫שיכונים מעגליים של גרפים‬ ‫שיחזור משטחים עם משולשים ביזייר על‪-‬ידי מדידות‬ ‫לייזר‬

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

‫שחנרוביץ' גרגורי‬

‫אוגוסט ‪2001‬‬

‫שיבוט נתונים סטטיסטי עבור מערכות למידה ממוחשבות‬

‫שטיינפלד ישראל‬

‫דצמבר ‪2013‬‬

‫שייחט אלינה‬ ‫שמרון יובל‬ ‫שלום ישראל‬ ‫שלם עדית‬ ‫שם טוב שחר‬ ‫שמי ניר‬ ‫שניידרמן לילה‬ ‫שניצר אורן‬

‫ספטמבר ‪2007‬‬ ‫יוני ‪2012‬‬ ‫יולי ‪2011‬‬ ‫פברואר ‪2007‬‬ ‫דצמבר ‪2011‬‬ ‫מרס ‪2009‬‬ ‫ינואר ‪2009‬‬ ‫מאי ‪2005‬‬

‫שפיר יבגני‬

‫יולי ‪2009‬‬

‫שפירא אירינה‬ ‫שפירו קונסטנטין‬

‫מרס ‪2001‬‬ ‫דצמבר ‪2003‬‬

‫שקלובר גריגורי‬

‫ספטמבר ‪2007‬‬

‫שרגאי טלי‬

‫מאי ‪2009‬‬

‫שרגאי נדב‬

‫מאי ‪2013‬‬

‫שרון איתי‬

‫ינואר ‪2006‬‬

‫ניתוח נתונים ממחקרים המשלבים סוגים שונים של‬ ‫מדידות כלל גנומיות‬ ‫בעיית המשולש המקוונת של היילברון ב‪ d-‬מימדים‬ ‫הקטנת חתימת הזכרון עבור אוספים בשפת ג'אווה‬ ‫השמת משאבים מקוונת מבוססת מרחק ועומס‬ ‫שיחזור רב‪-‬שכבתי של פאזה בדו מימד‬ ‫פרקים בשיטות ואריאציוניות מבוססות פרמטריזציית יתר‬ ‫אכיפת איכות עבור שירותי רשת ברשתות דינמיות‬ ‫סידור אינקרמנטלי של עצי ‪ xml‬מורחבים בזיכרון משני‬ ‫סיווג עקבי מרוכז‬ ‫המרה מונחת‪-‬חיבוריות מבוססת‪-‬תאים של מסיכות של‬ ‫מעגלים משולבים‬ ‫תזמון אינטרוולים מתפצלים‬ ‫מימוש מונחה עצמים רקונסיליאציות‬ ‫שיטות בקומפילציה של קוד ממוקבל בארכיטקטורה עם‬ ‫הקשר משותף‬ ‫הערכה אמפירית של מידת השימושיות של פונקציות‬ ‫וירטואליות הנקראות מתוך פונקציות בנייה‬ ‫כיסויים גאומטריים‬ ‫זיהוי דמיון בין חלבונים רחוקים ובעלי מורכבות נמוכה‬

‫‪35‬‬

‫דני רז‬ ‫טל מור‬ ‫ארנה גרימברג‬ ‫ראובן כהן‬ ‫רועי פרידמן‬ ‫ספי נאור‬ ‫גרשון אלבר‬ ‫רן אל‪-‬יניב‪,‬‬ ‫יורם ברעם‬ ‫זוהר יכיני‬ ‫גיל ברקת‬ ‫יוסי גיל‬ ‫ספי נאור‬ ‫עירד יבנה‬ ‫אלפרד ברוקשטיין‬ ‫רועי פרידמן‬ ‫עודד שמואלי‬ ‫שאול מרקוביץ'‬ ‫רון פינטר‪,‬‬ ‫שמואל וימר‬ ‫הדס שכנאי‬ ‫שמואל כ"ץ‬ ‫אסף שוסטר‬ ‫יוסי גיל‬ ‫גרשון אלבר‬ ‫גולן יונה‪,‬‬ ‫רן אל‪-‬יניב‬

‫מגיסטר‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫שרייר אלכסנדר‬ ‫שרף יובל‬ ‫שרפמן דפנה‬

‫מאי ‪2006‬‬ ‫נובמבר ‪2004‬‬ ‫פברואר ‪2003‬‬

‫ששון אמיר‬

‫אפריל ‪2004‬‬

‫ששון גיל‬

‫אפריל ‪2004‬‬

‫שתיל אסף‬

‫יוני ‪2002‬‬

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

‫עידית קידר‬ ‫גיל ברקת‬ ‫ארז פטרנק‬

‫תדמור סאלי‬

‫אפריל ‪2002‬‬

‫חבילת תוכנה לפיתוח מערכות מידע אינטראקטיביות‬

‫אליעזר קנטרוביץ'‪,‬‬ ‫רועי פרידמן‬

‫תייר רפי‬

‫אפריל ‪2001‬‬

‫סריקת מבוכים אוילרים מכוונים באמצעות רובוט בעל‬ ‫מספר מצבים סופי‬

‫שמעון אבן‬

‫דוקטור‬ ‫שם‬

‫סיום לימודים‬

‫אברבוך איליה‬

‫אפריל ‪2011‬‬

‫אברהם תמר‬

‫דצמבר ‪2007‬‬

‫נובמבר ‪2002‬‬ ‫אגבריה עדנאן‬ ‫אגמון בן‪-‬יהודה אורנה ספטמבר ‪2013‬‬ ‫נובמבר ‪2006‬‬ ‫אהרון מיכל‬ ‫דצמבר ‪2010‬‬ ‫אייזיקוביץ תמר‬

‫נושא העבודה‬ ‫תכונות שלמות ואוניברסליות של שמורות‪-‬גרפים‬ ‫ופולינומי‪-‬גרפים‬ ‫תהליכי קשב ויזואלי המבוססים על מודלים הסתברותיים‪:‬‬ ‫אלגוריתמים וחסמים‬ ‫אמינות במערכות מבוזרות לחישוב מהיר‬ ‫חלוקת משאבי מיחשוב יעילה לא שיתופית‬ ‫מילונים יתירים לייצוג דליל של אותות‬ ‫אוטומטי מחסנית מתחלפים מסונכרנים‬ ‫ניתוח מתמאטי של התנהגות גלובלית מתהווה במערכות‬ ‫מרובות סוכנים‬

‫אלאור יותם‬

‫ספטמבר ‪2013‬‬

‫אלטשולר יניב‬

‫מרס ‪2010‬‬

‫מערכות רובוטיות רב סוכניות בסביבות דינאמיות‬

‫אלכסנדרוביץ גדי‬

‫אוקטובר ‪2011‬‬

‫אמזלג דוד‬

‫פברואר ‪2008‬‬

‫אנגלברג רועי‬

‫מרס ‪2009‬‬

‫אסמיר סאהר‬

‫נובמבר ‪2008‬‬

‫ספירה של חיות סריג‬ ‫אלגוריתמי קירוב לבעיות אופטימיזציה ברשתות‬ ‫סלולריות עתידיות‬ ‫יציבות בסביבות מרובות סוכנים ואלגוריתמי קירוב‬ ‫לבעיות ‪ np‬קשות בגרפים‬ ‫אלגוריתמי כל‪-‬עת ללמידת מסווגי כל‪-‬עת‬

‫אפלבאום בני‬

‫יולי ‪2007‬‬

‫קריפטוגרפיה בזמן מקבילי קבוע‬

‫אקרמן איל‬

‫ספטמבר ‪2006‬‬

‫בעיות ספירה במבנים גיאומטריים‪ :‬מילבונים‪ ,‬מפות‪-‬תכנון‬ ‫למעגלים מוכללים וגרפים מעין‪-‬מישוריים‬

‫אושרוביץ אליהו‬

‫פברואר ‪2012‬‬

‫שיטות נומריות לשיחזור פאזה‬

‫בגלייטר רון‬

‫אפריל ‪2013‬‬

‫מחקר בנושאים עיוניים ומעשיים של למידה פעילה‬

‫בגלמן גריגורי‬

‫יולי ‪2009‬‬

‫עיבוד והבנה של תמונות מיקרוסקופיות ביולוגיות‬

‫בוגומיאקוב אלכסנדר‬

‫פברואר ‪2008‬‬

‫בוכבינדר ניב‬ ‫בוסתן דורון‬

‫נובמבר ‪2008‬‬ ‫אוגוסט ‪2002‬‬

‫בלייבס איליה‬

‫דצמבר ‪2009‬‬

‫בן‪-‬אבי גלעד‬ ‫בן‪-‬זקן זילברשטיין חיה‬

‫בקר אנה‬ ‫בן‪-‬חן מירי‬ ‫בן‪-‬צבי עידו‬ ‫ברונשטיין אלכסנדר‬

‫ינואר ‪2008‬‬ ‫מאי ‪2006‬‬ ‫ינואר ‪2002‬‬ ‫ספטמבר ‪2009‬‬ ‫יולי ‪2011‬‬ ‫מאי ‪2007‬‬

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

‫‪36‬‬

‫עדית קידר‬ ‫ישראל בן‪-‬שאול‬ ‫שאול מרקוביץ'‬

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

‫דוקטור‬ ‫שם‬

‫סיום לימודים‬

‫ברונשטיין מיכאל‬

‫מרס ‪2007‬‬

‫ברנגולץ אלכסנדר‬ ‫ברקול עומר‬ ‫ברקן אלעד‬ ‫גברילוביץ יבגני‬

‫יוני ‪2004‬‬ ‫ספטמבר ‪2008‬‬ ‫מרס ‪2006‬‬ ‫דצמבר ‪2006‬‬

‫גולדנברג רומן‬

‫פברואר ‪2003‬‬

‫זיהוי מבוסס תנועה‬

‫גונטמכר אלכס‬

‫אוקטובר ‪2007‬‬

‫ארכיטקטורה ומודל תכנות למקבול בגרעיניות נמוכה‬ ‫מאוד‬

‫גורביץ פבל‬

‫ספטמבר ‪2013‬‬

‫הצפנה קוונטית ניסויית שבה השולחת היא קלאסית‬

‫ג'יריס רג'א‬ ‫גלבוע ניב‬ ‫גלוסמן מרסלו‬ ‫גרבלה גיא‬ ‫גרונאו אילן‬

‫פברואר ‪2014‬‬ ‫יוני ‪2001‬‬ ‫אפריל ‪2003‬‬ ‫מאי ‪2013‬‬ ‫ספטמבר ‪2009‬‬

‫גרינספן גדעון‬

‫אוקטובר ‪2005‬‬

‫דונקלמן אור‬ ‫דרבקין ואדים‬ ‫הולצמן‪-‬גזית מיכל‬

‫ינואר ‪2006‬‬ ‫ספטמבר ‪2008‬‬ ‫אוקטובר ‪2010‬‬

‫מודלי דלילות עבור אותות‪ :‬תיאוריה ויישומים‬ ‫נושאים באיחזור מידע באופן פרטי‬ ‫מיכון להוכחות של שקילות בין חישובים‬ ‫אלגוריתמי תיזמון לרשתות ‪ ofdma‬אלחוטיות‬ ‫שחזור עצים פילוגנטיים ממטריקות רועשות‬ ‫מודל רשת בייסיאנית לוריאציות בגושי גושי הפלוטיפים‪:‬‬ ‫הסקה ורישום‬ ‫שיטות קריפטאנליזה של צפני בלוקים‬ ‫פרוטוקולי תקשורת אמינים ברשתות אד‪-‬הוק‬ ‫שיטות אדפטיביות רב‪-‬סרגיות‬

‫היימן תמיר‬

‫מרס ‪2004‬‬

‫בדיקת מודל סימבולית בעזרת מערכת מבוזרת‬

‫הלוי שירלי‬ ‫הלל אשכר‬ ‫וולף רן‬

‫ינואר ‪2006‬‬ ‫יולי ‪2011‬‬ ‫אוקטובר ‪2004‬‬

‫וולקוביץ איליה‬

‫מרס ‪2012‬‬

‫וידרמן מיכאל‬

‫פברואר ‪2012‬‬

‫ויטנברג רומן‬ ‫וינר יאיר‬

‫נובמבר ‪2002‬‬ ‫אוקטובר ‪2013‬‬

‫וקסמן אמיר‬

‫יוני ‪2011‬‬

‫וקסלר עידו‬ ‫זהר רון‬ ‫זילברשטיין נטליה‬ ‫זלוצ'ין מרק‬

‫דצמבר ‪2007‬‬ ‫פברואר ‪2007‬‬ ‫נובמבר ‪2011‬‬ ‫יוני ‪2003‬‬

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

‫זפולוצקי מריה‬

‫יולי ‪2008‬‬

‫פרישות קומפקטיות של רשתות חיבורים מסויימות‬

‫זריבץ' אבלינה‬

‫ספטמבר ‪2008‬‬

‫חדד ארז‬ ‫חי דוד‬ ‫חן רפי‬

‫מאי ‪2006‬‬ ‫אפריל ‪2007‬‬ ‫יולי ‪2011‬‬

‫חניאל עדו‬

‫מרס ‪2008‬‬

‫טאן טוני‬

‫יולי ‪2009‬‬

‫טל עדו‬

‫ינואר ‪2009‬‬

‫יגר‪-‬לוטם אסתי‬

‫ינואר ‪2005‬‬

‫ידגר גלה‬

‫יולי ‪2012‬‬

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

‫שיערוך תוכניות ‪ datalog‬מעל מסדי נתונים אינסופיים‬ ‫ומבוססים‬ ‫ארכיטקטורות לשירותי תווכה חסיני נפילות‬ ‫ניתוח תחרותי של ארכיטקטורות מתגים‬ ‫שיטות חדשות לקריפטאנליזה של פונקציות תמצות‬ ‫חישוב יציב של מערכים גיאומטריים ודיאגרמות וורונוי של‬ ‫עקומים ומשטחים חופשיים‬ ‫אוטומטים עם חלוקים עבור שפות נתונים‪ :‬הפרדה‪,‬‬ ‫כריעות ואי‪-‬כריעות‬ ‫צפינה וחסמים לאילוצים דו‪-‬ממדיים‬ ‫אנליזה חישובית של רשתות המשלבות בקרת שעתוק‬ ‫ואינטראקציות בין חלבונים‬ ‫ניהול מטמון רב‪-‬שכבתי בעזרת רמזים מהאפליקציה‬

‫‪37‬‬

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

‫דוקטור‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫ידגר גלה‬

‫יולי ‪2012‬‬

‫ניהול מטמון רב‪-‬שכבתי בעזרת רמזים מהאפליקציה‬

‫אסף שוסטר‪,‬‬ ‫מיכאל פקטור‬

‫יהלום אורלי‬ ‫יורב קרן‬

‫נובמבר ‪2008‬‬ ‫יולי ‪2000‬‬

‫נושאים בבדיקת תכונות במודלים עם פרמטר מאסיבי‬ ‫ניצול מבניות באימות אוטומטי‬

‫אלדר פישר‬ ‫ארנה גרימברג‬

‫ישי יובל‬

‫ינואר ‪2000‬‬

‫אקראיות מתואמת וחישובים פרטיים‬

‫איל קושלביץ‪,‬‬ ‫הוגו קרבצ'יק‪,‬‬

‫כהן טל‬

‫פברואר ‪2007‬‬

‫כהן רמי‬

‫ינואר ‪2008‬‬

‫כץ אמיליה‬ ‫לביא גל‬

‫אפריל ‪2011‬‬ ‫מרס ‪2013‬‬

‫לוי זהר‬

‫יולי ‪2013‬‬

‫לוי תמיר‬

‫אוקטובר ‪2011‬‬

‫לוין אניה‬

‫פברואר ‪2012‬‬

‫לוין רועי‬

‫ספטמבר ‪2013‬‬

‫לייכטר עדו‬

‫ספטמבר ‪2008‬‬

‫ליפסון דורון‬

‫אפריל ‪2007‬‬

‫למפל רוני‬

‫פברואר ‪2003‬‬

‫לנדאו אלכסנדר‬

‫דצמבר ‪2009‬‬

‫לנץ קרן‬

‫אפריל ‪2013‬‬

‫מוס אנה‬

‫אוגוסט ‪2001‬‬

‫מורי נעם‬ ‫מורן שירי‬ ‫מזאווי חנא‬

‫יולי ‪2009‬‬ ‫נובמבר ‪2006‬‬ ‫נובמבר ‪2011‬‬

‫מלמד רועי‬

‫יולי ‪2006‬‬ ‫מרס ‪2012‬‬ ‫ספטמבר ‪2008‬‬

‫שימוש בפיתוח תוכנה מונחה‪-‬אספקטים במערכות‬ ‫שכבת‪-‬ביניים‬ ‫המבנה הטופולוגי של האינטרנט‪ :‬מתהליך הגילוי ועד‬ ‫לתמונה האמתית‬ ‫ניתוח וזיהוי אינטראקציות בין אספקטים‬ ‫הבנת מאורעות בוידאו‬ ‫שיטות לעיבוד בסיסי נתונים תלת‪-‬ממדיים נפחיים‬ ‫ופוליהדרליים‬ ‫על רשתות המיזוג‬ ‫סכימות לניהול נדידת משתמשים לצורך שיפור ביצועי‬ ‫‪ tcp‬ברשתות אלחוטיות‬ ‫חיפושי מסלולים גיאוגרפיים‬ ‫עקיבה ויזואלית בהקשר רחב באמצעות שילוב עוקבים‬ ‫ושימוש ברמזים ברמה נמוכה‬ ‫סוגיות חישוביות במדידת מספר עותקי דנ"א‬ ‫ניתוח מבנה הקשרים וניהול מטמון תוצאות החיפושים‬ ‫במנועי חיפוש ברשת האינטרנט‬ ‫שיטות יעילות להערכת מספר הצמתים המושפעים‬ ‫מאירוע ברשתות גדולות מאד‬ ‫מנגנונים פנימיים וחיצוניים להרחבת שפות תכנות‬ ‫רווח גבוה תמורת מחיר נמוך‪ :‬אלגוריתמי קירוב בגרפים‬ ‫עם משקלים בצמתים‬ ‫שירות חיפוש תוכן מוכוון צפיפות ברשתות אד‪-‬הוק ניידות‬ ‫בעיות תיזמון וסדרות חלקות‬ ‫למידת גרפים משאילתות אשר סופרות קשתות‬ ‫שירותים הניתנים להרחבה לרשתות תקשורת רחבה‬ ‫דינאמיות‬ ‫תבניות פורמליות בתבניות ג'אווה‬ ‫בדיקת תכונות וקירובים קומבינאטורים‬

‫ממן איתי‬ ‫מצליח אריה‬ ‫מרעי ענאן‬ ‫נוסנסון רונית‬ ‫ניר טל‬ ‫נלקן רן‬ ‫נקיבלי גבי‬

‫מאי ‪2005‬‬ ‫מאי ‪2007‬‬ ‫ספטמבר‪2001‬‬ ‫ינואר ‪2008‬‬

‫סוידאן פיראס‬

‫פברואר ‪2006‬‬

‫סורז'סקי ויטלי‬

‫יוני ‪2003‬‬

‫סזבון דידי‬

‫יולי ‪2005‬‬

‫מודלים סטוכסטיים לשרתי אינטרנט‬ ‫נושאים בניתוח של תנועה‬ ‫שאלות‪ ,‬זמן וממשקי שפה טבעית לבסיסי נתונים עתיים‬ ‫הנדסת תעבורה ברשתות מבוססות ‪ IP‬ו‪MPLS-‬‬ ‫גנומיקה השוואתית‪ :‬ממיפוי מדויק למיון על‪-‬ידי היפוכים‬ ‫ממושקלים ולפילוגנזות מסומנות על‪-‬ידי חזרות‬ ‫מורפוזה של צורות לינאריות למקוטעין בעזרת ייצוגים‬ ‫קמורים‬ ‫ניווט מבוסס חיישנים המונע על‪-‬ידי מערכות ביולוגיות‬

‫סטרולוביץ עומר‬

‫מרס ‪2013‬‬

‫שרשראות איבוד מידע ושיתוף סוד שברי‬

‫סנדלר רומן‬

‫אוקטובר ‪2010‬‬

‫ספירה אלון‬

‫ספטמבר ‪2006‬‬

‫ניתוח מסנני ‪ gabor‬להפרדת טקסטורות‬ ‫התפתחות גיאומטרית של תמונות על משטחים‬ ‫פרמטריים‬

‫סקלוסוב גבריאל‬

‫דצמבר ‪2007‬‬

‫בעיות ניתוב ותזמון ברשתות תקשורת‬

‫סקצ'ק ויטלי‬

‫דצמבר ‪2006‬‬

‫צפנים בעל ייצוג דליל‪ :‬בניות וחסמים‬

‫‪38‬‬

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

‫דוקטור‬ ‫שם‬

‫סיום לימודים‬

‫נושא העבודה‬

‫מנחה‬

‫עבוד אמיר‬

‫דצמבר ‪2012‬‬

‫ניטור פונקציות כלליות במערכות מבוזרות עם תקשורת‬ ‫מינימלית‬

‫עילם תמר‬

‫אוקטובר ‪2000‬‬

‫יחסי גומלין בין עלות לאיכות ברשתות תקשורת‬

‫עירון נדב‬

‫ינואר ‪2001‬‬

‫פורן אריה‬

‫נובמבר‪2001‬‬

‫למידה חישובית במודלים לסביבה רועשת‬ ‫אלגוריתמים אופרטיביים חסרי המתנה למערכות‬ ‫אסינכרוניות עם זיכרון משותף‬

‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫שלמה מורן‪,‬‬ ‫שמואל זקס‬ ‫שי בן‪-‬דוד‬

‫פורן רועי‬

‫ינואר ‪2014‬‬

‫נושאים באופטימיזציה וחקירה של צורות‬

‫פז הראל‬

‫יולי ‪2006‬‬

‫ניהול זיכרון יעיל לשרתים‬

‫פינקלשטיין לב‬

‫יוני ‪2005‬‬

‫תזמון לא מקוון של אלגוריתמים ברי פסיקה‬

‫פישלזון מעין‬

‫דצמבר ‪2004‬‬

‫פלשטיין איל‬

‫אוגוסט ‪2002‬‬

‫פסקין ענת‬

‫דצמבר ‪2012‬‬

‫חישוב בטוח במינימום אינטראקציה‬

‫פצ'יוני דמיטרי‬

‫מרס ‪2009‬‬

‫פרוינד ארי‬

‫פברואר ‪2003‬‬

‫פרוטר מתן‬ ‫פרידמן אריק‬ ‫פרישמן יניב‬ ‫צ'וזוי יוליה‬

‫אפריל ‪2011‬‬ ‫מרס‪2011‬‬ ‫ינואר ‪2009‬‬ ‫יולי ‪2004‬‬

‫ציבין יואב‬

‫אפריל ‪2004‬‬

‫צמח תמר‬

‫ינואר ‪2008‬‬

‫צנזור קרן‬ ‫קוגן אלכס‬ ‫קוטק תומר‬

‫ספטמבר ‪2010‬‬ ‫אוקטובר ‪2012‬‬ ‫יולי ‪2012‬‬

‫קונופניקי דוד‬

‫נובמבר ‪2001‬‬

‫קופרשטוק אהרן‬ ‫קורן יאיר‬ ‫קליאוט גבי‬ ‫קניגסברג דן‬

‫אוקטובר ‪2000‬‬ ‫יולי ‪2007‬‬ ‫מרס ‪2009‬‬ ‫יולי ‪2007‬‬

‫תיאוריה ומעשה בלמידה טרנסדוקטיבית‬ ‫אלגוריתמי קירוב מקוונים ובלתי מקוונים לבעיות שונות‬ ‫של הקצאת משאבים ותזמונם ולבעיית החתך הרב‪-‬כיווני‬ ‫עיבוד רצפים של תמונות ללא שערוך תנועה‬ ‫כריית מידע משמרת פרטיות‬ ‫שיטות שיכון גרפים לויזואליזציה של מידע‬ ‫קושי של קירוב ומחלקות קירוב חדשות‬ ‫אלגוריתמים יעילים לסביבת זמן הריצה של תוכניות‬ ‫מונחות עצמים‬ ‫חקירה של זרימות לא הומוגניות המושפעות מכוחות‬ ‫סיבוב וכובד‬ ‫שיטות הסתברותיות בחישוב מבוזר‬ ‫שימוש יעיל במספר ממשקי רדיו ברשתות אלחוטיות‬ ‫גדירות של פונקציות קומבינטוריות‬ ‫אילוף ה‪ :WEB-‬שאילתות‪ ,‬אינטגרציה‪ ,‬ואפליקציות‬ ‫מתקדמות למסחר אלקטרוני‬ ‫שיכונים משופרים של רשתות חיבורים‬ ‫שיטות מרובות סקלה לעיבוד תמונות‬ ‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬ ‫קלסיות וקוונטיות בעיבוד אינפורמציה קוונטית‬

‫קניזו יוסף חי‬

‫פברואר ‪2014‬‬

‫חישוב יעיל של הקשרים גנטיים עבור עצי משפחה‬ ‫כלליים‬ ‫ניתוב בר הרחבה ברשתות ‪ ATM‬היררכיות‬

‫החלטות מהירות בהתקני רשת‬ ‫המלצת שאילתות תלוית הקשר‬

‫קראוס נעמה‬ ‫קרני צחי‬

‫ספטמבר ‪2004‬‬

‫קרנין זהר‬

‫פברואר ‪2012‬‬

‫רביב דן‬

‫דצמבר ‪2012‬‬

‫רביץ דרור‬

‫נובמבר ‪2003‬‬

‫רדינסקי קירה‬

‫מרס ‪2013‬‬

‫רובינשטיין רן‬

‫פברואר ‪2012‬‬

‫רוכלנקו אולג‬

‫ינואר ‪2008‬‬

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

‫‪39‬‬

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

‫דוקטור‬ ‫שם‬

‫סיום לימודים‬

‫רוזנברג איל‬

‫יוני ‪2012‬‬

‫רונן רועי‬

‫נובמבר ‪2012‬‬

‫רוסמן גיא‬ ‫רוסקוב דמיטרי‬ ‫רוקנשטיין גיתית ז"ל‬

‫ינואר ‪2014‬‬ ‫יוני ‪2004‬‬ ‫ינואר ‪2002‬‬

‫רסקין ליאוניד‬

‫אוקטובר ‪2010‬‬

‫רסמריצה שטפן‬

‫יוני ‪2003‬‬

‫גישת רב סוכן לבקרת מערכות מרובות רובוטים‬

‫שגיא גיא‬

‫יולי ‪2012‬‬

‫שיטות גיאומטריות לעיבוד וניטור של מידע גדול ומבוזר‬

‫שגין קונסטנטין‬

‫ספטמבר ‪2009‬‬

‫שוהם בוכבינדר שרון‬

‫ינואר ‪2009‬‬

‫שולדאה אוקטביאן‬

‫יולי ‪2006‬‬

‫הסק פונקציונלי בניתוח תמונות‬

‫שוורץ משה‬ ‫שוורץ רועי‬

‫אפריל ‪2004‬‬

‫שטוק יוסי‬

‫דצמבר ‪2012‬‬

‫שיין שגיא‬

‫אפריל ‪2006‬‬

‫שיכמן מרסלו‬ ‫שלום מרדכי‬

‫יוני ‪2003‬‬ ‫מרס ‪2006‬‬

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

‫שלם מירית‬

‫אפריל ‪2013‬‬

‫שניר שגיא‬

‫ספטמבר ‪2004‬‬

‫שרפמן יצחק צחי‬

‫ינואר ‪2009‬‬

‫תמיר תמר‬

‫ספטמבר ‪2001‬‬

‫נושא העבודה‬ ‫חסמים תחתונים ותוצאות מבניות בבדיקת תכונות של‬ ‫מבנים קומבינטוריים צפופים‬ ‫מודלים ושיטות לאפליקציות אינטרנט מתקדמות‬ ‫ולאוטומציה ברשתות חברתיות‬ ‫על פרמטריזציות טבעיות של מרחבי תנועה ומבנה‬ ‫רשתות בייסיאניות‪ :‬בחירת מודלים ושימושים‬ ‫אסטרטגיות בפענוח קודים אלגבריים לתיקון שגיאות‬ ‫הורדת ממד לצורך עקיבה וניתוח אינטראקציות בין בני‬ ‫אדם במרחב תלת ממדי‬

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

‫שאילתות חיפוש מורכבות במאגרי מידע הטרוגניים‬ ‫נושאים חישוביים בשחזור עצים פילוגנטיים – פתרונות‬ ‫אנליטיים לנראות מרבית וצביעה קמורה‬ ‫גישה גיאומטרית לזיהוי תכונות גלובליות מעל מידע‬ ‫מבוזר‬ ‫בעיות הקצאת משאבים עם אילוצי סוגים‬

‫‪40‬‬

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