קטלוג לתארים מתקדמים תשע"ה 2015-2014 - Technion

‫הפקולטה למדעי המחשב‬
‫הטכניון ‪ -‬מכון טכנולוגי לישראל‪ ,‬חיפה‬
‫קטלוג תארים מתקדמים‪ ,‬תשע"ה ‪2014-2015‬‬
‫‪www.cs.technion.ac.il‬‬
2
‫קטלוג תארים מתקדמים‬
‫תשע"ה‪2014-2015 ,‬‬
‫הפקולטה למדעי המחשב‬
‫הטכניון ‪ -‬מכון טכנולוגי לישראל‬
‫‪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‬‬
‫מס' הקורס‬
‫‪114031‬‬
‫‪114032‬‬
‫‪104167‬‬
‫או‬
‫‪104134‬‬
‫‪4‬‬
‫‪3‬‬
‫‪4.5‬‬
‫‪3‬‬
‫‪3‬‬
‫‪ .1‬ניתן לקבל פטור ממקצוע השלמה אם נלמד מקצוע דומה או‬
‫מתקדם ממנו באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬
‫הפטור יינתן על‪-‬ידי המרכז‪ ,‬תוך התייעצות עם מורה‬
‫המקצוע‪.‬‬
‫‪ .2‬יש לעבור את מקצועות ההשלמה בממוצע ‪,88‬‬
‫וכל מקצוע בציון של לפחות ‪ .80‬סטודנטים יזוכו בנקודות‬
‫מוסמכים עבור מקצועות ההשלמה המסומנים ב‪.*-‬‬
‫‪11‬‬
‫שם הקורס‬
‫חשבון אינפיניטסימלי ‪1‬מ'‬
‫חשבון אינפיניטסימלי ‪2‬מ'‬
‫אלגברה א'‬
‫אלגברה מודרנית ח'‬
‫נקודות‬
‫‪5.5‬‬
‫‪5.0‬‬
‫‪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‬‬
‫הנדסת תוכנה אג'יילית‬
‫‪236712‬‬
‫אלגוריתמים לניהול זכרון דינמי‬
‫‪236780‬‬
‫נקודות‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪4.0‬‬
‫‪3.0‬‬
‫‪3.0‬‬
‫‪2.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‬ומעלה(‪,‬‬
‫במידה ויעבור אותם בציון סביר‪ .‬סטודנט יוכל לקבל פטור ממקצוע השלמה אם‪:‬‬
‫א‪ .‬למד מקצוע דומה או מתקדם באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬
‫ב‪ .‬קיבל פטור ממורה המקצוע‪.‬‬
‫מקצועות ההשלמה ייקבעו לכל סטודנט עם קבלתו ללימודים מתוך הרשימה הבאה‪:‬‬
‫מקצוע‬
‫מתמטיקה‬
‫מדעי המחשב‬
‫מס' הקורס‬
‫‪114031‬‬
‫‪114032‬‬
‫‪104167‬‬
‫‪104134‬‬
‫‪234107‬‬
‫‪094412‬‬
‫‪234122‬‬
‫‪234218‬‬
‫‪234247‬‬
‫‪234293‬‬
‫‪234123‬‬
‫‪234267‬‬
‫‪*236343‬‬
‫‪*236360‬‬
‫שם הקורס‬
‫חשבון אינפיניטסימלי ‪1‬מ'‬
‫חשבון אינפיניטסימלי ‪2‬מ'‬
‫אלגברה א'‬
‫או‬
‫אלגברה מודרנית ח'‬
‫אנליזה נומרית ‪1‬‬
‫הסתברות מ'‬
‫מבוא לתכנות מערכות )מת"מ(‬
‫מבנה נתונים ‪1‬‬
‫אלגוריתמים ‪1‬‬
‫לוגיקה ותורת הקבוצות למ"מ‬
‫מערכות הפעלה‬
‫מבנה מחשבים ספרתיים )ממ"ס(‬
‫תורת החישוביות‬
‫תורת הקומפילציה‬
‫נקודות‬
‫‪5.5‬‬
‫‪5.0‬‬
‫‪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‬‬
‫הסכמת קבוצה‪ N-‬כאשר הקלטים מוגבלים‬
‫אבן קרין‬
‫אוקטובר ‪2013‬‬
‫ציאת שגיאות יציבות מספריות נדירות בחישובים מקבילים‬
‫חגית עטיה‬
‫ערן יהב‪,‬‬
‫חנה צ'וקלר‬
‫אבני אופיר‬
‫נובמבר ‪2006‬‬
‫מידול וחיקוי עם מוטיבציה ביולוגית של מערכת הראייה של‬
‫הזיקית‬
‫אהוד ריבלין‬
‫אברהם אורי‬
‫אוגוסט ‪2012‬‬
‫תבנית חדשה לצפני בלוקים סימטריים‬
‫אלי ביהם‪,‬‬
‫אור דונקלמן‬
‫אגבריה סביח‬
‫אוקטובר ‪2013‬‬
‫אגוזי עופר‬
‫מרס ‪2010‬‬
‫אדדי רועי‬
‫אוקטובר ‪2011‬‬
‫אדלר עמיר‬
‫ספטמבר ‪2005‬‬
‫הפחתת דרישות הזיכרון לאיחסון בסיסי נתונים תבניתיים‬
‫אדן ערן‬
‫אפריל ‪2007‬‬
‫זיהוי מוטיבים ברשימות מדורגות של רצפי דנ"א‬
‫אהרן מיכל‬
‫ינואר ‪2004‬‬
‫ייצוג אנליזה וסינתיזה של תמונות באמצעות הורדת ממד‬
‫אוחיון שי‬
‫יולי ‪2007‬‬
‫אופשנקו אברהם‬
‫אורלובסקי אריה‬
‫אושרוביץ אליהו‬
‫אושמן רותם‬
‫יוני ‪2003‬‬
‫ינואר ‪2008‬‬
‫יוני ‪2007‬‬
‫ספטמבר ‪2008‬‬
‫אזאצ'י חזי‬
‫אוגוסט ‪2003‬‬
‫אייזנברג ודים‬
‫אוקטובר ‪2012‬‬
‫איפרגן נילי‬
‫אפריל ‪2005‬‬
‫איתמר עינב‬
‫מרס ‪2008‬‬
‫אלבוחר דני‬
‫מרס ‪2010‬‬
‫סימולטור תחושתי בזמן אמת עבור פרוצדורות כירורגיות‬
‫אלטמן אלון‬
‫דצמבר ‪2003‬‬
‫אלמוג אלי‬
‫מרס ‪2001‬‬
‫אלנבוגן דימה‬
‫אלסטר קונסטנטין‬
‫אלפרין יבגניה‬
‫יוני ‪2914‬‬
‫אוקטובר ‪2004‬‬
‫דצמבר ‪2010‬‬
‫אלעד אסי‬
‫נובמבר ‪2002‬‬
‫אסתרין יעקב‬
‫אוקטובר ‪2005‬‬
‫אפלמן בוריס‬
‫אוגוסט ‪2001‬‬
‫אקל נטליה‬
‫ינואר‪2001‬‬
‫אקשטיין איליה‬
‫אוגוסט ‪2001‬‬
‫ארצי שי‬
‫אוגוסט ‪2000‬‬
‫בגלייטר רון‬
‫בדר מיכאל‬
‫נובמבר ‪2005‬‬
‫פברואר ‪2013‬‬
‫איפיון וחישוב של גרירות טווח‬
‫תזמון גישות לזיכרון משותף על‪-‬ידי בורר ערוץ בודד‪ :‬עיון נוסף‬
‫בבעיית ‪-k‬הלקוחות‬
‫הוכחת סיום הדדי של תוכניות‬
‫ניטור יעיל של פרמטרי איכות השירות ברשתות תקשורת‬
‫ניתוח תכונות וזיהוי אוטומטי לסוגי אספקטים‬
‫נושאים מתקדמים בשיטוח משטחים בעזרת ‪FMMTD‬‬
‫ו‪MDS-‬‬
‫מערכת מומחה בתרגומים בין כלים פורמליים לבדיקת מערכות‬
‫ב‪VeriTech-‬‬
‫מידול גיאומטרי מרחוק‬
‫מחקר אמפירי של אסטרטגיות פרישת אובייקט ושיטות‬
‫אופטימיזציה‬
‫מיפוי טקסטורה תוך שימוש בפרמטריזציה עם אילוצים‬
‫חסמים תחתונים על הסיבוכיות של מכפלת פולינומים מעל‬
‫שדות סופיים‬
‫מחקר בנושאים עיוניים ומעשיים של חיזוי סדרות‬
‫אלגוריתמי קירוב עבור בעיות תזמון והקצאת משאבים‬
‫על תיקונים חלקיים של באגים והאינטואיציה של מפתחים‬
‫לגביהם‬
‫אחזור מידע מבוסס‪-‬מושגים תוך שימוש בניתוח סמנטי מפורש‬
‫חיזוי קצבי גידול במיקרואורגניזמים בעזרת רשת מטבולית‬
‫בשילוב פרמטרים קינטיים אינזימטיים‬
‫אנליזה חישובית של התנהגות ביולוגית‪ :‬אינטראקציה בין‬
‫שליטה על מבט וקשב חזותי‬
‫למידת אוטומטים סופיים‪ ,‬בעזרת שאילתות שיוך לא מושלמות‬
‫אכיפה מבוזרת של מדיניות אבטחה במערכות מבוזרות‬
‫כיסוי מרחבים רציפים על ידי מערכות רב סוכניות‬
‫בדיקת מודל חסומה ללוגיקת זמן מסתעף‬
‫שילוב דורות באלגוריתמים מוני התייחסות לניהול זיכרון‬
‫אוטומטי‬
‫תכנות יישומים מעל רשת האינטרנט הסמנטית‬
‫שיפור מהירות במערכות מרובות‪-‬מעבדים עבור חישוב ישיגות‬
‫מקבילית‬
‫שימוש בכתוביות סרטים ליצירת מודלים ליישור סטטיסטי‬
‫‪26‬‬
‫יוסי גיל‬
‫שאול מרקוביץ'‬
‫תומר שלומי‬
‫שאול מרקוביץ'‪,‬‬
‫אריאל פלנר‬
‫זהר יכיני‬
‫מיכאל אלעד‪,‬‬
‫רון קימל‬
‫אהוד ריבלין‬
‫נאדר בשותי‬
‫דני רז‬
‫אלפרד ברוקשטיין‬
‫אורנה גרימברג‬
‫ארז פטרנק‬
‫ירון קנזה‬
‫אורנה גרימברג‬
‫אלון איתי‬
‫גרשון אלבר‪,‬‬
‫ירון הר‪-‬שי‬
‫יועד וינטר‬
‫הדס שכנאי‬
‫עופר שטריכמן‬
‫דני רז‬
‫שמואל כ"ץ‬
‫רון קימל‬
‫שמואל כ"ץ‬
‫גרשון אלבר‬
‫יוסי גיל‬
‫חיים גוטסמן‬
‫מיכאל קמינסקי‬
‫רן אל‪-‬יניב‬
‫ראובן בר‪-‬יהודה‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫בוגומיאקוב אלכסנדר‬
‫ספטמבר ‪2001‬‬
‫בוכבינדר ניב‬
‫בורטניקוב ויטה‬
‫בלטקסה מיכאל‬
‫בלטר דורית‬
‫נובמבר ‪2003‬‬
‫ינואר ‪2001‬‬
‫פברואר ‪2014‬‬
‫נובמבר ‪2003‬‬
‫בליאק לאוניד‬
‫פברואר ‪2003‬‬
‫בן‪-‬אבי גלעד‬
‫בן‪-‬אלעזר שי‬
‫מרס ‪2002‬‬
‫פברואר ‪2013‬‬
‫בן‪-‬דוד דוד‬
‫יולי ‪2012‬‬
‫התאוששות מחריגות במערכות שטפי מידע מבוזרות‬
‫בן‪-‬חן מירלה‬
‫אוגוסט ‪2003‬‬
‫בן‪-‬ישראל שיר‬
‫מרס ‪2010‬‬
‫בן משה שגיא‬
‫ספטמבר ‪2010‬‬
‫בנדל קרן‬
‫בנדרסקי אנה‬
‫בנט רותם‬
‫בקרמן אנה‬
‫יוני ‪2002‬‬
‫מאי ‪2011‬‬
‫יולי ‪2005‬‬
‫נובמבר ‪2004‬‬
‫על האופטימליות של דחיסה ספקטרלית של רשתות‬
‫שבירת סימטריה יכולה לקצר באופן משמעותי את אורך‬
‫ההוכחה‬
‫שימוש בבדיקת תכונות לזיהוי יעיל של רלציות אשר קרובות‬
‫להיות ממוינות‬
‫יישומים של טכניקת היחס המקומי‪ :‬סקירה‬
‫המגבלות של דחיסה חלקית‬
‫למידה משופרת עם אורקל מושחת‬
‫פתרון התנגשויות ועדיפות אופרטורים ב‪ BNF-‬המורחב‬
‫בקרמן רון‬
‫אפריל ‪2003‬‬
‫חלוקה התפלגותית לצברי מילים ושימושיה לסיווג טקטסטים‬
‫בר‪-‬אביב עזר‬
‫מרס ‪2009‬‬
‫בר‪-‬אור אמיר‬
‫ספטמבר ‪2004‬‬
‫בר‪-‬חיים רועי‬
‫ינואר ‪2005‬‬
‫בר‪-‬לב עדי‬
‫אוגוסט ‪2008‬‬
‫ברבש קטרינה‬
‫ברג מירית‬
‫ברום יעקב‬
‫מרס ‪2011‬‬
‫פברואר ‪2003‬‬
‫אוקטובר ‪2003‬‬
‫סיווג עצמים פונקציונאלי מבוסס סימולציה על‪-‬ידי סוכן‬
‫למידת עצי החלטה ברשתות מבוזרות עבור מסדי נתונים רב‬
‫ממדיים‬
‫תיוג חלקי דיבר בעברית ובשפות שמיות אחרות‬
‫מריונטות וירטואליות‪ :‬מערכת ממוחשבת לאנימציית זמן‪-‬אמת‬
‫בתלת‪-‬ממד‬
‫מיקבול איסוף זיכרון אוטומטי למספר רב של מעבדים‬
‫המרות של תכונות בשביל תרגומים‬
‫סיווג ואישכול בייסיאניים בעזרת הירארכיית גוף חסר מעגלים‬
‫ברונשטיין דניאל‬
‫אוגוסט ‪2003‬‬
‫הנפשת מצלמה לסריקת מצולע מישורי‬
‫ברונשטיין מיכאל‬
‫בריוזקין גנאדי‬
‫פברואר ‪2005‬‬
‫אפריל ‪2005‬‬
‫זיהוי פנים תלת‪-‬ממדי‬
‫בריסקין גיל‬
‫ינואר ‪2015‬‬
‫שערוך מיקום ותנועה בעזרת אלגוריתם לשערוך תנועה עם‬
‫אילוצים על מפת גבהים‬
‫בריקנר ארז‬
‫מאי ‪2005‬‬
‫בעיית האיכלוס מחקר בננו‪-‬רובוטיקה רב‪-‬סוכנית‬
‫בריקנר בועז‬
‫אוקטובר ‪2011‬‬
‫ברמנו עמית‬
‫ברסקי רומן‬
‫מאי ‪2011‬‬
‫ינואר ‪2005‬‬
‫מנחה‬
‫נושא העבודה‬
‫מעבר אופטימלי על פוליגונים של רשתות פוליגונליות‬
‫פרגרסיביות תוך שימוש במטמון של קודקודים‬
‫חסמים תחתונים ועליונים על סיבוכיות מבני נתונים חסרי זיכרון‬
‫אלגוריתמים אדפטיביים למניעה הדדית‬
‫סגמנטציה בעזרת הערכה סטטיסטית של שינוי מקומי‬
‫בעיית חשאיות ברשימות רפואיות‬
‫פתרון נומרי של משוואות דיפרנציאליות לינאריות עם מקדמים‬
‫לא קבועים בעזרת גלונים‬
‫תכונות מונוטוניות של כמתים בצורת ריבוי בשפה טבעית‬
‫שיטות חישוביות לניתוח ביטוי גנים באורגניזמי מודל‬
‫סמנטיקת ריבוי למשפטי בקרה בממשק ‪L..F.G.‬‬
‫ברקול עומר‬
‫אפריל ‪2000‬‬
‫בשת לורנס‬
‫גבינסקי דמיטרי‬
‫גביש יעל‬
‫גביש מורן‬
‫מאי ‪2007‬‬
‫אוגוסט ‪2002‬‬
‫ספטמבר ‪2003‬‬
‫יוני ‪2004‬‬
‫שיטות לזיהוי בעזרת סגנון גרפי וסינתוז סגנון תוך שימוש‬
‫בניתוח מקומי‬
‫שחזור מקוון של עצמים תלת‪-‬ממדיים מחתכים שרירותיים‬
‫הערכת תפוקה פרמטרית תלוית‪-‬אלקטרומיגרציה‬
‫חסמים תחתונים הדוקים יותר לבעיות השכן הקרוב ולבעיות‬
‫קשורות במודל שליפה מתאים‬
‫על למידה אופטימאלית של אוטומט ריבוי‬
‫בוסטינג עם התפלגויות חסומות פולינומיאלית‬
‫ניהול זיכרון עם התנהגות מטמון טובה עבור שרתים‬
‫אלגוריתם סדרתי לזיהוי פנים‬
‫גבל משה‬
‫ספטמבר ‪2013‬‬
‫זיהוי אנומליות ללא פיקוח במרכזי מידע גדולים‬
‫גבע אמיר‬
‫ספטמבר ‪2013‬‬
‫גדרון אלעד‬
‫אוקטובר ‪2012‬‬
‫גודלין בנימין‬
‫אפריל ‪2008‬‬
‫סיווג מטרות רחוקות בסרטי אבטחה‬
‫ניצול לוקליות ומערכות עם גישה לא אחידה לזכרון בספריות‬
‫סקלביליות מקביליות‬
‫אימות נסיגתי‪:‬היבטים תיאורטיים ויישומיים‬
‫‪27‬‬
‫חיים גוטסמן‬
‫ארז פטרנק‬
‫חגית עטיה‬
‫מיכאל לינדנבאום‬
‫שלמה מורן‬
‫משה ישראלי‬
‫יועד וינטר‬
‫זהר יכיני‬
‫אסף שוסטר‪,‬‬
‫דני קרן‬
‫חיים גוטסמן‬
‫אלי בן‪-‬ששון‬
‫אלדר פישר‬
‫ראובן בר‪-‬יהודה‬
‫ארז פטרנק‬
‫נאדר בשותי‬
‫יוסי גיל‬
‫יועד וינטר‪,‬‬
‫רן אל‪-‬יניב‬
‫אהוד ריבלין‬
‫אסף שוסטר‬
‫יועד וינטר‬
‫גרשון אלבר‪,‬‬
‫אלפרד ברוקשטיין‬
‫ארז פטרנק‬
‫שמואל כ"ץ‬
‫דן גייגר‬
‫גיל ברקת‪,‬‬
‫חיים גוטסמן‬
‫רון קימל‬
‫נסים פרנסיז‬
‫אהוד ריבלין‪,‬‬
‫הקטור רוטשטיין‬
‫אלפרד ברוקשטיין‪,‬‬
‫ישראל וגנר‬
‫אסף שוסטר‪,‬‬
‫דני קרן‬
‫חיים גוטסמן‬
‫ישראל וגנר‬
‫יובל רבני‬
‫נאדר בשותי‬
‫נאדר בשותי‬
‫ארז פטרנק‬
‫מיכאל לינדנבאום‬
‫אסף שוטר‪,‬‬
‫גלעד‪-‬בכרך רן‬
‫מיכאל היימן‬
‫עידית קידר‬
‫עפר שטרייכמן‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫גוטסמן רנית‬
‫גוטר ישראל‬
‫מרס ‪2013‬‬
‫יולי ‪2003‬‬
‫יצירת מסלולים מבוססי‪-‬מפה מרצפי ‪ gps‬וייצוגם הקומפקטי‬
‫ניתוח משפט בעברית באמצעות תכונות סמנטיות‬
‫ירון קנזה‬
‫עוזי אורנן‬
‫גוטרמן צבי‬
‫מרץ ‪2004‬‬
‫חישוב סימבולי מקדמי לאפליקציות נומריות‬
‫גולבנדי נדב‬
‫אפריל ‪2003‬‬
‫גולדין אלכסנדר‬
‫אוגוסט ‪2003‬‬
‫גולדמן יהונתן‬
‫דצמבר ‪2014‬‬
‫גולדמן מקס‬
‫גולובצ'יק רומן‬
‫גולדין ישי‬
‫אוגוסט ‪2006‬‬
‫מרס ‪2006‬‬
‫דצמבר ‪2008‬‬
‫גולן שמעון‬
‫נובמבר ‪2005‬‬
‫גורביץ' נלה‬
‫מאי ‪2006‬‬
‫גורדון איל‬
‫יולי ‪2005‬‬
‫גורובוי אלכסנדר‬
‫גוריאצ'ב אלכסנדר‬
‫גורביץ' פבל‬
‫ינואר ‪2001‬‬
‫נובמבר ‪2006‬‬
‫נובמבר ‪2012‬‬
‫גורן ירון‬
‫אוגוסט ‪2006‬‬
‫גז דן‬
‫דצמבר ‪2004‬‬
‫גטניו גיל‬
‫יולי ‪2008‬‬
‫גיא עדו‬
‫מרס ‪2007‬‬
‫איפיון וסיווג רשתות דמויות פרפר‬
‫פרוטוקולים גיאומטריים לסינון הודעות עבור מערכות מבוזרות‬
‫מרובות סוכנים‬
‫שערוך חסון של גיאומטריה אפיפולרית באמצעות שימוש במידע‬
‫מוקדם אך רועש על מיקום המצלמות‬
‫אימות מודולרי של אספקטים‬
‫שיפור אלגוריתם ההתבלטות על‪-‬ידי אופטימיזצית סימני הקבצה‬
‫על אמבות ווסיקולות‪ :‬שינויי צורה תחת אילוצים גלובאליים‬
‫אלגוריתמים יעילים לחישוב מידע לגבי זמינות משאבים ביישומי‬
‫תקשורת מרחבית‬
‫יצור אוטומטי של דוגמאות המהוות החטאה קרובה ללמידה‬
‫אקטיבית של מושגים חזותיים‬
‫ניתוח תפוקה תחרותי של פרוטוקולים חמדניים ברשתות‬
‫מכוונות חסרות מעגלים‬
‫שימושים באלגוריתמי דחיסה נתונים להנדסת תוכנה‬
‫בעיות מיקום של טבעת היסט פוליגונלית‬
‫ניהול משאבים בסביבת סריג חישובי‬
‫בניית קריפטוגרפיה של מפתח פומבי על סמך פונקציות חד‪-‬‬
‫כיווניות‬
‫תזמון תקשורת עם אילוצי זמן במתגים מבוססי תורי קלט‬
‫זיהוי עצמים בעזרת הרחבות לאלגוריתם העירבול הגיאומטרי‬
‫גיאומטרית‬
‫דירוג אשכולות ויישומו בכריית רשתות דואר אלקטרוני‬
‫ג'יריס רג'א‬
‫דצמבר ‪2009‬‬
‫כיוונון פרמטרים אוטומאטי לבעיות היפוך‬
‫גייסינסקי אלכסנדר‬
‫ינואר ‪2001‬‬
‫גילברוד ברוך‬
‫ספטמבר ‪2005‬‬
‫גינזבורג מרק‬
‫יולי ‪2008‬‬
‫גלייזר ודים‬
‫אוגוסט ‪2002‬‬
‫גליקסון אלכסנדר‬
‫ינואר ‪2004‬‬
‫גלס רן‬
‫מרס ‪2009‬‬
‫גלפרין ודים‬
‫ינואר ‪2005‬‬
‫גנאים עלא‬
‫גנקין דניאל‬
‫אוגוסט ‪2014‬‬
‫ינואר ‪2011‬‬
‫גצלביץ' ולדימיר‬
‫דצמבר ‪2003‬‬
‫שילוב החלפה עם הבאה מצונרת בניהול זיכרון מטמון‬
‫מודל אבטחה ואלגוריתמים שומרי פרטיות לכריית נתונים‬
‫בסביבות מבוזרות ממימד גדול‬
‫הטמעת "סימני מים" הולוגרפיים במרחב ‪ DFT-d3‬של סצנות‬
‫וידאו‬
‫אופטימיזצית תבניות משותפות ומקומיות באמצעות הגירת‬
‫חוטים‬
‫אימות של תכונות גרפים קשות בגרפים הנוצרים על ידי דקדוקי‬
‫גרפים‬
‫בטיחות פרוטוקולי הפצת מפתחות קוואנטים תיאורטיים‬
‫ומעשיים‬
‫רגרסיה מקוונת באמצעות וקטורי תמיכה עם שימוש בחיזוי‬
‫תנועות ראש מתוך אותות ‪EMG‬‬
‫אלגוריתם הפניה נשנית לניתוח נתוני ריצוף גנטי‬
‫לקסיקליזציה רדיקלית של שפות עדינות הקשר‬
‫יצירת שירותים יעילים לאורך המסלול המהיר של חבילות‬
‫ברשתות אקטיביות‬
‫ג'קובס קיילה‬
‫דצמבר ‪2014‬‬
‫ראשי תיבות בעברית‪ :‬זיהוי‪ ,‬פיענוח והתרת רב משמעות‬
‫גרבר דן‬
‫אוגוסט ‪2012‬‬
‫גרוס רון‬
‫ספטמבר ‪2008‬‬
‫גרימברג בנימין‬
‫מאי ‪2007‬‬
‫גרינברג מאור‬
‫גרץ אבישי‬
‫יוני ‪2014‬‬
‫יולי ‪2013‬‬
‫קירוב תוכניות מוגדרות אי‪-‬שלילית בזמן תת לינארי‬
‫תכונות משומרות תחת חזרות בלוגיקה טמפורלית של זמן‬
‫מתפצל‬
‫סמנטיקה של מודלים מינימאליים עבור לוגיקה מודלית לא‪-‬‬
‫מונוטונית מקובעת מסדר‪-‬ראשון‬
‫ממשק משתמש תלת מימדי למערכות תיב"ם‬
‫ניתוח תחבירי של קורפוס ‪ childes‬בעברית‬
‫‪28‬‬
‫עירד יבנה‪,‬‬
‫יוסי גיל‬
‫עמי ליטמן‬
‫חיים גוטסמן‬
‫אהוד ריבלין‪,‬‬
‫אילן שמשוני‬
‫שמואל כ"ץ‬
‫מיכאל לינדנבאום‬
‫אלפרד ברוקשטיין‬
‫אביגדור גל‪,‬‬
‫רון פינטר‬
‫שאול מרקוביץ'‪,‬‬
‫אהוד ריבלין‬
‫עדי רוזן‬
‫אלון איתי‪ ,‬יוסי גיל‬
‫גיל ברקת‬
‫אסף שוטסר‬
‫יובל ישי‬
‫עדי רוזן‬
‫אילן שמשוני‪,‬‬
‫מיכאל לינדנבאום‬
‫זיו בר‪-‬יוסף‬
‫מיכאל אלעד‪,‬‬
‫יונינה אלדר‬
‫הדס שכנאי‬
‫אסף שוסטר‬
‫אלפרד ברוקשטיין‬
‫אסף שוסטר‬
‫יוהן מקובסקי‬
‫טל מור‬
‫יורם ברעם‬
‫דן גייגר‬
‫מיכאל קמינסקי‬
‫דני רז‬
‫איתי אלון‪,‬‬
‫שלום וינטנר‬
‫אלעד חזן‬
‫מיכאל קמינסקי‬
‫מיכאל קמינסקי‬
‫גרשון אלבר‬
‫אלון איתי‪,‬‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫גרשמן רומן‬
‫גרושקו כרמי‬
‫יוני ‪2007‬‬
‫דצמבר ‪2012‬‬
‫שיפורים לשיטות פתירה של בעיות ‪SAT‬‬
‫שלום וינטנר‬
‫עפר שטרייכמן‬
‫רון קימל‬
‫דבורקין אלכסנדר‬
‫ספטמבר ‪2004‬‬
‫דביר צבי‬
‫אפריל ‪2008‬‬
‫דביר יוחאי‬
‫יולי ‪2009‬‬
‫דובוב יוליה‬
‫מרס ‪2008‬‬
‫דוברוב בלה‬
‫פברואר ‪2006‬‬
‫דוזורץ איגור‬
‫אוקטובר ‪2000‬‬
‫מודל ממוחשב לזיהוי דובר על‪-‬ידי מאזין אנושי‬
‫דוידוב דמיטרי‬
‫מאי ‪2003‬‬
‫דותן דולב‬
‫דצמבר ‪2005‬‬
‫דצנקו דמיטרי‬
‫דקל אורי‬
‫דצמבר ‪2006‬‬
‫אפריל ‪2003‬‬
‫דרבקו פיליפ‬
‫אפריל ‪2004‬‬
‫דרוק ארז‬
‫דרדיק גריגורי‬
‫אוקטובר ‪2013‬‬
‫מאי ‪2005‬‬
‫האוזר ניר‬
‫יוני ‪2014‬‬
‫הורוביץ דניאל‬
‫אוקטובר ‪2012‬‬
‫אלגוריתמי חיפוש יוריסטיים רבי מטרות‬
‫‪ :Hyperflow‬שפה ויזואלית מבוססת אונטולוגיה המשלבת‬
‫שאילתות וזרימת‪-‬נתונים לצורך עיבוד מידע על‪-‬ידי משתמש‬
‫קצה‬
‫רגולריזציה מבוססת דוגמאות בבעיות היפוך‬
‫חשיפת מבנה מחלקות ג'אווה בעזרת סריגי מושגים‬
‫עקומי למידה מפורשים עבור למידה טרנסדוקטיבית ושימושים‬
‫ללמידה עם דחיסה ואלגוריתמי מצבור‬
‫קודים בעלי זמן קידוד לינארי וקריפטוגרפיה‬
‫שיטות רב‪-‬שרגי אי‪-‬לינאריות אמינות‬
‫העברת קוד בזמן ריצה תוך שימוש בג'אווה‪ ,‬אנדרואיד‬
‫ואספקטים‬
‫פירוק הרכיבים המורפולוגיים והלקסיקליים כבסיס לזיהוי ביטויים‬
‫הימן אמנון‬
‫ספטמבר ‪2003‬‬
‫זיהוי חלבונים באמצעות ספקטרומטריית מסות‬
‫הלוי שירלי‬
‫אוגוסט ‪2001‬‬
‫המאירי איל‬
‫אפריל ‪2002‬‬
‫הניג אסף‬
‫ינואר ‪2006‬‬
‫הס גרין רזיאל דוד‬
‫ינואר ‪2015‬‬
‫הראל אסף‬
‫פברואר ‪2005‬‬
‫הרטשטיין איתמר‬
‫יולי ‪2012‬‬
‫השביט ענת‬
‫נובמבר ‪2011‬‬
‫וולושין אריאלה‬
‫מרס ‪2000‬‬
‫וולק בן לי‬
‫יוני ‪2014‬‬
‫וורנוביצקי קולמן‬
‫פברואר ‪2012‬‬
‫וותד איהאב‬
‫יוני ‪2006‬‬
‫צפינה דו‪-‬ממדית לערוצי הקלטה‬
‫שיערוך עקמומיות ראשיות וכיוונים ראשיים מתוך תמונות טווח‬
‫אמיתיות ויישומו בשחזור גופים גיאומטריים פרימיטיביים‬
‫בעיית מיקום ממירי התצורה ברשתות מרובות משתמשים‬
‫כשהנתב מספר סיפורים שונים לשכנים שונים‪ :‬התקפה חדשה‬
‫על פרוטוקלי‪state-link‬‬
‫הערכת כמות השגיאות שנותרו בתוכנה לאחר סריקה בשיטת‬
‫‪Review Code Iterative‬‬
‫סיבוכיות של בעיית מיקום רגנרטורים ברשתות אופטיות ‪ -‬רוחב‬
‫עץ ופרמטרים נוספים‬
‫פרוצדורה לביצוע החלטות רציונלית ובלתי מוטות בסביבה‬
‫מרובת יריבים‬
‫גישה אחידה לחישוב קבוצות שולטות וקבוצות בלתי תלויות‬
‫עבור אינטרוולים על ישר‬
‫המבנה של פונקציות בוליאניות עם נורמה ספקטרלית קטנה‬
‫שיטות הפשטה ליצירת בקרים קומפקטיים לתהליכי החלטה‬
‫מרקוביים‬
‫על למידת חצאי מרחב באמצעות אורקל המחזיר היפותזה‬
‫קונסיסטנטית רנדומלית‬
‫וייץ דוד‬
‫יוני ‪2014‬‬
‫פרמטריזציה של בעיות פולינמיות‪ :‬קירבה לתתי בעיות קלות‬
‫וייצל בוריס‬
‫אפריל ‪2003‬‬
‫יצירה מונחית מודל של מערכות עזרה‬
‫ויטקין אדוארד‬
‫אוקטובר ‪2011‬‬
‫ויסברוד עומר‬
‫וקסלר טטיאנה‬
‫נובמבר ‪2011‬‬
‫נובמבר ‪2003‬‬
‫סימטריות רציפות בגופים לא קשיחים‬
‫תרגום דרישות קצה למדיניות תורים מקומית במודל‬
‫ה‪Diffserve-‬‬
‫דגימה מוכללת עיוורת של תמונות‬
‫רגולריזציה עצמותית של בעיות היפוך הכוללות גופים לא‬
‫קשיחים‬
‫אוטומטי מחסנית מעל אלפבתים אינסופיים‪ :‬גישות שונות‬
‫והשוואת תוצאותיהן‬
‫על סיבוכיות האקראיות של דגימה יעילה‬
‫שיטה לבניה של רשתות מטבוליות גדולות המבוססת על מידע‬
‫פונקציונאלי וגנומי‬
‫אנליזת תאחיזה גנטית בנוכחות פסיפס בתאי נבט ראשוניים‬
‫אוטומטים ודקדוקי קטגוריה‬
‫‪29‬‬
‫דני רז‬
‫מיכאל לינדנבאום‬
‫יובל רבני‬
‫מיכאל קמינסקי‬
‫יובל ישי‬
‫יצחק גת‪,‬‬
‫הדס שכנאי‬
‫שאול מרקוביץ'‬
‫רון פינטר‬
‫מיכאל אלעד‬
‫יוסי גיל‬
‫רן אל‪-‬יניב‬
‫יובל ישי‬
‫עירד יבנה‬
‫רועי פרידמן‬
‫אלון איתי‬
‫דן גייגר‪,‬‬
‫אריה אדמון‬
‫רוני רוט‬
‫אילן שמשוני‪,‬‬
‫מיכאל לינדנבאום‬
‫דני רז‬
‫ראובן כהן‬
‫אליעזר קנטרוביץ'‬
‫שמואל זקס‪,‬‬
‫מרדכי שלום‬
‫שאול מרקוביץ'‬
‫מיכאל קמינסקי‬
‫אמיר שפילקה‬
‫כרמל דומשלק‬
‫נאדר בשותי‬
‫ניר אילון‪,‬‬
‫ספי נאור‪,‬‬
‫הדס שכנאי‬
‫אליעזר קנטרוביץ'‪,‬‬
‫רועי פרידמן‬
‫תומר שלומי‬
‫דן גייגר‬
‫נסים פרנסיז‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫וקסלר עדו‬
‫וקסמן אמיר‬
‫ורדי גל‬
‫ספטמבר ‪2003‬‬
‫דצמבר ‪2006‬‬
‫ינואר ‪2000‬‬
‫זאב בן‪-‬מרדכי אורן‬
‫אוגוסט ‪2001‬‬
‫זבר יעל‬
‫זיגלמן גיל‬
‫זיידה רומן‬
‫זיננקו דמיטרי‬
‫זך עידן‬
‫זלוטניק אלכסנדר‬
‫אוגוסט ‪2000‬‬
‫נובמבר ‪2000‬‬
‫יוני ‪2013‬‬
‫יולי ‪2011‬‬
‫נובמבר ‪2004‬‬
‫מאי ‪2014‬‬
‫מציאת חזרות עוקבות מקורבות ברצפים גנומיים‬
‫אינטרפולציה לא ליניארית בין חתכים‬
‫ניתוח ויצירה של שמות עבריים על‪-‬ידי צורני גזירה‬
‫בדיקה יעילה של תנאי תחרות בזיכרון משותף מבוזר‬
‫וברב‪-‬מעבד סימטרי‬
‫תורות מחדל פתוחות‬
‫מיפוי מרקם על‪-‬ידי שיטוח בעזרת סילום רב ממדי‬
‫אלקטרוקינטיקה חישובית‬
‫ייצוב עצמי עם תקשורת יעילה‬
‫אלגוריתמים אדפטיביים לחלוטין במודל של זיכרון משותף‬
‫שימוש יעיל במשאבי ענן מרוחקים גאוגרפית‬
‫דן גייגר‬
‫גיל ברקת‬
‫עוזי אורנן‬
‫זמיר טל‬
‫ספטמבר ‪2008‬‬
‫נעילה ספקולטיבית עבור מערכות מבוזרות עמידות בפני נפילות‬
‫זמנסקי אלכס‬
‫זמנסקי אנה‬
‫חורי לורנס‬
‫יוני ‪2007‬‬
‫ינואר ‪2004‬‬
‫מאי ‪2005‬‬
‫מסגרת לשחזור משטח של אובייקטים דגומים בדלילות‬
‫חיימוביץ יואב‬
‫פברואר ‪2013‬‬
‫חמו יניב‬
‫חרמש ברק‬
‫טולידנו חגי‬
‫טולצ'ינסקי ילנה‬
‫טל אבישי‬
‫טל אסנת‬
‫ינואר ‪2002‬‬
‫ספטמבר ‪2001‬‬
‫מרס ‪2013‬‬
‫יוני ‪2002‬‬
‫פברואר ‪2012‬‬
‫מאי ‪2009‬‬
‫טל דינה‬
‫יוני ‪2001‬‬
‫טל עדו‬
‫אוגוסט ‪2003‬‬
‫טלמור יורם‬
‫מאי ‪2004‬‬
‫יגר אפרת‬
‫פברואר ‪2003‬‬
‫תנאים לקיום אלגוריתם לניתוח תחבירי לדקדוקי יוניפיקציה‬
‫ידגר אברהם‬
‫מרץ ‪2004‬‬
‫פתרון מקבילים של בעיית ‪ SAT-ALL‬עבור בדיקת מודל‬
‫ידידיה חגי‬
‫אוגוסט ‪2005‬‬
‫מערכת היסקים של 'לוגיקה טבעית' המבוססת על תחשיב לאמבק‬
‫לימוד עם טעויות בשאילתות השייכות‬
‫ניתוח הלך רוח בקנה מידה גדול באמצעות למידה עצמאית‪-‬‬
‫למחצה‬
‫זריקת חבילות מאוזנת לשיפור ביצוע ‪ TCP‬ברשתות ‪ATM‬‬
‫סימנים לשיערוך מיקום בדיוק גבוה‬
‫זיקוק מונחה‪-‬כיסוי של ייצוגים מושגיים‬
‫סמנטיקה חיובית של היטלים בדיאגרמות ון‪-‬אוילר‬
‫על מעלת פורייר המינימלית של פונקציות בוליאניות סימטריות‬
‫אלגוריתמים לבעית המשולש של היילברון‬
‫ניתוח ושימוש בדרישות השלמה של פעלים לבדיקת תקינות‬
‫משפטים בשפה העברית‬
‫פענוח‪-‬רשימה עבור קודי מטריקת ‪Lee‬‬
‫שיפור ביצועי מערכת זיכרון שיתופי ומבוזר על‪-‬ידי מיקסום‬
‫ניצולת הרשת‬
‫יוגב סיון‬
‫ינואר ‪2006‬‬
‫יוסביץ' ודים‬
‫נובמבר ‪2003‬‬
‫הערכת ביצועים למבנים של מטמון הנתונים בעבור מעבדים‬
‫מסוג ‪SMT‬‬
‫הערכת פונקציות ציון עבור התאמה מרובה של רצפי חלבונים‬
‫באמצעות התאמות מבניות‬
‫בחירת מודל התנהגות לזיכרון מבוזר משותף‬
‫יושפה בנימין‬
‫ספטמבר ‪2008‬‬
‫היבטים כלכליים באיכות השרות בשריג חישובי‬
‫יזמרלי אולג‬
‫יחזקאלי עומר‬
‫ינאי דוד‬
‫ינובסקי ולדימיר‬
‫יולי ‪2004‬‬
‫פברואר ‪2007‬‬
‫נובמבר ‪2011‬‬
‫אפריל ‪2001‬‬
‫יניב יונתן‬
‫אוקטובר ‪2011‬‬
‫יעקובי איתן‬
‫ינואר ‪2008‬‬
‫יעקרסברג יבגני‬
‫מאי ‪2004‬‬
‫ירושינסקי רן‬
‫ישראל אסף‬
‫כהן אוריאל‬
‫כהן אמיל‬
‫ינואר ‪2002‬‬
‫אוקטובר ‪2013‬‬
‫אפריל ‪2003‬‬
‫אוגוסט ‪2002‬‬
‫כהן טל‬
‫ינואר ‪2002‬‬
‫כהן צפריר‬
‫מרץ ‪2003‬‬
‫קריפטולוגיה מודרנית בעולם קוונטי‬
‫סכימות קירוב לבעיות אריזה עם פיצולים‬
‫למידה מדוגמאות של קרבה סמנטית‬
‫סוכנים פשוטים בשביל מטלות מורכבות‬
‫מנגנונים מתואמי‪-‬תמריצים לתזמון מבוסס ערך של משימות‬
‫במחשוב ענן‬
‫צפנים לתיקון שגיאות דו‪-‬ממדיות‬
‫‪ Morphing‬בין צורות גיאומטריות על‪-‬ידי אינטרפולציה מבוססת‬
‫שלד ליניארי‬
‫למידה מקוונת חלקה של עצות מומחים‬
‫התאוששות מיודעת מחיר בענן‬
‫יחסי אובייקטים ומכניזמים תחביריים בתבניות תיכון‬
‫מערכת ‪ DSM‬שקופה‬
‫כיול‪-‬עצמי של מדידות של שיטות ב‪ :JAVA-‬לקראת גילויו של‬
‫אופן תכנות מקובל‬
‫סיבוכיות זמן סיבובים ואפס מידע אסינכרוני‬
‫‪30‬‬
‫אסף שוסטר‬
‫מיכאל קמינסקי‬
‫רון קימל‬
‫עירד יבנה‬
‫שי קוטין‬
‫חגית עטיה‬
‫דני רז‬
‫אסף שוסטר‪,‬‬
‫מיכאל פקטור‬
‫גיל ברקת‬
‫נסים פרנסיז‬
‫נאדר בשותי‬
‫יעקב קרמר‪,‬‬
‫שי מנור‬
‫ראובן כהן‬
‫אלפרד ברוקשטיין‬
‫שאול מרקוביץ‬
‫יוסי גיל‬
‫אמיר שפילקה‬
‫גיל ברקת‬
‫עוזי אורנן‬
‫רוני רוט‬
‫אסף שוסטר‬
‫נסים פרנסיז‪,‬‬
‫שלום וינטנר‬
‫אורנה גרימברג‪,‬‬
‫אסף שוסטר‬
‫רון פינטר‬
‫שלמה מורן‬
‫אסף שוסטר‬
‫אריאל אורדע‪ ,‬אסף‬
‫שוסטר‬
‫טל מור‬
‫הדס שכנאי‬
‫רן אל‪-‬יניב‬
‫אלפרד ברוקשטיין‬
‫ספי נאור‬
‫טובי עציון‬
‫גיל ברקת‬
‫רן אל‪-‬יניב‬
‫דני רז‬
‫יוסי גיל‬
‫אסף שוסטר‬
‫יוסי גיל‬
‫ארז פטרנק‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫כהן רמי‬
‫כץ אמיליה‬
‫כץ יואב‬
‫כץ שגיא‬
‫פברואר ‪2004‬‬
‫מרס ‪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‬‬
‫אהוד ריבלין‬
‫אלפרד ברוקשטיין‬
‫עודד שמואלי‬
‫זהר יכיני‪,‬‬
‫אורי סיון‬
‫אהוד ריבלין‬
‫ספי נאור‬
‫משה גור‪,‬‬
‫אהוד ריבלין‬
‫אהוד ריבלין‬
‫יעקב קרמר‬
‫עפר שטרייכמן‬
‫רועי פרידמן‬
‫יוהן מקובסקי‬
‫יועד וינטר‬
‫משה ישראלי‪,‬‬
‫אלה שפר‬
‫מיכאל קמינסקי‬
‫גיל ברקת‬
‫עמי ליטמן‬
‫נאדר בשותי‬
‫אורנה גרימברג‬
‫יוסי גיל‪,‬‬
‫לקראת נכונות במערכות לעיבוד מאורעות‬
‫עופר עציון‬
‫הפצת תכנים מבוססי זרימה לאובייקטים ניידים‪ :‬הפצה גלובלית דני רז‪,‬‬
‫ראובן כהן‬
‫לעומת הפצה מקומית‬
‫דן גייגר‬
‫שיפור עקיבת קבוצות על‪-‬ידי הסתכלות גלובלית לאורך זמן‬
‫מיכאל לינדנבאום‬
‫שימוש בשיטת ‪ contrario a‬לזיהוי עצמים‬
‫‪31‬‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫מנו עדי‬
‫מנור שירי‬
‫ספטמבר ‪2008‬‬
‫ינואר ‪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‬‬
‫עבאסי חסן‬
‫פברואר ‪2014‬‬
‫עבוד אמג'ד‬
‫יולי ‪2008‬‬
‫עדי ליאב‬
‫מרס ‪2002‬‬
‫קירוב דו‪-‬קריטריוני לבעיית תקציב בגרף ממושקל‪-‬צמתים‬
‫הערכת ביצועים ומידול של פרוטוקול ‪ tcp‬מעל ערוצי תקשורת‬
‫סלולריים‬
‫על מסלולים כמעט פשוטים בגרף‬
‫בעיית סיווג בגרפים עם משקולות ובעיית שינוי סידור בעזרת‬
‫חוצץ‬
‫יישומים גרפיים המבוססים על חישוב מהיר של מרחקים‬
‫גיאודנטים‬
‫עדן )כהן( אורית‬
‫ינואר ‪2005‬‬
‫סימולציה וויזואליזציה של זרמי כובד‪/‬צפיפות‬
‫עטיה יוסי‬
‫עמית אסף‬
‫נובמבר ‪2013‬‬
‫נובמבר ‪2004‬‬
‫עצמון הילה‬
‫אפריל ‪2002‬‬
‫קירור אלגוריתמי של ספינים על ידי בקרה מיטבית‬
‫לימוד שיתוף פעולה ויישום להכרזות בברידג'‬
‫מדיניות החלפה עבור מטמון של אובייקטים מבוזרים ברחבי‬
‫האינטרנט‬
‫‪32‬‬
‫זיו בר‪-‬יוסף‬
‫ערן יהב‬
‫גיל ברקת‬
‫רן אל‪-‬יניב‬
‫ראובן כהן‬
‫אסף שוסטר‬
‫רן אל‪-‬יניב‬
‫גרשון אלבר‬
‫גיל ברקת‬
‫עירד יבנה‪,‬‬
‫אלה שפר‪,‬‬
‫חיים גוסטמן‬
‫יועד וינטר‬
‫אלון איתי‬
‫גרשון אלבר‬
‫רן אל‪-‬יניב‬
‫יוסי גיל‬
‫גיל ברקת‪,‬‬
‫חיים גוטסמן‬
‫אלון איתי‬
‫יורם ברעם‪,‬‬
‫אלפרד ברוקשטיין‬
‫גרשון אלבר‬
‫מיכאל לינדנבאום‬
‫חיים גוטסמן‪,‬‬
‫עוזי וישקין‬
‫אלה שפר‪,‬‬
‫חיים גוטסמן‬
‫נסים פרנסיז‬
‫רון פינטר‪,‬‬
‫אריאל מילר‬
‫יובל רבני‬
‫דני רז‬
‫נאדר בשותי‬
‫יובל רבני‬
‫רון קימל‬
‫מריוס אונגריש‪,‬‬
‫גרשון אלבר‬
‫טל מור‬
‫שאול מרקוביץ'‬
‫רועי פרידמן‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫ערן חגי‬
‫יולי ‪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‬‬
‫פרוימוביץ' גיא‬
‫אוגוסט ‪2000‬‬
‫פרנק ארי‬
‫אוגוסט ‪2002‬‬
‫פרנק רועי‬
‫אפריל ‪2005‬‬
‫צ'ארניי גלינה‬
‫צוגלין יורי‬
‫צ'וז'וי יוליה‬
‫נובמבר ‪2003‬‬
‫אפריל ‪2001‬‬
‫ינואר ‪2001‬‬
‫צורף רחל‬
‫יוני ‪2006‬‬
‫ציטרין יאן‬
‫צייטלין דניאל‬
‫מרס ‪2006‬‬
‫יוני ‪2006‬‬
‫ארז פטרנק‬
‫חקר מבני נתונים היוצרים ערימה עמוקה‬
‫אלון איתי‪,‬‬
‫זיהוי אוטומטי של מסגרות ההצרכה של הפועל בעברית‬
‫שלום וינטנר‬
‫יועד וינטר‬
‫מימוש והרחבה של לוגיקה טבעית‬
‫הוכחות אי‪-‬אפשרות מבוססות מניה למשימות החלטה מבוזרות חגית עטיה‬
‫אסף שוסטר‬
‫גילוי יעיל של מרוצי מידע בתוכניות ‪ c++‬מרובות חוטים‬
‫הקצאה דינמית של זכרון במחשבי ענן באמצעות מכרז מכיר שני אסף שוסטר‬
‫ראובן בר‪-‬יהודה‬
‫הקצאת רוחב‪-‬פס ברשתות סלולריות עם הפרעות מרובות‬
‫מה בתמונה? לקראת חישוב מבטים טובים לעצמים תלת‪-‬‬
‫חיים גוטסמן‬
‫ממדיים‬
‫חיזוי תנועות ראש לאפליקציות סביבה מדומה בעזרת קינמטיקה‬
‫יורם ברעם‬
‫ואנרגיית ‪EMG‬‬
‫משה טננהולץ‬
‫למידת חיזוקים בתהליכי החלטה נצפים חלקית‬
‫רועי פרידמן‬
‫טרסטפק )‪ :(trustpack‬מערכת מבוזרת לניהול אמון‬
‫אלי ביהם‬
‫קריפטאנליזה של כמה צפני בלוקים מודרניים‬
‫אליעזר קנטרוביץ‬
‫גישה סמנטית לעיצוב ממשקי משתמש‬
‫רן אל‪-‬יניב‬
‫חיזוי סלקטיבי באמצעות מודלים מרקובים סמויים‬
‫חיזוי אוטורגרסיבי קצר מועד של נקודות תפנית באמצעות‬
‫רן אל‪-‬יניב‬
‫מכונת ווקטורי התמיכה‬
‫ארז פטרנק‬
‫הסיבוכיות של יישור עבור מחשבים וקטוריים‬
‫דני רז‬
‫הוגנות בתקשורת ‪ TCP‬ברשתות מקומיות אלחוטיות‬
‫אהוד ריבלין‬
‫זיהוי עצמים מבוסס פונקציונאליות‬
‫הטמנה סלקטיבית למטרות האצה של תוצאות ביניים בתוכניות שמואל כ"ץ‪,‬‬
‫עודד שמואלי‬
‫מונחות עצמים‬
‫על שימוש בשאילתות סטטיסטיות מורחבות על מנת להימנע‬
‫נאדר בשותי‬
‫משאילתות שייכות‬
‫ספי נאור‬
‫בעיות מקסימיזציה עם פונקציית מטרה תת‪-‬מודולרית‬
‫אלגוריתם קרוב ‪ EPSILON+ 2‬עבור רה‪-‬צביעה קמורה‬
‫ראובן בר‪-‬יהודה‬
‫מינימלית של עצים‬
‫דב דורי‬
‫תכן מחסני נתונים במתודולוגיית עצמים‪-‬תהליכים‬
‫אורנה גרימברג‬
‫אוטומטי אומגה חלשים‬
‫אורנה גרימברג‬
‫בדיקת ריקנות בלוגיקה טמפורלית לינארית‬
‫ראובן בר‪-‬יהודה‬
‫אלגוריתמי קירוב לבעיות כיסוי חלקיות עם קיבולים‬
‫דני רז‬
‫אלגוריתם לאיסוף יעיל של מידע‬
‫בניית מודל ושחזור תנועה של גופים מבוססי שלד מוידאו‬
‫חיים גוטסמן‬
‫מצלמת עומק‬
‫פתרון הקונפליקט הדינמי בין ‪ N‬גופים נעים תוך שימוש ברשתות‬
‫יורם ברעם‬
‫עצביות‬
‫מיכאל אלעד‬
‫עיבוד רצפים של תמונות ללא שערוך תנועה‬
‫אהוד ריבלין‪,‬‬
‫קלסיפיקציה של עציים מתוך תמונות טווח‬
‫אילן שמשוני‬
‫דן גייגר‪ ,‬זהר יכיני‬
‫אלגוריתם "סעף וחסום" חדש לבחירת תכוניות‬
‫הקצאות ממקסמות הכנסה במכרזים מרובי‪-‬עצמים עם אילוצים‬
‫מיכל פן‬
‫ומכרזים קומבינטוריים‬
‫רועי פרידמן‬
‫תקשורת קבוצתית ברשתות אד הוק הניידות‬
‫יוסי גיל‬
‫‪ - JAMOOS‬שפת תכנות מונחית עצמים לדקדוקים‬
‫יובל רבני‬
‫קושי של קירוב ומחלקות קירוב חדשות‬
‫תהליך עידון אוטומטי ובדיקת ריקנות עבור בדיקת מודל‬
‫אורנה גרימברג‬
‫סימבולית מכוונת מסלול‬
‫עוזי אורנן‬
‫מודל תלויות אדון‪-‬עבד וישומו להבנת השפה העברית‬
‫מיכאל קמינסקי‬
‫אוטומטים סופיים מעל אלפבתים אינסופיים‬
‫מנחה‬
‫‪33‬‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫צירקין מיכאל‬
‫יוני ‪2004‬‬
‫צמח אנה‬
‫מרס ‪2009‬‬
‫צמח רן‬
‫צנזור קרן‬
‫דצמבר ‪2012‬‬
‫יוני ‪2006‬‬
‫זמני מסירה ברשתות ניתוב חבילות תחת עומס מלא‬
‫הכנת מידע על וריאנטים בנוקלאוטיד בודד לבדיקות תאחיזה‬
‫גנטית‬
‫פותר רב‪-‬שריג אלגברי מבוסס הגסה בשיטת הקולוקציה‬
‫צפנים עם אילוצים לערוצים דו ממדיים‬
‫עדי רוזן‬
‫צ'רבאצקי בוריס‬
‫יוני ‪2014‬‬
‫חישוב גיאומטריה אפיפולרית עבור רובוטים ניידים‬
‫צ'רנוי ויאצ'סלב‬
‫ינואר ‪2011‬‬
‫קאדרי ויסאם‬
‫פברואר ‪2004‬‬
‫על ביצועי האלגוריתם השלישי של דייקסטרה לייצוב עצמי עבור‬
‫מניעה הדדית ואלגוריתמים בנושא‬
‫סימולציה של מסלולים מטבוליים‬
‫קביאטקובסקי איגור‬
‫פברואר ‪2012‬‬
‫אינווריאנטים בצבע לזיהוי חוזר של אנשים‬
‫צירקין מיכאל‬
‫יוני ‪2004‬‬
‫צמח אנה‬
‫מרס ‪2009‬‬
‫צמח רן‬
‫צנזור קרן‬
‫דצמבר ‪2012‬‬
‫יוני ‪2006‬‬
‫זמני מסירה ברשתות ניתוב חבילות תחת עומס מלא‬
‫הכנת מידע על וריאנטים בנוקלאוטיד בודד לבדיקות תאחיזה‬
‫גנטית‬
‫פותר רב‪-‬שריג אלגברי מבוסס הגסה בשיטת הקולוקציה‬
‫צפנים עם אילוצים לערוצים דו ממדיים‬
‫צ'רבאצקי בוריס‬
‫יוני ‪2014‬‬
‫חישוב גיאומטריה אפיפולרית עבור רובוטים ניידים‬
‫צ'רנוי ויאצ'סלב‬
‫ינואר ‪2011‬‬
‫קאדרי ויסאם‬
‫פברואר ‪2004‬‬
‫על ביצועי האלגוריתם השלישי של דייקסטרה לייצוב עצמי עבור‬
‫מניעה הדדית ואלגוריתמים בנושא‬
‫סימולציה של מסלולים מטבוליים‬
‫קביאטקובסקי איגור‬
‫פברואר ‪2012‬‬
‫אינווריאנטים בצבע לזיהוי חוזר של אנשים‬
‫קהת זהבית‬
‫קוגן אלכס‬
‫מרס ‪2001‬‬
‫יולי ‪2008‬‬
‫קוגן דמיטרי‬
‫מרס ‪2000‬‬
‫קויפמן שלומית‬
‫ינואר ‪2002‬‬
‫קוליק אריאל‬
‫יולי ‪2011‬‬
‫קולן תום‬
‫דצמבר ‪2011‬‬
‫קירוב בעיית הכיסוי ‪ -‬בקבוצות הצפופה‬
‫מניעה הדדית לוקלית יעילה וחסינה ברשתות אד הוק ניידות‬
‫מניית מצביעים מרוחקת‪ :‬איסוף אשפה מבוזר עם תקורת‬
‫תקשורת וחישוב נמוכה‬
‫שימור סמנטי של אלגוריתמים להתרת אנאפורים שמניים‬
‫מכסימיזציה של פונקציות תת‪-‬מודולריות ולינאריות בכפוף‬
‫לאילוצי קיבולת‬
‫שיטות צפינה לשגיאות פרץ‬
‫קופרשטיין מיכאל‬
‫אוגוסט ‪2012‬‬
‫שימור נכונות תחת מודלי זיכרון חלשים‬
‫קורלנד גיא‬
‫קורן תומר‬
‫דצמבר ‪2005‬‬
‫אוגוסט ‪2012‬‬
‫מודעות למיקום ברשתות אד‪-‬הוק‬
‫למידת מכונות וקטורים תומכים בזמן תת‪-‬לינארי‬
‫קותיאל גלעד‬
‫אוקטובר ‪2011‬‬
‫נדידה חיה מונחית מחיר של שירותים בענן‬
‫קיבר איל‬
‫יוני ‪2014‬‬
‫קידר שרון‬
‫פברואר ‪2003‬‬
‫זאב‪-‬א‪ :‬רשת חברתית מבוזרת במרשתת‬
‫שילוב רדוקציה המסתמכת על סימטריה עם שערוך מלמטה‬
‫עבור בדיקת מודל סימבולית‬
‫קלופר דמיטרי‬
‫דצמבר ‪2005‬‬
‫קשר בין גיאומטריה וקישוריות של שילושים במישור‬
‫קליאוט גבריאל‬
‫מרס ‪2009‬‬
‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬
‫קלינובסקי ולדיסלב‬
‫אוגוסט ‪2002‬‬
‫סימפוניה‪ :‬ניהול שרתים וירטואליים‬
‫קלינגר אנדרי‬
‫קמה אלון‬
‫ספטמבר ‪2008‬‬
‫פברואר ‪2003‬‬
‫קנטור יואב‬
‫אוגוסט ‪2014‬‬
‫יציבות כנגד סטיות קבוצתיות בחישוב אי‪-‬שיתופי‬
‫מכונה וירטואלית שקופה ועמידה בפני נפילות לג'אווה‬
‫שילוב של שיטות ליצירת יתירות‪ ,‬קודי מחיקה ורפליקציה‪,‬‬
‫לשיפור יעילות איחסון ותעבורה במערכות איחסון עמית לעמית‬
‫קניגסברג אברהם‬
‫אפריל ‪2003‬‬
‫גישת רב‪-‬שריג עבור פתרון מהיר לעקום פעיל גיאודטי‬
‫קניגסברג דן‬
‫ינואר ‪2002‬‬
‫אלגוריתם החיפוש הקוונטי של גרובר ומצבים מעורבים‬
‫‪34‬‬
‫דן גייגר‬
‫עירד יבנה‬
‫טובי עציון‬
‫אילן שמשוני‪,‬‬
‫אהוד ריבלין‬
‫שמואל זקס‪,‬‬
‫שלום מרדכי‬
‫רון פינטר‬
‫אהוד ריבלין‪,‬‬
‫היימן מיכאל‬
‫עדי רוזן‬
‫דן גייגר‬
‫עירד יבנה‬
‫טובי עציון‬
‫אילן שמשוני‪,‬‬
‫אהוד ריבלין‬
‫שמואל זקס‪,‬‬
‫שלום מרדכי‬
‫רון פינטר‬
‫אהוד ריבלין‪,‬‬
‫היימן מיכאל‬
‫ראובן בר‪-‬יהודה‬
‫חגית עטיה‬
‫אסף שוסטר‬
‫נסים פרנסיז‬
‫הדס שכנאי‬
‫טובי עציון‬
‫ערן יהב‪,‬‬
‫מרטין וצ'ב‬
‫רועי פרידמן‬
‫אלעד חזן‬
‫דני רז‪,‬‬
‫דויד בריטגנד‬
‫רועי פרידמן‬
‫אורנה גרימברג‬
‫גיל ברקת‪,‬‬
‫חיים גוטסמן‬
‫רועי פרידמן‬
‫אסף שוסטר‪,‬‬
‫רועי פרידמן‬
‫משה טננהולץ‬
‫רועי פרידמן‬
‫רועי פרידמן‬
‫רון קימל‪,‬‬
‫עירד יבנה‬
‫אלי ביהם‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫קפלון אנה‬
‫אוקטובר ‪2011‬‬
‫קפלן אלכסנדר‬
‫אוגוסט ‪2002‬‬
‫קפלן יניב‬
‫נובמבר ‪2004‬‬
‫רועי פרידמן‬
‫שרות פירסום‪/‬מנוי מוכוון צפיפות ברשתות אד‪-‬הוק ניידות‬
‫אילן שמשוני‪,‬‬
‫מציאת קווים אפיפולרים משתי תמונות צבעוניות‬
‫אהוד ריבלין‬
‫חסמים תחתונים לבעיית איסוף מידע אדפטיבי ולבעיות קשורות חגית עטיה‬
‫קצנגולד אורן‬
‫ספטמבר ‪2006‬‬
‫שימוש אפקטיבי במטמונים שומרי נתיבי ביצוע‬
‫קצנגולד אורן‬
‫ספטמבר ‪2006‬‬
‫שימוש אפקטיבי במטמונים שומרי נתיבי ביצוע‬
‫קראוס נעמה‬
‫יולי ‪2012‬‬
‫המלצת שאילתות תלוית הקשר‬
‫קרונרוד בוריס‬
‫קרונרוד סבטלנה‬
‫קריביצקי דניס‬
‫ינואר ‪2001‬‬
‫אפריל ‪2001‬‬
‫יוני ‪2006‬‬
‫נושאים בדחיסה של מודלים תלת‪-‬מימדיים‬
‫מיקום משימה הסתברותי במערכת מבוזרת רחבת היקף‬
‫אלגוריתם לוקלי למיקום תחנות שירות למערכות גדולות היקף‬
‫קרייבוי ולדיסלב‬
‫ספטמבר ‪2003‬‬
‫שדכן‪ :‬יצירת מיפוי טקסטורה עם אילוצים‬
‫קרישר שרון‬
‫קרמני חיים‬
‫אוגוסט ‪2006‬‬
‫מרס ‪2008‬‬
‫אילוצי זהות בסכמות ‪XML‬‬
‫המדחס‪ :‬דחיסה המתבצעת בו‪-‬זמנית‪ ,‬ובאופן תוספתי ומקבילי‬
‫רב רוני‬
‫ספטמבר ‪2003‬‬
‫יצירת צעצועי עץ וירטואליים ממודלים גיאומטריים‬
‫רביב אריאל‬
‫רביב דן‬
‫רביב נתנאל‬
‫יוני ‪2012‬‬
‫ינואר ‪2008‬‬
‫יוני ‪2013‬‬
‫גישה מבוססת מושגים להתרת רב‪-‬משמעות של מילים‬
‫סימטריות של משטחים גמישים‬
‫מינימיזצייה של טבלת אמת של מודלים חישוביים‬
‫רגב אייל‬
‫יולי ‪2021‬‬
‫מערכות מרובות סוכנים בסביבה דינמית סטוכסטית‬
‫רגר רונית‬
‫אפריל ‪2002‬‬
‫למידת חולשות יחסיות אצל הסוכן היריב וניצולם‬
‫רובינשטיין אמיר‬
‫נובמבר ‪2006‬‬
‫מידול מהימן של ביטוי ארעי במערכות התפתחותיות‬
‫רוגל ניר‬
‫רוזנפלד אולגה‬
‫רוטשטיין כרמן‬
‫רוכלנקו אולג‬
‫רון ליאור‬
‫רוסמן גיא‬
‫יוני ‪2011‬‬
‫מאי ‪2007‬‬
‫מרס ‪2004‬‬
‫פברואר ‪2004‬‬
‫מרס ‪2002‬‬
‫נובמבר ‪2008‬‬
‫ניתוב אנונימי ברשתות אד‪-‬הוק ניידות‬
‫שיווי משקל חזק במשחקי עומס‬
‫מערכת סמנטית לתארים טוטליים וחלקיים‬
‫השוואה בין מסלולים מטבוליים באמצעות התאמת עצים‬
‫מערכת משוב ויזואלי‬
‫השטחות יעילות בלימוד יריעות ועיבוד תמונה‬
‫רוסקוב דמיטרי‬
‫ינואר ‪2000‬‬
‫דגימה סלקטיבית ללמידת מסווגי השכן הקרוב‬
‫ריאבצב מיכאל‬
‫ספטמבר ‪2009‬‬
‫ריבניקוב דני‬
‫ינואר ‪2014‬‬
‫אימות תרגום‪ :‬מ‪ simulink-‬ל‪c-‬‬
‫מערכת חצי‪-‬אוטומטית להתאמה בלתי קשיחה והצללה‬
‫קוהרנטית של רצף האנימציה‬
‫ריבניקוב סילבינה‬
‫מרס ‪2010‬‬
‫בניית מפת דרכים לא אוקלידית מקבוצה קטנה של תמונות‬
‫ריי גיא‬
‫רינצקי נעם‬
‫רם רוני‬
‫ינואר ‪2000‬‬
‫מרס ‪2001‬‬
‫נובמבר ‪2002‬‬
‫רפפורט אסף‬
‫מאי ‪2013‬‬
‫רצבי גיל‬
‫יולי ‪2006‬‬
‫שוהם )בוכבינדר( שרון‬
‫נובמבר ‪2003‬‬
‫שוחט אמנון‬
‫שוטלנד ארי‬
‫שורץ רועי‬
‫שורקי פטריק‬
‫מרס ‪2005‬‬
‫נובמבר ‪2008‬‬
‫ינואר ‪2004‬‬
‫ינואר ‪2000‬‬
‫לוגיקות לא‪-‬מונוטוניות מסדר ראשון‬
‫אנליזה צורנית אינטרפרוצדורלית‬
‫הפצה יעילה של הודעות אלקטרוניות‬
‫אלגוריתמי קירוב לבעיות מיקום מתקנים מחוברים עם חסם רך‬
‫על תכולה‬
‫יתרון קוונטי‪ ,‬גם ללא שזירות‬
‫סכמה מבוססת משחקים לדוגמאות נגדיות ולאלגוריתמי‬
‫אבסטרקציה‪ -‬עידון עבור ‪CTL‬‬
‫הרחבת ‪ BGP‬לתמיכה ב‪As Global-‬‬
‫גילוי מסלולים יעיל ברשתות משולבות‬
‫שיכונים מעגליים של גרפים‬
‫שיחזור משטחים עם משולשים ביזייר על‪-‬ידי מדידות לייזר‬
‫שחנרוביץ' גרגורי‬
‫אוגוסט ‪2001‬‬
‫שיבוט נתונים סטטיסטי עבור מערכות למידה ממוחשבות‬
‫שטראוס ראובן‬
‫יוני ‪2014‬‬
‫רב‪-‬כיסוים גיאומטריים‬
‫מנחה‬
‫‪35‬‬
‫אבי מנדלסון‪,‬‬
‫אסף שוסטר‬
‫אבי מנדלסון‪,‬‬
‫אסף שוסטר‬
‫זיו בר‪-‬יוסף‪,‬‬
‫שאול מרקוביץ‬
‫גוטסמן חיים‬
‫רועי פרידמן‬
‫אסף שוסטר‬
‫אלה שפר‪,‬‬
‫חיים גוטסמן‬
‫עודד שמואלי‬
‫ארז פטרנק‬
‫אלה שפר‪,‬‬
‫חיים גוטסמן‬
‫שאול מרקוביץ'‬
‫רון קימל‬
‫איל קושלביץ‬
‫פרדי ברוקשטיין‪,‬‬
‫יניב אלטשולר‬
‫שאול מרקוביץ'‬
‫רון פינטר‪,‬‬
‫יונה קסיר‬
‫רועי פרידמן‬
‫משה טננהולץ‬
‫יועד וינטר‬
‫רון פינטר‬
‫יורם ברעם‬
‫רון קימל‬
‫שאול מרקוביץ'‪,‬‬
‫מיכאל לינדנבאום‬
‫עופר שטריכמן‬
‫גיל ברקת‪,‬‬
‫חיים גוטסמן‬
‫אילן שמשוני‪,‬‬
‫אהוד ריבלין‬
‫מיכאל קמינסקי‬
‫מולי שגיב‬
‫דני רז‬
‫דני רז‬
‫טל מור‬
‫אורנה גרימברג‬
‫ראובן כהן‬
‫רועי פרידמן‬
‫ספי נאור‬
‫גרשון אלבר‬
‫רן אל‪-‬יניב‪,‬‬
‫יורם ברעם‬
‫גרשון אלבר‬
‫מגיסטר‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫שייחט אלינה‬
‫שמרון יובל‬
‫שלום ישראל‬
‫שלם עדית‬
‫שם טוב שחר‬
‫שמי ניר‬
‫שניידרמן לילה‬
‫שניצר אורן‬
‫ספטמבר ‪2007‬‬
‫יוני ‪2012‬‬
‫יולי ‪2011‬‬
‫פברואר ‪2007‬‬
‫דצמבר ‪2011‬‬
‫מרס ‪2009‬‬
‫ינואר ‪2009‬‬
‫מאי ‪2005‬‬
‫שפיר יבגני‬
‫יולי ‪2009‬‬
‫שפירא אירינה‬
‫מרס ‪2001‬‬
‫שפירא ניצן‬
‫דצמבר ‪2014‬‬
‫שפירו קונסטנטין‬
‫דצמבר ‪2003‬‬
‫שקלובר גריגורי‬
‫ספטמבר ‪2007‬‬
‫שרגאי טלי‬
‫מאי ‪2009‬‬
‫שרגאי נדב‬
‫מאי ‪2013‬‬
‫בעיית המשולש המקוונת של היילברון ב‪ d-‬מימדים‬
‫הקטנת חתימת הזכרון עבור אוספים בשפת ג'אווה‬
‫השמת משאבים מקוונת מבוססת מרחק ועומס‬
‫שיחזור רב‪-‬שכבתי של פאזה בדו מימד‬
‫פרקים בשיטות ואריאציוניות מבוססות פרמטריזציית יתר‬
‫אכיפת איכות עבור שירותי רשת ברשתות דינמיות‬
‫סידור אינקרמנטלי של עצי ‪ xml‬מורחבים בזיכרון משני‬
‫סיווג עקבי מרוכז‬
‫המרה מונחת‪-‬חיבוריות מבוססת‪-‬תאים של מסיכות של מעגלים‬
‫משולבים‬
‫תזמון אינטרוולים מתפצלים‬
‫מציאת מיפוי בין אוספים של צורות באמצעות שיטות להורדת‬
‫מימדים‬
‫מימוש מונחה עצמים רקונסיליאציות‬
‫שיטות בקומפילציה של קוד ממוקבל בארכיטקטורה עם הקשר‬
‫משותף‬
‫הערכה אמפירית של מידת השימושיות של פונקציות וירטואליות‬
‫הנקראות מתוך פונקציות בנייה‬
‫כיסויים גאומטריים‬
‫גיל ברקת‬
‫יוסי גיל‬
‫ספי נאור‬
‫עירד יבנה‬
‫אלפרד ברוקשטיין‬
‫רועי פרידמן‬
‫עודד שמואלי‬
‫שאול מרקוביץ'‬
‫רון פינטר‪,‬‬
‫שמואל וימר‬
‫הדס שכנאי‬
‫שרון איתי‬
‫ינואר ‪2006‬‬
‫זיהוי דמיון בין חלבונים רחוקים ובעלי מורכבות נמוכה‬
‫שרייר אלכסנדר‬
‫שרף יובל‬
‫שרפמן דפנה‬
‫מאי ‪2006‬‬
‫נובמבר ‪2004‬‬
‫פברואר ‪2003‬‬
‫ששון אמיר‬
‫אפריל ‪2004‬‬
‫ששון גיל‬
‫אפריל ‪2004‬‬
‫שתיל אסף‬
‫יוני ‪2002‬‬
‫תדמור סאלי‬
‫אפריל ‪2002‬‬
‫תייר רפי‬
‫אפריל ‪2001‬‬
‫הנחות תקשורת‪ ,‬גלאי נפילות וביצועי קונצנזוס‬
‫כיסוי נקודות בעזרת פוליגון‬
‫שיפור התנהגות המטמון תוך כדי איסוף זבל‬
‫הבנה והתמודדות עם ההשפעות של התקפות מניעת שירות על‬
‫עדית קידר‬
‫פרוטוקולי הפצה מבוססי רכילות‬
‫ישראל בן‪-‬שאול‬
‫ארכיטקטורה מבוזרת מונחית אירועים ורב‪-‬שלבית‬
‫למידה להאצת שיטות מבוססות שיפור חוזר על ידי זיהוי צעדי‬
‫שאול מרקוביץ'‬
‫חיפוש מיותרים‬
‫אליעזר קנטרוביץ'‪,‬‬
‫חבילת תוכנה לפיתוח מערכות מידע אינטראקטיביות‬
‫רועי פרידמן‬
‫סריקת מבוכים אוילרים מכוונים באמצעות רובוט בעל מספר‬
‫שמעון אבן‬
‫מצבים סופי‬
‫דוקטור‬
‫שם‬
‫מירי בן‪-‬חן‬
‫שמואל כ"ץ‬
‫אסף שוסטר‬
‫יוסי גיל‬
‫גרשון אלבר‬
‫גולן יונה‪,‬‬
‫רן אל‪-‬יניב‬
‫עידית קידר‬
‫גיל ברקת‬
‫ארז פטרנק‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫אביגדור‪-‬אלגרבלי‬
‫נועה‬
‫יוני ‪2014‬‬
‫אלגוריתמים חדשים לבעיית ניהול חוצץ ממיין‬
‫יובל רבני‪,‬‬
‫אמיר שפילקה‬
‫אברבוך איליה‬
‫אפריל ‪2011‬‬
‫אברהם תמר‬
‫דצמבר ‪2007‬‬
‫נובמבר ‪2002‬‬
‫אגבריה עדנאן‬
‫אגמון בן‪-‬יהודה אורנה ספטמבר ‪2013‬‬
‫תכונות שלמות ואוניברסליות של שמורות‪-‬גרפים‬
‫ופולינומי‪-‬גרפים‬
‫תהליכי קשב ויזואלי המבוססים על מודלים הסתברותיים‪:‬‬
‫אלגוריתמים וחסמים‬
‫אמינות במערכות מבוזרות לחישוב מהיר‬
‫חלוקת משאבי מיחשוב יעילה לא שיתופית‬
‫ישומיהם של ייצוגים דלילים ויתירים לאשכול תתי‪-‬‬
‫מרחבים ומידול אותות‬
‫מילונים יתירים לייצוג דליל של אותות‬
‫אוטומטי מחסנית מתחלפים מסונכרנים‬
‫ניתוח מתמאטי של התנהגות גלובלית מתהווה במערכות‬
‫מרובות סוכנים‬
‫אדלר אמיר‬
‫ספטמבר ‪2014‬‬
‫אהרון מיכל‬
‫אייזיקוביץ תמר‬
‫נובמבר ‪2006‬‬
‫דצמבר ‪2010‬‬
‫אלאור יותם‬
‫ספטמבר ‪2013‬‬
‫אלטשולר יניב‬
‫מרס ‪2010‬‬
‫מערכות רובוטיות רב סוכניות בסביבות דינאמיות‬
‫אלכסנדרוביץ גדי‬
‫אוקטובר ‪2011‬‬
‫אמזלג דוד‬
‫פברואר ‪2008‬‬
‫ספירה של חיות סריג‬
‫אלגוריתמי קירוב לבעיות אופטימיזציה ברשתות‬
‫סלולריות עתידיות‬
‫‪36‬‬
‫יוהן מקובסקי‬
‫מיכאל לינדנבאום‬
‫רועי פרידמן‬
‫אסף שוסטר‬
‫מיכאל אלעד‪,‬‬
‫יעקב הל‪-‬אור‬
‫מיכאל אלעד‬
‫מיכאל קמינסקי‬
‫אלפרד ברוקשטיין‬
‫אלפרד ברוק שטיין‪,‬‬
‫ישראל וגנר‬
‫גיל ברקת‬
‫ספי נאור‪,‬‬
‫דני רז‬
‫דוקטור‬
‫שם‬
‫סיום לימודים‬
‫אנגלברג רועי‬
‫מרס ‪2009‬‬
‫אסמיר סאהר‬
‫נובמבר ‪2008‬‬
‫אפלבאום בני‬
‫יולי ‪2007‬‬
‫קריפטוגרפיה בזמן מקבילי קבוע‬
‫אקרמן איל‬
‫ספטמבר ‪2006‬‬
‫בעיות ספירה במבנים גיאומטריים‪ :‬מילבונים‪ ,‬מפות‪-‬תכנון‬
‫למעגלים מוכללים וגרפים מעין‪-‬מישוריים‬
‫אושרוביץ אליהו‬
‫פברואר ‪2012‬‬
‫שיטות נומריות לשיחזור פאזה‬
‫בגלייטר רון‬
‫אפריל ‪2013‬‬
‫מחקר בנושאים עיוניים ומעשיים של למידה פעילה‬
‫בגלמן גריגורי‬
‫יולי ‪2009‬‬
‫עיבוד והבנה של תמונות מיקרוסקופיות ביולוגיות‬
‫בוגומיאקוב אלכסנדר‬
‫פברואר ‪2008‬‬
‫בוזגלי שרית‬
‫נובמבר ‪2014‬‬
‫בוכבינדר ניב‬
‫בוסתן דורון‬
‫נובמבר ‪2008‬‬
‫אוגוסט ‪2002‬‬
‫בלייבס איליה‬
‫דצמבר ‪2009‬‬
‫נושא העבודה‬
‫מנחה‬
‫יציבות בסביבות מרובות סוכנים ואלגוריתמי קירוב‬
‫לבעיות ‪ np‬קשות בגרפים‬
‫אלגוריתמי כל‪-‬עת ללמידת מסווגי כל‪-‬עת‬
‫ספי נאור‪,‬‬
‫דני רז‬
‫שאול מרקוביץ'‬
‫יובל ישי‪,‬‬
‫איל קושלביץ‬
‫גיל ברקת‪,‬‬
‫רון פינטר‬
‫אהוד ריבלין‪,‬‬
‫מיכאל ציבולבסקי‬
‫ניר אילון‪,‬‬
‫רן אל‪-‬יניב‬
‫אהוד ריבלין‪,‬‬
‫מיכאל ציבולבסקי‬
‫ברונשטיין מיכאל‬
‫מרס ‪2007‬‬
‫ברנגולץ אלכסנדר‬
‫ברקול עומר‬
‫ברקן אלעד‬
‫גברילוביץ יבגני‬
‫יוני ‪2004‬‬
‫ספטמבר ‪2008‬‬
‫מרס ‪2006‬‬
‫דצמבר ‪2006‬‬
‫עיבוד גיאומטרי בעזרת מעבד גרפי לשם יצירת מבטים‬
‫חדשים מוידאו של עומק‬
‫בעיות אלגבריות וגאומטריות עם יישומים עבור זיכרון‬
‫בלתי נדיף‬
‫תכנון אלגוריתמים מקוונים בשיטה פרימאלית‪-‬דואלית‬
‫צמצומים מבוססי‪ -‬שקילות ובדיקת יחסי סדר‬
‫על הדיוק של סורקים אופטיים תלת מימדים‪ ,‬אלגוריתמים‬
‫בינריזציה ולמידה חישובית‬
‫טיפוסים ומשמעויות באינטנציונליות‪ ,‬בחירה וטווח כמתים‬
‫איתור אתרי בקרה באמצעות מערכי ביטוי‬
‫אלגוריתמי הסקה ויישומם באנליזה גנטית‬
‫אלגוריתמים גיאומטריים בדידים לעיבוד רשתות‬
‫סיבתיות‪ ,‬ידע ותאום במערכות מבוזרות‬
‫גיאומטריה חישובית של משטחים גמישים‪ :‬בעיות שיכון‬
‫זיהוי משטחים אינווריאנטי לאיזומטריות‪ :‬אלגוריתמים‬
‫חישוביים ואפליקציות‬
‫שיטות כמותיות לאיפיון קושי של בעיות ראייה‬
‫קודים הניתנים לפיענוח מקומי ושימושיהם‬
‫קריפטאנליזה של צפנים ופרוטוקולים‬
‫בניית תכוניות לאיחזור מידע טקסטואלי בעזרת ידע עולם‬
‫גולדנברג רומן‬
‫פברואר ‪2003‬‬
‫זיהוי מבוסס תנועה‬
‫גונטמכר אלכס‬
‫אוקטובר ‪2007‬‬
‫ארכיטקטורה ומודל תכנות למקבול בגרעיניות נמוכה‬
‫מאוד‬
‫גורביץ פבל‬
‫ספטמבר ‪2013‬‬
‫הצפנה קוונטית ניסויית שבה השולחת היא קלאסית‬
‫ג'יריס רג'א‬
‫גלבוע ניב‬
‫גלוסמן מרסלו‬
‫פברואר ‪2014‬‬
‫יוני ‪2001‬‬
‫אפריל ‪2003‬‬
‫מודלי דלילות עבור אותות‪ :‬תיאוריה ויישומים‬
‫נושאים באיחזור מידע באופן פרטי‬
‫מיכון להוכחות של שקילות בין חישובים‬
‫גלזר אסף‬
‫מאי ‪2014‬‬
‫אפיון פילוגים מממד גבוה באמצעות שיטות למידה‬
‫גרבלה גיא‬
‫גרונאו אילן‬
‫מאי ‪2013‬‬
‫ספטמבר ‪2009‬‬
‫גרינספן גדעון‬
‫אוקטובר ‪2005‬‬
‫דונקלמן אור‬
‫דרבקין ואדים‬
‫הולצמן‪-‬גזית מיכל‬
‫ינואר ‪2006‬‬
‫ספטמבר ‪2008‬‬
‫אוקטובר ‪2010‬‬
‫אלגוריתמי תיזמון לרשתות ‪ ofdma‬אלחוטיות‬
‫שחזור עצים פילוגנטיים ממטריקות רועשות‬
‫מודל רשת בייסיאנית לוריאציות בגושי גושי הפלוטיפים‪:‬‬
‫הסקה ורישום‬
‫שיטות קריפטאנליזה של צפני בלוקים‬
‫פרוטוקולי תקשורת אמינים ברשתות אד‪-‬הוק‬
‫שיטות אדפטיביות רב‪-‬סרגיות‬
‫היימן תמיר‬
‫מרס ‪2004‬‬
‫בדיקת מודל סימבולית בעזרת מערכת מבוזרת‬
‫הלוי שירלי‬
‫הלל אשכר‬
‫הרמתי אלעד‬
‫ינואר ‪2006‬‬
‫יולי ‪2011‬‬
‫נובמבר ‪2014‬‬
‫נושאים בבדיקת תכונות‬
‫מבני נתונים מקביליים‪ :‬מתודולוגיות ומגבלות אינהרנטיות‬
‫בחינת פולינומים ובעיות קשורות נוספות‬
‫בן‪-‬אבי גלעד‬
‫בן‪-‬זקן זילברשטיין חיה‬
‫בקר אנה‬
‫בן‪-‬חן מירי‬
‫בן‪-‬צבי עידו‬
‫ברונשטיין אלכסנדר‬
‫ינואר ‪2008‬‬
‫מאי ‪2006‬‬
‫ינואר ‪2002‬‬
‫ספטמבר ‪2009‬‬
‫יולי ‪2011‬‬
‫מאי ‪2007‬‬
‫‪37‬‬
‫חיים גוטסמן‬
‫טובי עציון‪,‬‬
‫איתן יעקובי‬
‫ספי נאור‬
‫אורנה גרימברג‬
‫רון קימל‪,‬‬
‫אלפרד ברוקשטיין‬
‫יועד וינטר‬
‫זהר יכיני‬
‫דן גייגר‬
‫חיים גוטסמן‬
‫יורם מוזס‬
‫רון קימל‬
‫רון קימל‬
‫מיכאל לינדנבאום‬
‫רוני רוט‬
‫אלי ביהם‬
‫שאול מרקוביץ'‬
‫אהוד ריבלין‪,‬‬
‫רון קימל‬
‫אסף שוסטר‬
‫מאיר בורנשטיין‪,‬‬
‫טל מור‬
‫מיכאל אלעד‬
‫בני שור‬
‫שמואל כ"ץ‬
‫שאול מרקוביץ‪,‬‬
‫מיכאל לינדנבאום‬
‫ראובן כהן‬
‫שלמה מורן‬
‫דן גייגר‬
‫אלי ביהם‬
‫רועי פרידמן‬
‫עירד יבנה‬
‫אורנה גרימברג‬
‫אסף שוסטר‬
‫איל קושלביץ‬
‫חגית עטיה‬
‫אמיר שפילקה‬
‫דוקטור‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫וולף רן‬
‫אוקטובר ‪2004‬‬
‫וולקוביץ איליה‬
‫מרס ‪2012‬‬
‫וידרמן מיכאל‬
‫פברואר ‪2012‬‬
‫ויזל יקיר‬
‫ספטמבר ‪2014‬‬
‫ויטנברג רומן‬
‫וינר יאיר‬
‫נובמבר ‪2002‬‬
‫אוקטובר ‪2013‬‬
‫וקסמן אמיר‬
‫יוני ‪2011‬‬
‫וקסלר עידו‬
‫זהר רון‬
‫זילברשטיין נטליה‬
‫זלוצ'ין מרק‬
‫דצמבר ‪2007‬‬
‫פברואר ‪2007‬‬
‫נובמבר ‪2011‬‬
‫יוני ‪2003‬‬
‫כריית מידע במערכות מבוזרות גדולות‬
‫בעיית בדיקת זהות פולינומים וקשריה למספר בעיות‬
‫אלגבריות‬
‫לקראת חסמים תחתונים על קודים הניתנים לבדיקה‬
‫לוקלית‬
‫בדיקת מודל מבוססת ספיקות על ידי שימוש‬
‫באינטרפולציה ובנייה אינקרמנטלית של פסוקיות‬
‫אינדוקטיביות לנכונות ודאית‬
‫מטמון של עצמים מבוזרים בסביבות האינטרנט‬
‫סודות עיוניים של חיזוי בררני‬
‫שיטות כלליות באינטרפולציה‪ ,‬שחזור ושינוי צורה של‬
‫משטחים פוליהדרליים‬
‫קירובים עבור מודלים גרפיים הסתברותיים‬
‫היתוך מדידות מבוזרות בעקיבת קבוצה‬
‫תורת הצפינה ומרחבים פרויקטיביים‬
‫שיטות מונטה קרלו אדפטיביות עבור למידה בייסיאנית‬
‫אסף שוסטר‬
‫אמיר שפילקה‬
‫ספי נאור‬
‫זפולוצקי מריה‬
‫יולי ‪2008‬‬
‫זריבץ' אבלינה‬
‫ספטמבר ‪2008‬‬
‫חדד ארז‬
‫חי דוד‬
‫חן רפי‬
‫מאי ‪2006‬‬
‫אפריל ‪2007‬‬
‫יולי ‪2011‬‬
‫חניאל עדו‬
‫מרס ‪2008‬‬
‫טאן טוני‬
‫יולי ‪2009‬‬
‫טל עדו‬
‫ינואר ‪2009‬‬
‫טרייסטר ערן‬
‫נובמבר ‪2014‬‬
‫יגר‪-‬לוטם אסתי‬
‫ינואר ‪2005‬‬
‫ידגר אברהם‬
‫אפריל ‪2010‬‬
‫ידגר גלה‬
‫יולי ‪2012‬‬
‫ניהול מטמון רב‪-‬שכבתי בעזרת רמזים מהאפליקציה‬
‫יהלום אורלי‬
‫יורב קרן‬
‫נובמבר ‪2008‬‬
‫יולי ‪2000‬‬
‫נושאים בבדיקת תכונות במודלים עם פרמטר מאסיבי‬
‫ניצול מבניות באימות אוטומטי‬
‫ישי יובל‬
‫ינואר ‪2000‬‬
‫אקראיות מתואמת וחישובים פרטיים‬
‫כהן טל‬
‫פברואר ‪2007‬‬
‫כהן רמי‬
‫ינואר ‪2008‬‬
‫כץ אמיליה‬
‫לביא גל‬
‫אפריל ‪2011‬‬
‫מרס ‪2013‬‬
‫לוי זהר‬
‫יולי ‪2013‬‬
‫לוי תמיר‬
‫אוקטובר ‪2011‬‬
‫לוין אניה‬
‫פברואר ‪2012‬‬
‫לוין רועי‬
‫ספטמבר ‪2013‬‬
‫לייבוביץ לימור‬
‫יוני ‪2014‬‬
‫פרישות קומפקטיות של רשתות חיבורים מסויימות‬
‫שיערוך תוכניות ‪ datalog‬מעל מסדי נתונים אינסופיים‬
‫ומבוססים‬
‫ארכיטקטורות לשירותי תווכה חסיני נפילות‬
‫ניתוח תחרותי של ארכיטקטורות מתגים‬
‫שיטות חדשות לקריפטאנליזה של פונקציות תמצות‬
‫חישוב יציב של מערכים גיאומטריים ודיאגרמות וורונוי של‬
‫עקומים ומשטחים חופשיים‬
‫אוטומטים עם חלוקים עבור שפות נתונים‪ :‬הפרדה‪,‬‬
‫כריעות ואי‪-‬כריעות‬
‫צפינה וחסמים לאילוצים דו‪-‬ממדיים‬
‫שיטות רב‪-‬סריג אלגבריות אדפטיביות מבוססות אגרגציה‬
‫לפתרון מערכות לינאריות דלילות‬
‫אנליזה חישובית של רשתות המשלבות בקרת שעתוק‬
‫ואינטראקציות בין חלבונים‬
‫גישות חדשות לבדיקת מודל ולהפשטה ועידון תלת‬
‫ערכיים‬
‫שימוש בפיתוח תוכנה מונחה‪-‬אספקטים במערכות‬
‫שכבת‪-‬ביניים‬
‫המבנה הטופולוגי של האינטרנט‪ :‬מתהליך הגילוי ועד‬
‫לתמונה האמתית‬
‫ניתוח וזיהוי אינטראקציות בין אספקטים‬
‫הבנת מאורעות בוידאו‬
‫שיטות לעיבוד בסיסי נתונים תלת‪-‬ממדיים נפחיים‬
‫ופוליהדרליים‬
‫על רשתות המיזוג‬
‫סכימות לניהול נדידת משתמשים לצורך שיפור ביצועי‬
‫‪ tcp‬ברשתות אלחוטיות‬
‫חיפושי מסלולים גיאוגרפיים‬
‫הערכה סטטיסטית של העשרה ברשימות מדורגות ‪-‬‬
‫אלגוריתמים ויישומים בחיפוש מוטיבים‬
‫‪38‬‬
‫אלדר פישר‬
‫ארנה גרימברג‬
‫רועי פרידמן‬
‫רן אל‪-‬יניב‬
‫ברקת גיל‬
‫גוטסמן חיים‬
‫דן גייגר‬
‫דן גייגר‬
‫טובי עציון‬
‫יורם ברעם‬
‫יפים דיניץ‪,‬‬
‫שמעון אבן‪,‬‬
‫עמי ליטמן‬
‫יוסי גיל‬
‫רועי פרידמן‬
‫חגית עטיה‬
‫אלי ביהם‬
‫גרשון אלבר‬
‫מיכאל קמינסקי‬
‫רוני רוט‬
‫טובי עציון‬
‫עירד יבנה‬
‫רון פינטר‪,‬‬
‫חנה מרגלית‬
‫אסף שוסטר‪,‬‬
‫אורנה גרימברג‬
‫אסף שוסטר‪,‬‬
‫מיכאל פקטור‬
‫אלדר פישר‬
‫אורנה גרימברג‬
‫איל קושלביץ‪,‬‬
‫הוגו קרבצ'יק‪,‬‬
‫יוסי גיל‬
‫דני רז‬
‫שמואל כ"ץ‬
‫אהוד ריבלין‬
‫חיים גוטסמן‪,‬‬
‫גיל ברקת‬
‫עמי ליטמן‬
‫ראובן כהן‬
‫ירון קנזה‬
‫זהר יכיני‬
‫דוקטור‬
‫שם‬
‫סיום לימודים‬
‫לייכטר עדו‬
‫ספטמבר ‪2008‬‬
‫ליפסון דורון‬
‫אפריל ‪2007‬‬
‫למפל רוני‬
‫פברואר ‪2003‬‬
‫לנדאו אלכסנדר‬
‫דצמבר ‪2009‬‬
‫לנץ קרן‬
‫אפריל ‪2013‬‬
‫מוס אנה‬
‫אוגוסט ‪2001‬‬
‫מורי נעם‬
‫מורן שירי‬
‫מזאווי חנא‬
‫יולי ‪2009‬‬
‫נובמבר ‪2006‬‬
‫נובמבר ‪2011‬‬
‫מלמד רועי‬
‫יולי ‪2006‬‬
‫ממן איתי‬
‫מצליח אריה‬
‫מרעי ענאן‬
‫נוסנסון רונית‬
‫מרס ‪2012‬‬
‫ספטמבר ‪2008‬‬
‫אוגוסט ‪2008‬‬
‫מאי ‪2005‬‬
‫נהיר אמיר‬
‫ספטמבר ‪2014‬‬
‫ניר טל‬
‫נלקן רן‬
‫נקיבלי גבי‬
‫מאי ‪2007‬‬
‫ספטמבר‪2001‬‬
‫ינואר ‪2008‬‬
‫סוידאן פיראס‬
‫פברואר ‪2006‬‬
‫סורז'סקי ויטלי‬
‫יוני ‪2003‬‬
‫סזבון דידי‬
‫יולי ‪2005‬‬
‫סטרולוביץ עומר‬
‫מרס ‪2013‬‬
‫שרשראות איבוד מידע ושיתוף סוד שברי‬
‫סנדלר רומן‬
‫אוקטובר ‪2010‬‬
‫ספירה אלון‬
‫ספטמבר ‪2006‬‬
‫ניתוח מסנני ‪ gabor‬להפרדת טקסטורות‬
‫התפתחות גיאומטרית של תמונות על משטחים‬
‫פרמטריים‬
‫סקלוסוב גבריאל‬
‫דצמבר ‪2007‬‬
‫בעיות ניתוב ותזמון ברשתות תקשורת‬
‫סקצ'ק ויטלי‬
‫דצמבר ‪2006‬‬
‫עבוד אמיר‬
‫דצמבר ‪2012‬‬
‫צפנים בעל ייצוג דליל‪ :‬בניות וחסמים‬
‫ניטור פונקציות כלליות במערכות מבוזרות עם תקשורת‬
‫מינימלית‬
‫עילם תמר‬
‫אוקטובר ‪2000‬‬
‫יחסי גומלין בין עלות לאיכות ברשתות תקשורת‬
‫עירון נדב‬
‫ינואר ‪2001‬‬
‫למידה חישובית במודלים לסביבה רועשת‬
‫עמית נדב‬
‫ספטמבר ‪2014‬‬
‫הורדת התקורה של וירטואליזציה‬
‫פורן אריה‬
‫נובמבר‪2001‬‬
‫אלגוריתמים אופרטיביים חסרי המתנה למערכות‬
‫אסינכרוניות עם זיכרון משותף‬
‫פורן רועי‬
‫ינואר ‪2014‬‬
‫נושאים באופטימיזציה וחקירה של צורות‬
‫פז הראל‬
‫יולי ‪2006‬‬
‫ניהול זיכרון יעיל לשרתים‬
‫נושא העבודה‬
‫עקיבה ויזואלית בהקשר רחב באמצעות שילוב עוקבים‬
‫ושימוש ברמזים ברמה נמוכה‬
‫סוגיות חישוביות במדידת מספר עותקי דנ"א‬
‫ניתוח מבנה הקשרים וניהול מטמון תוצאות החיפושים‬
‫במנועי חיפוש ברשת האינטרנט‬
‫שיטות יעילות להערכת מספר הצמתים המושפעים‬
‫מאירוע ברשתות גדולות מאד‬
‫מנגנונים פנימיים וחיצוניים להרחבת שפות תכנות‬
‫רווח גבוה תמורת מחיר נמוך‪ :‬אלגוריתמי קירוב בגרפים‬
‫עם משקלים בצמתים‬
‫שירות חיפוש תוכן מוכוון צפיפות ברשתות אד‪-‬הוק ניידות‬
‫בעיות תיזמון וסדרות חלקות‬
‫למידת גרפים משאילתות אשר סופרות קשתות‬
‫שירותים הניתנים להרחבה לרשתות תקשורת רחבה‬
‫דינאמיות‬
‫תבניות פורמליות בתבניות ג'אווה‬
‫בדיקת תכונות וקירובים קומבינאטורים‬
‫מתאמי סכמות מסדר שני‬
‫מודלים סטוכסטיים לשרתי אינטרנט‬
‫תכן וניהול מערכות מבוזרות מורכבות‪ :‬היבטי‬
‫אופטימיזציה ותורת המשחקים‬
‫נושאים בניתוח של תנועה‬
‫שאלות‪ ,‬זמן וממשקי שפה טבעית לבסיסי נתונים עתיים‬
‫הנדסת תעבורה ברשתות מבוססות ‪ IP‬ו‪MPLS-‬‬
‫גנומיקה השוואתית‪ :‬ממיפוי מדויק למיון על‪-‬ידי היפוכים‬
‫ממושקלים ולפילוגנזות מסומנות על‪-‬ידי חזרות‬
‫מורפוזה של צורות לינאריות למקוטעין בעזרת ייצוגים‬
‫קמורים‬
‫ניווט מבוסס חיישנים המונע על‪-‬ידי מערכות ביולוגיות‬
‫‪39‬‬
‫מנחה‬
‫מיכאל לינדנבאום‬
‫זהר יכיני‬
‫שלמה מורן‬
‫ראובן כהן‬
‫יוסי גיל‬
‫ספי נאור‪,‬‬
‫יובל רבני‬
‫רועי פרידמן‬
‫עמי ליטמן‬
‫נאדר בשותי‬
‫עידית קידר‬
‫יוסי גיל‬
‫אלדר פישר‬
‫אביגדור גל‬
‫חגית עטיה‬
‫דני רז‪,‬‬
‫אריאל אורדע‬
‫אלפרד ברוקשטיין‬
‫נסים פרנסיז‬
‫ראובן כהן‬
‫רון פינטר‬
‫חיים גוטסמן‬
‫אהוד ריבלין‬
‫ישי יובל‪,‬‬
‫קושלביץ איל‬
‫מיכאל לינדנבאום‬
‫רון קימל‬
‫ספי נאור‪,‬‬
‫דני רז‪,‬‬
‫עדי רוזן‬
‫רוני רוט‬
‫אסף שוסטר‪,‬‬
‫דני קרן‬
‫שלמה מורן‪,‬‬
‫שמואל זקס‬
‫שי בן‪-‬דוד‬
‫אסף שוסטר‪,‬‬
‫דן צפריר‬
‫חגית עטיה‬
‫חיים גוטסמן‪,‬‬
‫גרשון אלבר‬
‫ארז פטרנק‪,‬‬
‫הלל קולודנר‬
‫דוקטור‬
‫שם‬
‫סיום לימודים‬
‫נושא העבודה‬
‫מנחה‬
‫פינקלשטיין לב‬
‫יוני ‪2005‬‬
‫תזמון לא מקוון של אלגוריתמים ברי פסיקה‬
‫שאול מרקוביץ'‪,‬‬
‫אהוד ריבלין‬
‫פישלזון מעין‬
‫דצמבר ‪2004‬‬
‫פלשטיין איל‬
‫אוגוסט ‪2002‬‬
‫פסקין ענת‬
‫דצמבר ‪2012‬‬
‫חישוב בטוח במינימום אינטראקציה‬
‫פצ'יוני דמיטרי‬
‫מרס ‪2009‬‬
‫פרוינד ארי‬
‫פברואר ‪2003‬‬
‫פרוטר מתן‬
‫אפריל ‪2011‬‬
‫תיאוריה ומעשה בלמידה טרנסדוקטיבית‬
‫אלגוריתמי קירוב מקוונים ובלתי מקוונים לבעיות שונות‬
‫של הקצאת משאבים ותזמונם ולבעיית החתך הרב‪-‬כיווני‬
‫עיבוד רצפים של תמונות ללא שערוך תנועה‬
‫פרידמן אריק‬
‫פרישמן יניב‬
‫צבי נגה‬
‫צ'וזוי יוליה‬
‫מרס‪2011‬‬
‫ינואר ‪2009‬‬
‫ספטמבר ‪2014‬‬
‫יולי ‪2004‬‬
‫ציבין יואב‬
‫אפריל ‪2004‬‬
‫צמח תמר‬
‫ינואר ‪2008‬‬
‫צנזור קרן‬
‫קוגן אלכס‬
‫קוטק תומר‬
‫ספטמבר ‪2010‬‬
‫אוקטובר ‪2012‬‬
‫יולי ‪2012‬‬
‫קונופניקי דוד‬
‫נובמבר ‪2001‬‬
‫קופרשטוק אהרן‬
‫קורן יאיר‬
‫קליאוט גבי‬
‫קניגסברג דן‬
‫אוקטובר ‪2000‬‬
‫יולי ‪2007‬‬
‫מרס ‪2009‬‬
‫יולי ‪2007‬‬
‫כריית מידע משמרת פרטיות‬
‫שיטות שיכון גרפים לויזואליזציה של מידע‬
‫ישומי קומבינטוריקה אדיטיבית בתורת הסיבוכיות‬
‫קושי של קירוב ומחלקות קירוב חדשות‬
‫אלגוריתמים יעילים לסביבת זמן הריצה של תוכניות‬
‫מונחות עצמים‬
‫חקירה של זרימות לא הומוגניות המושפעות מכוחות‬
‫סיבוב וכובד‬
‫שיטות הסתברותיות בחישוב מבוזר‬
‫שימוש יעיל במספר ממשקי רדיו ברשתות אלחוטיות‬
‫גדירות של פונקציות קומבינטוריות‬
‫אילוף ה‪ :WEB-‬שאילתות‪ ,‬אינטגרציה‪ ,‬ואפליקציות‬
‫מתקדמות למסחר אלקטרוני‬
‫שיכונים משופרים של רשתות חיבורים‬
‫שיטות מרובות סקלה לעיבוד תמונות‬
‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬
‫קלסיות וקוונטיות בעיבוד אינפורמציה קוונטית‬
‫קניזו יוסף חי‬
‫פברואר ‪2014‬‬
‫החלטות מהירות בהתקני רשת‬
‫קרני צחי‬
‫ספטמבר ‪2004‬‬
‫קרנין זהר‬
‫פברואר ‪2012‬‬
‫רביב דן‬
‫דצמבר ‪2012‬‬
‫רביץ דרור‬
‫נובמבר ‪2003‬‬
‫רדינסקי קירה‬
‫מרס ‪2013‬‬
‫רובינשטיין רן‬
‫פברואר ‪2012‬‬
‫רוכלנקו אולג‬
‫ינואר ‪2008‬‬
‫רוזנברג איל‬
‫יוני ‪2012‬‬
‫רונן רועי‬
‫נובמבר ‪2012‬‬
‫רוסמן גיא‬
‫רוסקוב דמיטרי‬
‫רוקנשטיין גיתית ז"ל‬
‫ינואר ‪2014‬‬
‫יוני ‪2004‬‬
‫ינואר ‪2002‬‬
‫רסמריצה שטפן‬
‫יוני ‪2003‬‬
‫גישת רב סוכן לבקרת מערכות מרובות רובוטים‬
‫רסקין ליאוניד‬
‫אוקטובר ‪2010‬‬
‫הורדת ממד לצורך עקיבה וניתוח אינטראקציות בין בני‬
‫אדם במרחב תלת ממדי‬
‫שגיא גיא‬
‫יולי ‪2012‬‬
‫שיטות גיאומטריות לעיבוד וניטור של מידע גדול ומבוזר‬
‫חישוב יעיל של הקשרים גנטיים עבור עצי משפחה‬
‫כלליים‬
‫ניתוב בר הרחבה ברשתות ‪ ATM‬היררכיות‬
‫עיבודים גיאומטריים של גופים תלת‪-‬ממדיים באמצעות‬
‫שיטות ספקטראליות‬
‫דה‪-‬רנדומיזציה של בעיות אלגבריות וגיאומטריות‬
‫בתיאוריית מדעי המחשב‬
‫שמורות מטריות של משטחים גמישים‬
‫שיטות קומבינטוריות ושיטות מבוססות תכנון לינארי‬
‫לפיתוח אלגוריתי קירוב‬
‫ללמוד לחזות את העתיד בעזרת הדינמיקה והידע ברשת‬
‫האינטרנט‬
‫מודלים דלילים של אנליזה וסינתזה בעיבוד תמונה‬
‫אלגוריתמים להתאמת גרפים מתויגים עם יישומים‬
‫לביולוגיה מערכתית‬
‫חסמים תחתונים ותוצאות מבניות בבדיקת תכונות של‬
‫מבנים קומבינטוריים צפופים‬
‫מודלים ושיטות לאפליקציות אינטרנט מתקדמות‬
‫ולאוטומציה ברשתות חברתיות‬
‫על פרמטריזציות טבעיות של מרחבי תנועה ומבנה‬
‫רשתות בייסיאניות‪ :‬בחירת מודלים ושימושים‬
‫אסטרטגיות בפענוח קודים אלגבריים לתיקון שגיאות‬
‫‪40‬‬
‫דן גייגר‬
‫ראובן כהן‬
‫יובל ישי‪,‬‬
‫איל קושלביץ‬
‫רן אל‪-‬יניב‬
‫ספי נאור‬
‫מיכאל אלעד‬
‫אסף שוסטר‬
‫איילת טל‬
‫אלי בן‪-‬ששון‬
‫ספי נאור‬
‫יוסי גיל‬
‫מריוס אונגריש‬
‫הדס שכנאי‬
‫רועי פרידמן‬
‫יוהן מקובסקי‬
‫עודד שמואלי‬
‫שמעון אבן‬
‫עירד יבנה‬
‫רועי פרידמן‬
‫טל מור‬
‫יצחק קסלסי‬
‫דוד חי‬
‫חיים גוסטמן‬
‫אמיר שפילקה‬
‫רון קימל‬
‫ראובן בר‪-‬יהודה‬
‫שאול מרקוביץ‬
‫מיכאל אלעד‬
‫רון פינטר‬
‫אלדר פישר‬
‫עודד שמואלי‬
‫רון קימל‬
‫דן גייגר‬
‫רוני רוט‬
‫מיכאל היימן‪,‬‬
‫אהוד ריבלין‬
‫מיכאל לינדנבאום‪,‬‬
‫מיכאל רודז'סקי‬
‫אסף שוסטר‪,‬‬
‫דני קרן‬
‫דוקטור‬
‫שם‬
‫סיום לימודים‬
‫שגין קונסטנטין‬
‫ספטמבר ‪2009‬‬
‫שוהם בוכבינדר שרון‬
‫ינואר ‪2009‬‬
‫שולדאה אוקטביאן‬
‫יולי ‪2006‬‬
‫הסק פונקציונלי בניתוח תמונות‬
‫שוורץ משה‬
‫שוורץ רועי‬
‫אפריל ‪2004‬‬
‫ינואר ‪2004‬‬
‫ריצופים‪ ,‬אנטיקודים‪ ,‬וקידוד רב‪-‬ממדי‬
‫שטוק יוסי‬
‫דצמבר ‪2012‬‬
‫שטיינפלד ישראל‬
‫דצמבר ‪2013‬‬
‫שיין שגיא‬
‫אפריל ‪2006‬‬
‫שיכמן מרסלו‬
‫שלום מרדכי‬
‫יוני ‪2003‬‬
‫מרס ‪2006‬‬
‫שלם מירית‬
‫אפריל ‪2013‬‬
‫שניר שגיא‬
‫ספטמבר ‪2004‬‬
‫שרפמן יצחק צחי‬
‫ינואר ‪2009‬‬
‫תמיר תמר‬
‫ספטמבר ‪2001‬‬
‫נושא העבודה‬
‫ביצוע של תוכניות ג'אווה על מספר רב של תחנות עבודה‬
‫לא ייעודיות‬
‫אבסטרקציה‪-‬עידון ומודולריות בבדיקת מודל של תחשי‬
‫ב‪-‬מיו‬
‫שיכונים מעגליים של גרפים‬
‫אלגוריתמים אדפטיביים לשחזור תמונה בטומוגרפיה‬
‫ממוחשבת‬
‫ניתוח נתונים ממחקרים המשלבים סוגים שונים של‬
‫מדידות כלל גנומיות‬
‫פונקציות בשלושה משתנים בגרפיקה ממוחשבת‪ ,‬מידול‬
‫גיאומטרי ודימות רפואי‬
‫תמיכה בשפה ובהוכחות להלבשות ואספקטים‬
‫בעיות תכנון אופטימלי ברשתות אופטיות‬
‫שאילתות חיפוש מורכבות במאגרי מידע הטרוגניים‬
‫נושאים חישוביים בשחזור עצים פילוגנטיים – פתרונות‬
‫אנליטיים לנראות מרבית וצביעה קמורה‬
‫גישה גיאומטרית לזיהוי תכונות גלובליות מעל מידע‬
‫מבוזר‬
‫בעיות הקצאת משאבים עם אילוצי סוגים‬
‫‪41‬‬
‫מנחה‬
‫אסף שוסטר‬
‫אורנה גרימברג‬
‫גרשון אלבר‪,‬‬
‫אהוד ריבלין‬
‫טובי עציון‬
‫ספי נאור‬
‫אלעד מיכאל‪,‬‬
‫ציבולבסקי מיכאל‬
‫זוהר יכיני‬
‫גרשון אלבר‬
‫שמואל כ"ץ‬
‫שמואל זקס‬
‫אסף שוסטר‪,‬‬
‫זיו בר‪-‬יוסף‬
‫בני שור‬
‫אסף שוסטר‬
‫הדס שכנאי‬