Transcript

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

2 2

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

4 4

5 תוכן העניינים עמוד 7 1. מבוא כללי 7 2. תוכניות ההשתלמות ושטחי המחקר 8 3. מידע על הרשמה לימודים לתואר מגיסטר (M.Sc.) 4.1 תנאי קבלה 4.2 דרישות הלימוד (בכל המסלולים למגיסטר) לימודים לתואר דוקטור (Ph.D.) 5.1 תנאי קבלה 5.2 מחקר 5.3 לימודים חברי הסגל ותחומי מחקרם 7. תחומי המחקר בפקולטה למדעי המחשב וחברי הסגל העוסקים בהם בוגרי תארים מתקדמים ונושאי מחקרם בפקולטה: מגיסטר דוקטור 5

6 6

7 .1 מבוא כללי מטרת חוברת זו להדריך את המשתלמים בפקולטה למדעי המחשב לתארים מגיסטר ודוקטור לקראת השלבים השונים בהשתלמותם. כל התקנות המופיעות בחוברת זו כפופות לתקנות בית-הספר לתארים מתקדמים, המופיעות בקטלוג הטכניון. החוברת מכילה את דרישות הקבלה ותוכניות הלימודים למסלולי מגיסטר ודוקטור, רשימת חברי הסגל ותחומי מחקרם, חלוקה של חברי הסגל לקבוצות מחקר, ורשימת הסטודנטים שסיימו את לימודיהם בפקולטה ב- 13 השנים האחרונות. קטלוג תארים מתקדמים. הקורסים הניתנים בכל סמסטר והסילבוס שלהם, של הפקולטה למדעי המחשב נמצא גם באתר האינטרנט של הפקולטה: באתר ניתן למצוא גם מידע מפורט יותר ועדכני על חברי הסגל, תיזות כמו כן ניתן לפנות אל מזכירות תארים מתקדמים בפקולטה: שהוגשו לימור גינדין, חדר 503, טל' , אנה קליינר, ירדנה קולט, חדר 505, טל' תוכניות ההשתלמות בשנים האחרונות, ושטחי המחקר וכן מידע רלוונטי נוסף. הפקולטה למדעי המחשב מציעה תוכניות השתלמות לתארים: "מגיסטר למדעים במדעי המחשב", "מגיסטר למדעים" ישיר לדוקטורט. ו"דוקטור לפילוסופיה". תלמידים מצטיינים יוכלו במהלך לימודיהם לתואר מגיסטר לעבור למסלול שטחי ההתמחות והמחקר בפקולטה הם: תורת האלגוריתמים (סדרתיים ומבוזרים, דטרמיניסטיים והסתברותיים) תורת הצפינה (הצפנת מקורות, הצפנת ערוצים וקודים לתיקון שגיאות) קריפטוגרפיה עיבוד אינפורמציה קוונטית תורת הסיבוכיות של חישובים לוגיקה במדעי המחשב מבני נתונים מסדי נתונים מודלים של מערכות מחשבים והערכת ביצועיהם למידה חישובית אנליזה נומרית תכנות מקבילי ומבוזר רשתות מיון וניתוב תכנון גיאומטרי מפרטים פורמליים למערכות אימות פורמלי של מערכות תוכנה וחומרה שפות תכנות הנדסת תוכנה סימולציה 7

8 תכנון ובדיקת מעגלי VLSI רשתות תקשורת מחשבים בלשנות חישובית בינה מלאכותית רשתות עצביות מערכות מומחה גיאומטריה חישובית גרפיקה ממוחשבת עיבוד תמונות דיגיטלי ראייה ממוחשבת רובוטיקה מערכות אירועים בדידים ביואינפורמטיקה בנוסף לאפשרויות המחקר התיאורטי בתחומים הנ"ל, יש בפקולטה מעבדות מחקר בנושאים: (Ph.D רובוטיקה ראייה ממוחשבת בינה מלאכותית עיבודים גיאומטריים גרפיקה ממוחשבת וחישוב גיאומטרי רשתות תקשורת מחשבים תכנון מעגלי VLSI מערכות תוכנה מערכות מחשבים עיבוד שפות טבעיות סייבר ואבטחת מידע למידה חישובית מידע וידע אחסון מידע וזיכרונות ביואינפורמטיקה עיבוד אינפורמציה קוונטית 3. מידע על הרשמה ההרשמה לכל תארי מגיסטר מתקיימת פעמיים בשנה: ההרשמה לסמסטר חורף (אוקטובר) מתקיימת בחודש אפריל הקודם לו, וההרשמה לסמסטר אביב (מרס) מתקיימת בנובמבר הקודם לו. לקראת מועדי ההרשמה מקיימת הפקולטה ימים פתוחים. מידע נוסף לגבי הימים הפתוחים ניתן לקבל במזכירות ובאתר הפקולטה:. ההרשמה לתוארי הדוקטור מתבצעת מספר פעמים בשנה. פרטים נוספים במזכירות. פירוט התאריכים מופיע באתר הפקולטה וניתן לקבל 8

9 4. לימודים לתואר מגיסטר (M.Sc.) הפקולטה למדעי המחשב מציעה תוכנית השתלמות לתואר "מגיסטר למדעים במדעי המחשב". ההשתלמות פתוחה לבוגרי תואר ראשון במדעי המחשב או תואר ראשון אחר. כמו כן מציעה הפקולטה השתלמות לתואר "מגיסטר למדעים" לבעלי תואר ראשון שאיננו במדעי המחשב (כגון מתמטיקה, פיזיקה, והנדסת חשמל). תנאי קבלה תנאי הקבלה למסלול לתואר "מגיסטר למדעים במדעי המחשב" למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במדעי המחשב או באחד המסלולים המשותפים למדעי המחשב ופקולטות אחרות (כגון, הנדסת מערכות מידע והנדסת מחשבים) אשר סיימו את לימודי התואר הראשון בהצטיינות. מועמדים למסלול זה שסיימו תואר ראשון במסגרות אחרות יחוייבו, במידת הצורך, בקורסי השלמה. הישגים מקצועיים של בעלי ניסיון מעשי, ניסיון במחקר, ומכתבי המלצה, יילקחו בחשבון בעת הדיון על הקבלה. מועמד שלא עומד בתנאי הקבלה רשאי לנסות לשפר את הישגיו במסגרת לימודים מתקדמים. לצורך זה עליו לתאם עם סגן דיקן לתארים מתקדמים את רשימת המקצועות שייקח, ואת רמת הציונים שעליו להשיג במקצועות אלה, בכדי להתקבל ללימודי תארים מתקדמים בפקולטה. ככלל, יתקבלו רק סטודנטים פנימיים (סטודנטים שמקבלים מלגה ומתרגלים). במקרים יוצאים מן הכלל תאושר השתלמות של סטודנטים חיצוניים (סטודנטים שאינם מקבלים מלגה). סטודנט מצטיין שסיים תואר ראשון בחוג ראשי מדעי המחשב בכל מוסד מוכר בארץ (פרט למכללות), לא יחוייב במקצועות השלמה. תוכנית הלימודים של בוגר מכללה אשר יתקבל תיקבע בהתאם לרקע שלו, ויתכן ויידרש לנקודות לימוד/השלמה נוספות תנאי הקבלה למסלול לתואר "מגיסטר למדעים" א. ב. למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במגמות מדעיות ומגמות הנדסיות שסיימו את לימודי התואר הראשון בהצטיינות. כדי להתקבל למסלול זה, על הסטודנט ליצור קשר עם חבר סגל בפקולטה, אשר ישמש מנחה מיועד. אין חובה להגיש הצעת מחקר עם הקבלה. תוכנית הלימודים לכל סטודנט תיקבע בתיאום בין המנחה המיועד ומרכז הוועדה לתארים מתקדמים, ותאושר על-ידי הוועדה לתארים מתקדמים באמצעות ועדת הקבלה. התוכנית תכלול: נקודות תארים מתקדמים: 18 נקודות עבור בוגרי תוכנית ארבע-שנתית, 36 נקודות עבור בוגרי תוכנית תלת-שנתית. תוכנית השלמה על-פי הצורך קבלה ללימודים לתואר שני כסטודנט חיצוני א. ב. סטודנט חיצוני הוא סטודנט המתקבל ללימודים כסטודנט מן המניין, אך ללא מלגה. משתלם חיצוני לתואר שני חייב בנוכחות של לפחות יומיים בשבוע בפקולטה למשך שנה. סטודנט יכול להתקבל כחיצוני בתנאים (א) או (ב) הבאים: בקשת הקבלה של הסטודנט תוגש יחד עם הצעת מחקר. באישור הצעת המחקר על-ידי הוועדה לתארים מתקדמים. 9 במקרה זה הקבלה ללימודים תהיה מותנית סטודנט מצטיין שממוצע הציונים שלו הוא באופן משמעותי מעל סף הקבלה, או סטודנט בעל הצטיינות מקצועית מוכחת שתיבדק על-ידי ועדת קבלה מתאימה. סטודנט חיצוני יתחייב לעבוד מחוץ לפקולטה שלושה ימים בשבוע לכל היותר (באישור המעביד), ולעמוד לרשות הפקולטה כמתרגל (בהיקף מלא) במידת הצורך. במקרה של סטודנט מצטיין במיוחד, אשר אינו יכול לקיים את התנאים הנ"ל, תוכל הוועדה לתארים מתקדמים, למרות האמור לעיל, לשקול את קבלתו ללימודים. התרשימים בעמודים הבאים מפרטים את דרישות הקבלה לתואר שני.

10 תנאי קבלה לתואר מגיסטר התחל חשב את ציונך המשוקלל* (ראה מסגרת למטה) למדת במוסד מוכר בארץ וציונך המשוקלל הינו מעל לסף הקבלה? כן לא לרוב לא ניתן להתקבל במצב זה. במקרים חריגים (כגון, אם עסקת במחקר או שיש עדויות אחרות לאפשרות להצטיין במחקר) - אנא פנה לייעוץ אצל סגן הדיקן לתארים מתקדמים. הינך בעל תואר ראשון במדעי המחשב, או באחד המסלולים המשותפים למדעי המחשב ופקולטות אחרות? לא עבור לעמוד הבא. כן תהיה נוכח בפקולטה לפחות חמישה ימים בשבוע למשך ההשתלמות? כן נשקול את קבלתך כסטודנט עם מלגה. תתרגל בהיקף מלא. אנא הירשם ללימודים באתר הטכניון. לא אפשרות זו פתוחה רק בפני סטודנטים מצטיינים במיוחד. האם הינך מצטיין א' המשרת בצה"ל או האם הינך מצטיין ב'? כן לא לרוב לא ניתן להתקבל במצב זה. במקרים חריגים (כגון, אם עסקת במחקר או שיש עדויות אחרות לאפשרות להצטיין במחקר) - אנא פנה לייעוץ אצל סגן הדיקן לתארים מתקדמים. נשקול את קבלתך כסטודנט חיצוני*. אנא הירשם ללימודים באתר הטכניון. הציון המשוקלל מחושב כדלקמן: ציון תואר ראשון עד 4 נקודות אם יש לך סף הקבלה - ציון ממוצע 86 (בקירוב) בטכניון או רמת הישגים דומה באוניברסיטה אחרת מצטיין א' - ציון ממוצע 91 בטכניון או רמת הישגים דומה באוניברסיטה אחרת מצטיין ב' - ציון ממוצע 92 בטכניון או רמת הישגים דומה באוניברסיטה אחרת * סטודנט חיצוני - סטודנט שאינו נמצא זמן מלא בטכניון במהלך התואר הערה: ועדת הקבלה רשאית להחליט לא לקבל סטודנט למרות שהישגיו עומדים בתנאי הקבלה. 10

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

12 4.2 דרישות הלימוד (בכל המסלולים למגיסטר) במסגרת הלימודים לתוארי המגיסטר השונים על הסטודנט לסיים מספר קורסים כמפורט לעיל, ולבצע עבודת מחקר או עבודת גמר בהנחיית מנחה מבין חברי הסגל של הפקולטה. סטודנטים שנקבעה להם תוכנית השלמה חייבים להשלים גם את תוכנית ההשלמה. קדמים לקורסים אינם נכפים על סטודנטים לתארים מתקדמים אבל במקרה שסטודנט לוקח קורס ללא הקדמים הרשמיים שלו, מוטלת עליו האחריות להשלים את הידע הדרוש לצורך הבנת החומר בקורס. לצורך הנחיית התיזה, יהיה על הסטודנט ליצור קשר עם חבר סגל בפקולטה, המתמקד בשטחי התעניינותו. במקרים מיוחדים, בתיאום עם ועדת תארים מתקדמים ובאישורה מראש, יכול המנחה להיות מורה נלווה או חבר סגל מפקולטה אחרת בטכניון. משתלם חיצוני אינו יכול לבחור כמנחה מורה נלווה או חבר סגל מפקולטה אחרת. המחקר יכול להיות תיאורטי או פרוייקט הנדסי מתקדם. במקרים מסויימים ניתן להחליף את התיזה בעבודת גמר. במקרה כזה יש צורך לצבור שמונה נקודות לימוד נוספות תוכנית הלימודים לבוגרי תואר תלת-שנתי בוגרי תוכניות תלת-שנתיות חייבים לצבור 36 נקודות של תארים מתקדמים. במסגרת 18 הנקודות הראשונות על המשתלם לבחור לפחות ששה מקצועות של הפקולטה למדעי המחשב, מתוך לפחות ארבע קבוצות שונות מבין 12 הקבוצות של מקצועות הבחירה במסלול הארבע-שנתי (שאינם פרוייקטים, נושאים מתקדמים או סמינרים). ניתן להחליף מקצועות הרשומים בקבוצות שלהלן במקצועות מקבילים או דומים הניתנים על-ידי הפקולטה להנדסת חשמל. מותר למשתלם לבחור מקצועות הסמכה של מדעי המחשב הנמצאים ברשימות, כל עוד יעמוד במגבלת מקצועות ההסמכה המותרים לו. הקבוצות הן:.1 סיבוכיות של חישובים מס' מקצוע תורת האלגוריתמים מס' מקצוע שם המקצוע מבוא לתורת הצפינה תורת הסיבוכיות שיטות אלגבריות במדעי המחשב אלגוריתמים 2 שיטות הסתברותיות ואלגוריתמים עקרונות ניהול מידע חסר ודאות קריפטוגרפיה וסיבוכיות סיבוכיות תקשורת אלגוריתמי קירוב מבוא לקידוד רשת, חסמים ובניות למידה חישובית שם המקצוע שיטות אלגבריות במדעי המחשב אלגוריתמים מבוזרים א' אלגוריתמים 2 אלגוריתמי קירוב שיטות בניתוח של אלגוריתמים גיאומטריה חישובית אלגוריתמים מבוזרים ב' למידה חישובית גיאומטריה אלגוריתמית דיסקרטית יסודות אלגוריתמיים למידע מאסיבי נקודות נקודות 12

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

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

15 את יתרת 18 הנקודות יהוו קורסי התמחות בנושא המחקר המוצע, בהתאם לתוכנית שהתקבלה על דעת הסטודנט והמנחה. ניתן לקחת עד 3 סמינרים ונושאים מתקדמים לפני אישור נושא המחקר. שני המקצועות הבאים הם מקצועות חובה. סטודנטים אשר לא למדו במסגרת התואר הראשון את הקורסים: מבנה מחשבים ספרתיים תורת החישוביות חייבים ללמוד אותם במסגרת תארים מתקדמים (נקודות הזיכוי תחשבנה לתואר). יש ללמוד לפחות 6 נקודות לאחר שאושר נושא המחקר. מקצועות הלימוד יאושרו על-ידי המנחה או על-ידי המנחה הזמני. במקרים מיוחדים - בהמלצת המנחה וסגן הדיקן לתארים מתקדמים - ניתן ללמוד עד 6 נקודות מקצועות הסמכה. סטודנטים שאופי התמחותם בינתחומי, יוכלו, באישור מיוחד של סגן הדיקן, ללמוד עד 10 נק' ממקצועות הסמכה תוכנית הלימודים לבוגרי תואר ארבע-שנתי הסטודנט חייב לצבור יהיו בקורסי 18 תארים מתקדמים נקודות במקצועות של של מדעי המחשב, תארים מתקדמים. ככלל, מרבית הנקודות שייצברו או מקצועות מקבילים או דומים של הפקולטה להנדסת חשמל. בחירת המקצועות הללו תיעשה בתיאום עם המנחה הקבוע (או המנחה הזמני). הסטודנט חייב ללמוד לפחות 6 נקודות לאחר קביעת נושא המחקר. המקצועות הבאים הם מקצועות חובה. סטודנטים שלא למדו במסגרת התואר הראשון את הקורסים: מבנה מחשבים ספרתיים תורת החישוביות חייבים ללמוד אותם במסגרת לא תחשבנה במסגרת 18 "מבנה מחשבים ספרתיים" תארים מתקדמים נקודות הלומדים לתארים ארבע-שנתיים התואר הראשון). תארים מתקדמים בתואר ראשון יידרש ל- 21 והמתכוונים (נקודות הזיכוי להירשם של הקורס הנדרשות לתואר, נק' "מבנה מחשבים ספרתיים" כלומר, במסגרת התואר השני. לתואר שני, סטודנט שלא למד מומלץ לסטודנטים ללמוד קורס זה עוד במהלך תוכנית הלימוד לסטודנטים משלימים סטודנט יזוכה בנקודות (קידומת 236 ומעלה), א. ב. תארים מתקדמים עבור מקצועות השלמה ברמה של תארים מתקדמים במידה ויעבור אותם בציון סביר. סטודנט יוכל לקבל פטור ממקצוע השלמה אם: למד מקצוע דומה או מתקדם באותו שטח (גם במסגרת מוסד אקדמי אחר). קיבל פטור ממורה המקצוע. מקצועות ההשלמה ייקבעו לכל סטודנט עם קבלתו ללימודים מתוך הרשימה הבאה: 15

16 מקצוע מתמטיקה מס' הקורס שם הקורס חשבון אינפיניטסימלי 1 מ' חשבון אינפיניטסימלי 2 מ' אלגברה א' או אלגברה מודרנית ח' נקודות * * מדעי המחשב אנליזה נומרית הסתברות מ' מבוא לתכנות מערכות (מת"מ) מבנה נתונים 1 אלגוריתמים 1 לוגיקה ותורת הקבוצות למ"מ מערכות הפעלה מבנה מחשבים ספרתיים (ממ"ס) תורת החישוביות תורת הקומפילציה הסטודנטים יוכלו לקחת קורסים אלה ללא דרישה לעמידה בדרישות הקדם שלהם. יש לעבור את מקצועות ההשלמה בממוצע של 88, וכל מקצוע בציון של לפחות 80. סטודנט יזוכה בנקודות תארים מתקדמים עבור מקצועות ההשלמה המסומנים בכוכב. עם סיום מקצועות ההשלמה, תוך עמידה בסף יאשר הנדרש, סגן הדיקן את מעבר הסטודנט לתוכנית הלימודים הרגילה לתואר מגיסטר (התוכנית לבוגרי תואר תלת-שנתי או התוכנית לבוגרי תואר ארבע-שנתי). לימודים לתואר דוקטור (Ph.D.) תנאי הקבלה כללי המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית. הסטודנט יכין חיבור מדעי מקיף, המבוסס על המחקר שהוא ביצע. המחקר אמור לקדם את הידע בשטח ההשתלמות, ולהיות ראוי לפרסום בעיתונות המקצועית הגדרת סוגי הסטודנטים מועמד העומד בדרישות הפורמליות של בית-הספר לתארים מתקדמים לקבלה ללימודי תואר שלישי או העומד לסיים את לימודיו לתואר שני ומעוניין להתקבל ללימודי תואר שלישי, יפנה בעניין זה לוועדה לתארים מתקדמים לצורך הרישום. סטודנט יכול להתקבל כסטודנט משלים או כסטודנט מן המניין. הסטטוס של סטודנט משלים נותן למועמד זמן של סמסטר אחד כדי להשלים את התנאים לקבלה כסטודנט מן המניין, כמתואר בסעיף בתקנות ביה"ס לתארים מתקדמים. באותה עת הוא יכול להיות מלגאי בפקולטה. ככלל, על הסטודנט להיות משתלם פנימי בפקולטה בהיקף מלא במשך שנה אחת לפחות במהלך תקופת השתלמותו בקשת קבלה סטודנט המבקש להתקבל ללימודי דוקטורט יגיש לפחות שלושה מכתבי המלצה על טפסים סטנדרטיים שיסופקו על-ידי הפקולטה. רצוי מאוד שלסטודנט יהיה מנחה, ושיגיש הצעה לנושא מחקר. עליו לציין באיזה שטח בכוונתו לערוך את מחקרו. 16

17 5.1.4 ועדת קבלה במידה ולסטודנט אין מנחה והצעת נושא מחקר, תשקול ועדת תארים מתקדמים את העברת הדיון בקבלתו לוועדת קבלה. ועדת הקבלה תהיה מורכבת משלושה חברי סגל, מהם לפחות אחד מחברי הוועדה לתארים מתקדמים, ותגיש המלצתה לוועדת תארים מתקדמים. ועדת הקבלה רשאית לזמן אליה את הסטודנט לראיון ו/או לבחון את כישוריו בדרך אחרת תנאי קבלה מועמד יתקבל כסטודנט מן המניין לתואר דוקטור, אם ימלא אחר התנאים הבאים: א) ב) ג) ד) יעמוד בכל הדרישות הפורמליות של בית-הספר לתארים מתקדמים. יתקבל על-סמך המלצה של ועדת קבלה, ויעמוד בהצלחה בדרישות ועדת הקבלה. יעמוד בדרישות אחרות (כגון במקרים של שינוי שטח), עליהן תחליט הוועדה ללימודי תארים מתקדמים של הפקולטה בעת הדיון בבקשתו של הסטודנט. יקבל אישור דיקן בית-הספר לתארים מתקדמים. מועמד שלא עומד בסעיף א) יכול להתקבל כסטודנט משלים למשך סמסטר אחד. במשך סמסטר זה, עליו לעמוד בכל הדרישות שיאפשרו שינוי מעמדו לסטודנט מן המניין מסלול ישיר לדוקטורט סטודנטים מצטיינים, הלומדים לקראת תואר מגיסטר, יכולים לעבור למסלול לימודים ישיר לקראת תואר דוקטור. אם התקיימו התנאים למעבר כזה (על-פי סעיף בתקנות בית-הספר לתארים מתקדמים), יפנה הסטודנט, בהמלצת המנחה ובצירוף המלצה נוספת, לוועדה לתארים מתקדמים. 5.2 מחקר כללי המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית. הסטודנט יכין חיבור מדעי מקיף, המבוסס על המחקר שהוא ביצע. המחקר אמור לקדם את הידע בשטח ההשתלמות, ולהיות ראוי לפרסום בעיתונות המקצועית מנחה ונושא המחקר על כל סטודנט למצוא מנחה, ולהגדיר נושא מחקר בתוך סמסטר אחד ממועד קבלתו. משתלם חיצוני אינו יכול לבחור מנחה שהוא מורה נלווה בחינת מועמדות לקראת סיום שנת ההשתלמות הראשונה, על הסטודנט להגיש תוכנית מחקר המתארת את הישגיו עד זמן ההגשה, ואת תוכניותיו להמשך המחקר. תוכנית זו אמורה להיות מאושרת על-ידי המנחה והוועדה, ומשמשת בסיס ל"בחינת המועמדות". 5.3 לימודים נקודות החל מסמסטר א' תשע"א דוקטורנטים נדרשים ללמוד: - קורסים לתארים מתקדמים (או משותפים הסמכה/תארים מתקדמים) בהיקף של 12 נקודות לפחות. - סטודנטים במסלול הישיר לדוקטורט יידרשו ל- 6 נקודות יותר מדרישת הנקודות שלהם למגיסטר. 17

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

19 .6 חברי הסגל ותחומי מחקרם מידע נוסף על חברי הסגל ופרסומיהם ניתן לקבל בדפי הסגל, באתר הפקולטה: אונגריש מריוס, פרופסור סימולציות וחישובים בדינמיקה של זורמים; אלגוריתמים נומריים מקביליים עבור התיאוריה של זרימות דו-פאזיות וסובבות; אנליזה נומרית. "מחשבי על", אורנן עוזי, פרופסור/אורח עיבוד שפות טבעיות ; בלשנות עברית ממוחשבת בתחומי פונולוגיה; מורפולוגיה; תחביר וסמנטיקה. תרגום מכני, מנועי חיפוש, זיהוי דיבור. אילון ניר, פרופסור חבר למידה ממוחשבת וסטטיסטיקה, ויישומים, סיבוכיות. אלגוריתמי אופטימיזציה קומבינטורית ממד הורדת וקרוב, אלגוריתמית איתי אלון, פרופסור אמריטוס מבני נתונים אלגוריתמים דטרמיניסטים ורנדומיאליים; אלגוריתמים לזיכרון היררכי; שיטות סטטיסטיות "לעיבוד שפות טבעיות. אל-יניב רן, פרופסור חבר למידה סטטיסטית ולמידת מכונה, דחיסה ומיצבור מידע. שימושים לאיחזור, סיווג וכריית מידע טקסטואלי, ביולוגי, מוזיקלי ותמונות. תיאוריה ושימושים של אלגורתמים מקוונים. חישוביות בתחום המימון ובפרט, אלגוריתמים לבחירת תיקי השקעות. אלבר גרשון, פרופסור תיכון גיאומטרי בעזרת מחשב; מידול גופים; גרפיקה ממוחשבת. אלעד מיכאל, פרופסור עיבוד אותות, תמונות, וראייה ממוחשבת. שיטות מתמטיות לייצוג תמונות, ושיטות נומריות לפתרון בעיות ""בעיבוד תמונות. ביהם אלי, פרופסור קריפטולוגיה וקריפטאנליזה, קריפטוגרפיה סימטרית, חישוב וקריפטוגרפיה קוונטיים. בן-חן מירלה, פרופסור משנה גרפיקה ממוחשבת, עיבוד גיאומטריה, גיאומטריה דיפרנציאלית דיסקרטית, ניתוח והבנת צורות. בן-ששון אלי, פרופסור מורכבות חישובים; מורכבות הוכחות; אנליזה של אלגוריתמים להכרעת ספיקות אלגוריתמים תת-לינאריים לבדיקת הוכחות וצפנים לתיקון שגיאות. מעגלים; בר-יהודה ראובן, פרופסור אופטימיזציה קומבינטורית: אלגוריתמים מבוזרים. אלגוריתמי שיבוץ, גיאומטריה חישובית, אלגוריתמים בתורת הגרפים, 19

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

21 יעקובי איתן, פרופסור משנה תורת האינפורמציה ותורת הצפינה עם אפליקציות עבור זכרונות מחשב, איחסון ואחזור מידע; תורת ההצבעות. זכרונות אסוציאטיביים, ישי יובל, פרופסור קריפטוגרפיה, תורת הסיבוכיות. כהן ראובן, פרופסור ארכיטקטורה ופרוטוקולים של רשתות מחשבים: רשת האינטרנט, רשתות אלחוטיות, רשתות רשתות גישה רחבות סרט, רשתות סנסורים, פרוטוקולי ניתוב, פרוטוקולי MAC ופרוטוקולי תובלה. סלולאריות, כוכבי צבי, פרופסור אמריטוס מודלים חישוביים; מיתוג ואוטומטים; אמינות ושיטת בדיקה של מערכות ספרתיות. כ"ץ שמואל, פרופסור אמריטוס אימות תוכניות; תיאורי דרישות פורמליים; פיתוח תוכנה מונחה אספקטים; מערכות מבוזרות; לוגיקה טמפורלית; שפות תכנות; הנדסת תוכנה. ליטמן עמי, פרופסור חבר בגימלאות אלגוריתמים מקביליים; רשתות קבועות-קשר; רשתות ניתוב; מערכות סיסטוליות;.VLSI לינדנבאום מיכאל, פרופסור ראיית מכונה ועיבוד תמונות; למידה; כימות וחיזוי ביצועים עבור מערכות לזיהוי עצמים ולקיבוץ.(grouping) למפל אברהם, פרופסור אמריטוס שימושים של מתמטיקה דיסקרטית למדעי המחשב ולתורת האינפורמציה. מור טל, פרופסור חבר עיבוד אינפורמציה קוואנטית אינפורמציה קוונטית. (תיאוריה): קריפטולוגיה, חישוב, אינפורמציה, תקשורת. מימוש עיבוד מורן שלמה, פרופסור אמריטוס היבטים אלגוריתמיים בביולוגיה חישובית (עם דגש על עצים פילוגנטיים), קומבינטוריקה ותורת הגרפים. מנדלסון אבי, פרופסור אורח ארכיטקטורות מחשבים מערכות הטרוגניות,,System-on-Chip ניהול אנרגטי, מערכות חסינות נפילות ו- GPGPU ; מערכות הפעלה עבור System-on-Chip ומערכות הטרוגניות; מערכות זמן אמת WCET עבור מערכות בדידות ומערכות מרובות מעבדים; מערכות הפעלה למערכות זמן אמת,,mix-criticality וניהול אנרגטי של מערכות זמן אמת. מקובסקי יוהן, פרופסור אמריטוס לוגיקה וסיבוכיות, סיבוכיות מעל הממשים, קומבינטוריקה אלגברית. מרקוביץ שאול, פרופסור מערכות לומדות ; בינה מלאכותית; חיפוש יוריסטי; חיפוש בעצי משחק; למידה בסביבה מרובת סוכנים. 21

22 נאור ספי (יוסף), פרופסור אלגוריתמים דיסקרטיים עם דגש על אלגוריתמי קירוב; אלגוריתמים ברשתות תקשורת. אלגוריתמים מקוונים ואלגוריתמים הסתברותיים; סידי אברהם, פרופסור אמריטוס קרובי ;Padé היפוך מקורב של טרנספורמי לפלס; האצת התכנסות ושיטות אכסטרפולציה לסדרות סקלריות ווקטוריות; אינטגרציה נומרית; פתרון נומרי למשוואות אינטגרליות סינגולריות ובעלות סינגולריות חלשה; קירובים אכספוננציאליים, שיטות אסימפטוטיות; אלגברה ליניארית נומרית. עטיה חגית, פרופסור תיאוריה של מערכות מבוזרות: אלגוריתמים, חסמים תחתונים ומודלים, אמינות; אלגוריתמים לרשתות תקשורת ; מערכות מרובות-מעבדים. עציון טובי, פרופסור תורת הצפינה ; סדרות ספרתיות בתקשורת וצפינה; אלגוריתמים ובניות קומבינטוריות. עציון יואב, פרופסור חבר ארכיטקטורה של מעבדים, מערכות מחשב ועיבוד מקבילי, ממשק חומרה/תוכנה, מערכות הפעלה, מודלי חישוב מקביליים, חישוב עתיר ביצועים. פז עזריה, פרופסור אמריטוס תורת האלגוריתמים (אלגבריים, הסתברותיים), אנליזה שלהם וקירובים; מתמטיקה חישובית דיסקרטית ; אלגוריתמים בשלמים ; תורת האוטומטים; שפות פורמליות (דטרמנסטיות והסתברותיות); גרפואידים: איפיון אי-תלות במערכות ידע. פטרנק ארז, פרופסור אלגוריתמים מקביליים: תיאוריה ומעשה, ניהול זיכרון במחשב ובמיוחד עבור מערכות מקביליות וארכיטקטורות מודרניות, מערכות הפעלה, שפות תיכנות. פילמוס יובל, מרצה בכיר סיבוכיות חישובית, סיבוכיות הוכחות, אנליזה של פונקציות בוליאניות, קומבינטוריקה. פינטר רון, פרופסור ביואינפורמטיקה; מיחשוב על; שפות תכנות; קומפילציה; תכנון אוטומטי של מעגלים משולבים; איחזור, ארגון ומיזוג מידע. פישר אלדר, פרופסור חבר יעילות של חישובים, בעיקר בדיקה הסתברותית של תכונות, היסקים סטטיסטיים, ואימות הסתברותי של הוכחות; קומבינטוריקה: בעיקר תורת הגרפים, רגולריות במבנים קומבינטוריים, ויישומיהן ליעילות של חישובים; לוגיקה במדעי המחשב: איפיון לוגי של תכונות שיש עבורן אלגוריתמים יעילים או שמתקיימים עבורן תנאים קומבינטוריים חזקים פרידמן רועי, פרופסור מערכות מבוזרות; תקשורת קבוצתית; מערכות תווכה.NET ו- CORBA ; אשכולות מחשבים; אפליקציות מולטימדיה מבוזרות, חישוב נייד. פרנסיז נסים, פרופסור אמריטוס ראשי: בלשנות חישובית, דקדוקי קטגוריות, סמנטיקה פורמלית של שפות טבעיות, דקדוקי יוניפיקציה (האחדה) תחשיב - λ וטיפוסים, ותורת ההוכחה. משני: סמנטיקה של שפות תכנות, אימות תוכניות, תכנות מקבילי ומבוזר, תכנות לוגי פרולוג. צנזור-הלל קרן, פרופסור משנה חישוב מבוזר, במיוחד אלגוריתמים הסתברותיים וחסמים תחתונים, ותיאוריה של מדעי המחשב בכלל. 22

23 צפריר דן, פרופסור חבר מערכות הפעלה, מערכות מקביליות, בטיחות, הערכת ביצועים. קושלביץ איל, פרופסור פרוטוקולים קריפטוגרפיים ופרטיות במערכות מבוזרות; סיבוכיות וסיבוכיות-תקשורת. תורת הלמידה; אקראיות במערכות מבוזרות; קימל רון, פרופסור עיבוד תמונות, ראייה ממוחשבת, ניתוח תמונות רפואיות, ניווט רובוטים, גרפיקה ממוחשבת, גיאומטריה דיפרנציאלית, חישוב מדעי, למידה. קימלפלד בני, פרופסור חבר מערכות ותיאוריה של מסדי נתונים, אחזור, חילוץ וכריית מידע, מסדי נתונים הסתברותיים, ניהול מידע חסר עקביות. קמינסקי מיכאל, פרופסור לוגיקה במדעי המחשב; אוטומטים סופיים; סיבוכיות של חישובים אלגבריים. קנטרוביץ' אליעזר, פרופסור חבר בגימלאות הנדסת תוכנה, מנשקי משתמש, תכנות מוטה רכיבים, מנשקים סמנטיים, אמידה סטטיסטית של מספר הפגמים בתוכנה. תכנות באינטרנט,רכיבי תוכנה עם רוט רוני, פרופסור צפינת ערוץ ; תורת האינפורמציה; אלגברה ושימושיה בצפינה ובסיבוכיות. רז דני, פרופסור תיאוריה ויישום של בעיות הקשורות לניהול רשתות תקשורת מחשבים בעיקר בתחום ה- IP. במיוחד: רשתות אקטיביות Networks) ;(Active בעיות מיקום שרתים; תיאוריה של ניהול רשתות תקשורת, תקשורת אלחוטית ובעיות אופטימיזציה שונות. ריבלין אהוד, פרופסור ראייה ממוחשבת; עיבוד תמונה; וראייה ממוחשבת. רובוטיקה; בינה מלאכותית; בסיסי נתונים עם תמונות; גרפיקה הגיאומטריה של מרחבים אלגוריתמי קירוב, אופטימיזציה קומבינטורית, שוורץ רועי, מרצה בכיר תכנון וניתוח אלגוריתמים, מטריים ושימושיה האלגוריתמיים, אופטימיזציה סבמודולרית, ואלגוריתמים רנדומיים. שוסטר אסף, פרופסור חישוב מקבילי ומבוזר. שכנאי הדס, פרופסור אלגוריתמים לבעיות באופטימיזציה קומבינטורית, בפרט לבעיות אריזה, תזמון והקצאת משאבים עם יישומים במערכות מידע ותקשורת. אלגוריתמים אקראיים; אלגוריתמים פרמטריים ושימושיהם במציאת פתרונות מקורבים; חישוב מקבילי. שלומי תומר, פרופסור חבר ביואינפורמטיקה; אנליזה של רשתות ביולוגיות: מידול מבוסס אילוצים של רשתות מטבוליות; אנליזה של רשתות אינטרקציה בין חלבונים. שמואלי עודד, פרופסור מערכות מסדי נתונים: אספקטים תיאורטיים של ביצוע שאילתות במסדי נתונים יחסיים, במסדים מבוססי XML ובמסדי נתונים מבוססי לוגיקה ;(Datalog) אספקטים מערכתיים: איחסון פיזי, בקרת מקביליות, התאוששות מנפילות, שכפול וביזור; שאילתות על ה- WWW ; מסחר אלקטרוני; משא ומתן אוטומטי. 23

24 .7 תחומי המחקר בפקולטה למדעי המחשב את כל תחומי המחקר בפקולטה ניתן למצוא באתר הפקולטה: מחקר קבוצות של תיאוריה מדעי המחשב מערכות בינה מלאכותית מערכות וחישוב נבונות מדעי מחקר בין--תחומי 24

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

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

27 8. בוגרי תארים מתקדמים במדעי המחשב ונושאי מחקרם, מגיסטר שםם אבידור צבי סיום לימודים ינואר 2004 נושא העבודה הסכמת קבוצה- N כאשר הקלטים מוגבלים יציאת שגיאות יציבות מספריות נדירות בחישובים מקבילים מידול וחיקוי עם מוטיבציה ביולוגית של מערכת הראייה של הזיקית תבנית חדשה לצפני בלוקים סימטריים כריה סטטית של דפוסי מקביליות נפוצים על תיקונים חלקיים של באגים והאינטואיציה של מפתחים לגביהם אחזור מידע מבוסס-מושגים תוך שימוש בניתוח סמנטי מפורש חיזוי קצבי גידול במיקרואורגניזמים בעזרת רשת מטבולית בשילוב פרמטרים קינטיים אינזימטיים הפחתת דרישות הזיכרון לאיחסון בסיסי נתונים תבניתיים זיהוי מוטיבים ברשימות מדורגות של רצפי דנ"א ייצוג אנליזה וסינתיזה של תמונות באמצעות הורדת ממד בעיות הקשורות לסכום-ישר בסיבוכיות תקשורת אנליזה חישובית של התנהגות ביולוגית: אינטראקציה בין שליטה על מבט וקשב חזותי למידת אוטומטים סופיים, בעזרת שאילתות שיוך לא מושלמות אכיפה מבוזרת של מדיניות אבטחה במערכות מבוזרות כיסוי מרחבים רציפים על ידי מערכות רב סוכניות בדיקת מודל חסומה ללוגיקת זמן מסתעף שילוב דורות באלגוריתמים מוני התייחסות לניהול זיכרון אוטומטי תכנות יישומים מעל רשת האינטרנט הסמנטית שיפור מהירות במערכות מרובות-מעבדים עבור חישוב ישיגות מקבילית שימוש בכתוביות סרטים ליצירת מודלים ליישור סטטיסטי מנחה חגית עטיה ערן יהב, חנה צ'וקלר אהוד ריבלין אלי ביהם, אור דונקלמן ערן יהב יוסי גיל שאול מרקוביץ' תומר שלומי שאול מרקוביץ', אריאל פלנר זהר יכיני מיכאל אלעד, רון קימל איל קושלביץ אהוד ריבלין אוקטובר 2013 נובמבר 2006 אוגוסט 2012 מרס 2016 אוקטובר 2013 מרס 2010 אוקטובר 2011 ספטמבר 2005 אפריל 2007 ינואר 2004 פברואר 2015 יולי 2007 יוני 2003 ינואר 2008 יוני 2007 ספטמבר 2008 אוגוסט 2003 אוקטובר 2012 אפריל 2005 מרס 2008 סימולטור תחושתי בזמן אמת עבור פרוצדורות כירורגיות איפיון וחישוב של גרירות טווח תזמון גישות לזיכרון משותף על-ידי בורר ערוץ בודד: עיון נוסף בבעיית k -הלקוחות הוכחת סיום הדדי של תוכניות ניטור יעיל של פרמטרי איכות השירות ברשתות תקשורת ניתוח תכונות וזיהוי אוטומטי לסוגי אספקטים נושאים מתקדמים בשיטוח משטחים בעזרת FMMTD ו- MDS תכנון מוגדר אי-שלילית מקוון מערכת מומחה בתרגומים בין כלים פורמליים לבדיקת מערכות ב- VeriTech מידול גיאומטרי מרחוק מחקר אמפירי של אסטרטגיות פרישת אובייקט ושיטות אופטימיזציה מיפוי טקסטורה תוך שימוש בפרמטריזציה עם אילוצים חסמים תחתונים על הסיבוכיות של מכפלת פולינומים מעל שדות סופיים מחקר בנושאים עיוניים ומעשיים של חיזוי סדרות אלגוריתמי קירוב עבור בעיות תזמון והקצאת משאבים מעבר אופטימלי על פוליגונים של רשתות פוליגונליות פרגרסיביות תוך שימוש במטמון של קודקודים חסמים תחתונים ועליונים על סיבוכיות מבני נתונים חסרי זיכרון פיתוח מאמן שייט אוטונומי מרס 2010 דצמבר 2003 מרס 2001 יוני 2914 אוקטובר 2004 דצמבר 2010 נובמבר 2002 ספטמבר 2015 כוונה יעילה לחיפוש שאילתות נאדר בשותי דני רז אלפרד ברוקשטיין אורנה גרימברג ארז פטרנק ירון קנזה אורנה גרימברג אלון איתי גרשון אלבר, ירון הר-שי יועד וינטר הדס שכנאי עופר שטריכמן דני רז שמואל כ"ץ רון קימל ספי נאור שמואל כ"ץ גרשון אלבר יוסי גיל חיים גוטסמן מיכאל קמינסקי רן אל-יניב ראובן בר-יהודה חיים גוטסמן ארז פטרנק ירון קנזה, שאול מרקוביץ חגית עטיה מיכאל לינדנבאום שלמה מורן משה ישראלי יועד וינטר אוקטובר 2005 אוגוסט 2001 ינואר 2001 אוגוסט 2001 אוגוסט 2000 נובמבר 2005 פברואר 2013 ספטמבר 2001 נובמבר 2003 יולי 2015 יולי 2015 ינואר 2001 פברואר 2014 נובמבר 2003 אלגוריתמים אדפטיביים למניעה הדדית סגמנטציה בעזרת הערכה סטטיסטית של שינוי מקומי בעיית חשאיות ברשימות רפואיות פתרון נומרי של משוואות דיפרנציאליות לינאריות עם מקדמים לא קבועים בעזרת גלונים תכונות מונוטוניות של כמתים בצורת ריבוי בשפה טבעית פברואר 2003 מרס 2002 אבן קרין אבני אופיר אברהם אורי אברמוביץ' יבגני אגבריה סביח אגוזי עופר אדדי רועי אדלר עמיר אדן ערן אהרן מיכל אהרוני אלדר אוחיון שי אופשנקו אברהם אורלובסקי אריה אושרוביץ אליהו אושמן רותם אזאצ'י חזי אייזנברג ודים איפרגן נילי איתמר עינב אלבוחר דני אלטמן אלון אלמוג אלי אלנבוגן דימה אלסטר קונסטנטין אלפרין יבגניה אלעד אסי אלעד נועה אסתרין יעקב אפלמן בוריס אקל נטליה אקשטיין איליה ארצי שי בגלייטר רון בדר מיכאל בוגומיאקוב אלכסנדר בוכבינדר ניב בולשינסקי אלה בורודין אלכס בורטניקוב ויטה בלטקסה מיכאל בלטר דורית בליאק לאוניד בן-אבי גלעד 27

28 מגיסטר שםם בן-אלעזר שי בן-בשט רן סיום לימודים פברואר 2013 מרס 2015 נושא העבודה שיטות חישוביות לניתוח ביטוי גנים באורגניזמי מודל בניות אוטומטים פרמטריות ושימושיהן התאוששות מחריגות במערכות שטפי מידע מבוזרות מערכת ההפעלה ממקסמת הרווחים "נום" על האופטימליות של דחיסה ספקטרלית של רשתות שבירת סימטריה יכולה לקצר באופן משמעותי את אורך ההוכחה שימוש בבדיקת תכונות לזיהוי יעיל של רלציות אשר קרובות להיות ממוינות דמיון קוד באמצעות הקשרים טקסטואלים יישומים של טכניקת היחס המקומי: סקירה המגבלות של דחיסה חלקית למידה משופרת עם אורקל מושחת פתרון התנגשויות ועדיפות אופרטורים ב- BNF המורחב חלוקה התפלגותית לצברי מילים ושימושיה לסיווג טקטסטים ניהול משאבים בסביבת סריג חישובי סיווג עצמים פונקציונאלי מבוסס סימולציה על-ידי סוכן למידת עצי החלטה ברשתות מבוזרות עבור מסדי נתונים רב ממדיים תיוג חלקי דיבר בעברית ובשפות שמיות אחרות מריונטות וירטואליות: מערכת ממוחשבת לאנימציית זמן-אמת בתלת- ממד מיקבול איסוף זיכרון אוטומטי למספר רב של מעבדים המרות של תכונות בשביל תרגומים סיווג ואישכול בייסיאניים בעזרת הירארכיית גוף חסר מעגלים הנפשת מצלמה לסריקת מצולע מישורי זיהוי פנים תלת-ממדי סמנטיקת ריבוי למשפטי בקרה בממשק L.F.G. שערוך מיקום ותנועה בעזרת אלגוריתם לשערוך תנועה עם אילוצים על מפת גבהים בעיית האיכלוס מחקר בננו-רובוטיקה רב-סוכנית שיטות לזיהוי בעזרת סגנון גרפי וסינתוז סגנון תוך שימוש בניתוח מקומי שחזור מקוון של עצמים תלת-ממדיים מחתכים שרירותיים ניתוח תנועה על פי לבן וניטור מסווג לינארי במערכת מבוזרת הערכת תפוקה פרמטרית תלוית-אלקטרומיגרציה חסמים תחתונים הדוקים יותר לבעיות השכן הקרוב ולבעיות קשורות במודל שליפה מתאים תכנות מבוסס תרחישים לאפליקציות מובייל על למידה אופטימאלית של אוטומט ריבוי בוסטינג עם התפלגויות חסומות פולינומיאלית ניהול זיכרון עם התנהגות מטמון טובה עבור שרתים אלגוריתם סדרתי לזיהוי פנים זיהוי אנומליות ללא פיקוח במרכזי מידע גדולים סיווג מטרות רחוקות בסרטי אבטחה שדות וקטוריים משיקיים על משטחים משולשיים - שיטה מבוססת קשתות ניצול לוקליות ומערכות עם גישה לא אחידה לזכרון בספריות סקלביליות מקביליות אימות נסיגתי:היבטים תיאורטיים ויישומיים יצירת מסלולים מבוססי-מפה מרצפי gps וייצוגם הקומפקטי ניתוח משפט בעברית באמצעות תכונות סמנטיות מנחה זהר יכיני הדס שכנאי, דני קרן דן צפריר חיים גוטסמן אלי בן-ששון אלדר פישר ערן יהב ראובן בר-יהודה ארז פטרנק נאדר בשותי יוסי גיל יועד וינטר, רן אל-יניב אסף שוטסר אהוד ריבלין יועד וינטר גרשון אלבר, אלפרד ברוקשטיין ארז פטרנק שמואל כ"ץ דן גייגר גיל ברקת, חיים גוטסמן רון קימל נסים פרנסיז אהוד ריבלין, הקטור רוטשטיין אלפרד ברוקשטיין, ישראל וגנר, דני קרן חיים גוטסמן ישראל וגנר יובל רבני ערן יהב, דוד הראל נאדר בשותי נאדר בשותי ארז פטרנק מיכאל לינדנבאום אסף שוטר, גלעד-בכרך רן מיכאל היימן מירי בן-חן יולי 2012 ספטמבר 2015 אוגוסט 2003 מרס 2010 ספטמבר 2010 ספטמבר 2015 יוני 2002 מאי 2011 יולי 2005 נובמבר 2004 אפריל 2003 נובמבר 2012 מרס 2009 ספטמבר 2004 ינואר 2005 אוגוסט 2008 מרס 2011 פברואר 2003 אוקטובר 2003 אוגוסט 2003 פברואר 2005 אפריל 2005 ינואר 2015 מאי 2005 אוקטובר 2011 מאי 2011 אפריל 2017 ינואר 2005 אפריל 2000 מרס 2016 מאי 2007 אוגוסט 2002 ספטמבר 2003 יוני 2004 ספטמבר 2013 ספטמבר 2013 אפריל 2016 אוקטובר 2012 אפריל 2008 מרס 2013 יולי 2003 מרץ 2004 בן-דוד דוד בן-יהודה מולי בן-חן מירלה בן-ישראל שיר בן-משה שגיא בן-סיני מיטל בנדל קרן בנדרסקי אנה בנט רותם בקרמן אנה בקרמן רון בר פבל בר-אביב עזר בר-אור אמיר בר-חיים רועי בר-לב עדי ברבש קטרינה ברג מירית ברום יעקב ברונשטיין דניאל ברונשטיין מיכאל בריוזקין גנאדי בריסקין גיל בריקנר ארז בריקנר בועז ברמנו עמית ברנשטיין רן ברסקי רומן ברקול עומר ברקמן ענת בשת לורנס גבינסקי דמיטרי גביש יעל גביש מורן גבל משה גבע אמיר ג'רבטיאן אלכסנדר גדרון אלעד גודלין בנימין גוטסמן רנית גוטר ישראל גוטרמן צבי גולבנדי נדב גולדין אלכסנדר גולדמן יהונתן גולדמן מקס חישוב סימבולי מקדמי לאפליקציות נומריות איפיון וסיווג רשתות דמויות פרפר פרוטוקולים גיאומטריים לסינון הודעות עבור מערכות מבוזרות מרובות סוכנים שערוך חסון של גיאומטריה אפיפולרית באמצעות שימוש במידע מוקדם אך רועש על מיקום המצלמות אימות מודולרי של אספקטים עידית קידר עפר שטרייכמן ירון קנזה עוזי אורנן עירד יבנה, יוסי גיל עמי ליטמן חיים גוטסמן אהוד ריבלין, אילן שמשוני שמואל כ"ץ אפריל 2003 אוגוסט 2003 דצמבר 2014 אוגוסט

29 מגיסטר שםם גולובצ'יק רומן גולדין ישי גולן שמעון סיום לימודים מרס 2006 דצמבר 2008 נושא העבודה שיפור אלגוריתם ההתבלטות על-ידי אופטימיזצית סימני הקבצה על אמבות ווסיקולות: שינויי צורה תחת אילוצים גלובאליים אלגוריתמים יעילים לחישוב מידע לגבי זמינות משאבים ביישומי תקשורת מרחבית הגנה מפני התקפות האפלה ברשתות חסרות מבנה שיפור מדד האנרגיה-ביצועים עבור מערכות soc עם חסמי הספק נמוכים יצור אוטומטי של דוגמאות המהוות החטאה קרובה ללמידה אקטיבית של מושגים חזותיים ניתוח תפוקה תחרותי של פרוטוקולים חמדניים ברשתות מכוונות חסרות מעגלים שימושים באלגוריתמי דחיסה נתונים להנדסת תוכנה בעיות מיקום של טבעת היסט פוליגונלית בניית קריפטוגרפיה של מפתח פומבי על סמך פונקציות חד-כיווניות תזמון תקשורת עם אילוצי זמן במתגים מבוססי תורי קלט זיהוי עצמים בעזרת הרחבות לאלגוריתם העירבול הגיאומטרי גיאומטרית מנחה מיכאל לינדנבאום אלפרד ברוקשטיין אביגדור גל, רון פינטר אבי מנדסלון, יריב ארידור שאול מרקוביץ', אהוד ריבלין נובמבר 2005 מרס 2015 מרס 2015 מאי 2006 יולי 2005 גונן עידו ג'וסי רמי גורביץ' נלה גורדון איל גורובוי אלכסנדר גוריאצ'ב אלכסנדר גורן ירון גז דן גטניו גיל ינואר 2001 נובמבר 2006 אוגוסט 2006 דצמבר 2004 עדי רוזן אלון איתי, יוסי גיל גיל ברקת יובל ישי עדי רוזן אילן שמשוני, מיכאל לינדנבאום מאיר אורנשטיין, טל מור זיו בר-יוסף שאול מרקוביץ' מיכאל אלעד, יונינה אלדר הדס שכנאי יולי 2008 ספטמבר 2013 גורביץ פבל גיא עדו גייגר עומר הצפנה קוונטית ניסויית שבה השולחת היא קלאסית דירוג אשכולות ויישומו בכריית רשתות דואר אלקטרוני בנייה אלגוריתמית של בחינות מרס 2007 מאי 2016 דצמבר 2009 ג'יריס רג'א גייסינסקי אלכסנדר כיוונון פרמטרים אוטומאטי לבעיות היפוך שילוב החלפה עם הבאה מצונרת בניהול זיכרון מטמון מודל אבטחה ואלגוריתמים שומרי פרטיות לכריית נתונים בסביבות מבוזרות ממימד גדול הטמעת "סימני מים" הולוגרפיים במרחב DFT-d3 של סצנות וידאו אופטימיזצית תבניות משותפות ומקומיות באמצעות הגירת חוטים אימות של תכונות גרפים קשות בגרפים הנוצרים על ידי דקדוקי גרפים בטיחות פרוטוקולי הפצת מפתחות קוואנטים תיאורטיים ומעשיים רגרסיה מקוונת באמצעות וקטורי תמיכה עם שימוש בחיזוי תנועות ראש מתוך אותות EMG אלגוריתם הפניה נשנית לניתוח נתוני ריצוף גנטי לקסיקליזציה רדיקלית של שפות עדינות הקשר יצירת שירותים יעילים לאורך המסלול המהיר של חבילות ברשתות אקטיביות ינואר 2001 ספטמבר 2005 גילברוד ברוך גינזבורג מרק גלייזר ודים גליקסון אלכסנדר גלס רן אלפרד ברוקשטיין יוהן מקובסקי טל מור יולי 2008 אוגוסט 2002 ינואר 2004 מרס 2009 ינואר 2005 גלפרין ודים גנאים עלא גנקין דניאל יורם ברעם דן גייגר מיכאל קמינסקי אוגוסט 2014 ינואר 2011 גצלביץ' ולדימיר דצמבר 2003 ג'קובס קיילה ראשי תיבות בעברית: זיהוי, פיענוח והתרת רב משמעות דני רז איתי אלון, שלום וינטנר זיו בר-יוסף, ירון קנזה אלעד חזן מיכאל קמינסקי דצמבר 2014 אוגוסט 2016 גרבוביץ' אירנה גרבר דן גרוס רון חיפוש יישויות בפייסבוק קירוב תוכניות מוגדרות אי-שלילית בזמן תת לינארי תכונות משומרות תחת חזרות בלוגיקה טמפורלית של זמן מתפצל סמנטיקה של מודלים מינימאליים עבור לוגיקה מודלית לא- מונוטונית מקובעת מסדר-ראשון ממשק משתמש תלת מימדי למערכות תיב"ם אוגוסט 2012 ספטמבר 2008 מאי 2007 גרימברג בנימין גרינברג מאור מיכאל קמינסקי גרשון אלבר אלון איתי, שלום וינטנר עפר שטרייכמן רון קימל יוני 2014 יולי 2013 גרץ אבישי גרשמן רומן גרושקו כרמי דבורקין אלכסנדר יוני 2007 דצמבר 2012 ניתוח תחבירי של קורפוס childes בעברית שיפורים לשיטות פתירה של בעיות SAT סימטריות רציפות בגופים לא קשיחים תרגום דרישות קצה למדיניות תורים מקומית במודל ה- Diffserve דגימה מוכללת עיוורת של תמונות רגולריזציה עצמותית של בעיות היפוך הכוללות גופים לא קשיחים אוטומטי מחסנית מעל אלפבתים אינסופיים: גישות שונות והשוואת תוצאותיהן על סיבוכיות האקראיות של דגימה יעילה דני רז ספטמבר 2004 אפריל 2008 יולי 2009 דביר צבי דביר יוחאי דובוב יוליה מיכאל לינדנבאום יובל רבני מיכאל קמינסקי מרס 2008 פברואר 2006 דוברוב בלה דוזורץ איגור מודל ממוחשב לזיהוי דובר על-ידי מאזין אנושי יובל ישי יצחק גת, הדס שכנאי שאול מרקוביץ' אוקטובר 2000 מאי 2003 דוידוב דמיטרי דותן דולב אלגוריתמי חיפוש יוריסטיים רבי מטרות :Hyperflow שפה ויזואלית מבוססת אונטולוגיה המשלבת שאילתות וזרימת-נתונים לצורך עיבוד מידע על-ידי משתמש קצה רגולריזציה מבוססת דוגמאות בבעיות היפוך חשיפת מבנה מחלקות ג'אווה בעזרת סריגי מושגים רון פינטר דצמבר 2005 דצמבר 2006 אפריל 2003 דצנקו דמיטרי דקל אורי מיכאל אלעד יוסי גיל 29

30 מגיסטר שםם דרבקו פיליפ סיום לימודים נושא העבודה עקומי למידה מפורשים עבור למידה טרנסדוקטיבית ושימושים ללמידה עם דחיסה ואלגוריתמי מצבור קודים בעלי זמן קידוד לינארי וקריפטוגרפיה שיטות רב-שרגי אי-לינאריות אמינות העברת קוד בזמן ריצה תוך שימוש בג'אווה, אנדרואיד ואספקטים פירוק הרכיבים המורפולוגיים והלקסיקליים כבסיס לזיהוי ביטויים מנחה רן אל-יניב אפריל 2004 אוקטובר 2013 מאי 2005 יוני 2014 אוקטובר 2012 דרוק ארז דרדיק גריגורי האוזר ניר הורוביץ דניאל הימן אמנון זיהוי חלבונים באמצעות ספקטרומטריית מסות יובל ישי עירד יבנה אלון איתי דן גייגר, אריה אדמון רוני רוט אילן שמשוני, מיכאל לינדנבאום דני רז ספטמבר 2003 אוגוסט 2001 הלוי שירלי המאירי איל צפינה דו-ממדית לערוצי הקלטה שיערוך עקמומיות ראשיות וכיוונים ראשיים מתוך תמונות טווח אמיתיות ויישומו בשחזור גופים גיאומטריים פרימיטיביים בעיית מיקום ממירי התצורה ברשתות מרובות משתמשים כשהנתב מספר סיפורים שונים לשכנים שונים: התקפה חדשה על פרוטוקלי state-link הערכת כמות השגיאות שנותרו בתוכנה לאחר סריקה בשיטת Review Code Iterative סיבוכיות של בעיית מיקום רגנרטורים ברשתות אופטיות - רוחב עץ ופרמטרים נוספים אפריל 2002 ינואר 2006 ינואר 2015 הניג אסף הס גרין רזיאל דוד הראל אסף ראובן כהן אליעזר קנטרוביץ' פברואר 2005 הרטשטיין איתמר יולי 2012 הרמתי נעמה פונקציות תמצות קריפטוגרפיות עם סיבוכיות נמוכה שמואל זקס, מרדכי שלום איל קושלביץ, יובל ישי מרס 2017 נובמבר 2011 השביט ענת הרשקו ניר וגנר יונתן וולושין אריאלה ינואר 2016 ספטמבר 2016 פרוצדורה לביצוע החלטות רציונלית ובלתי מוטות בסביבה מרובת יריבים שדרוגים תלת ממדיים של מפות דו מימדיות אלגוריתמים לקבלת קירוב כפלי עבור בעיות כיסוי ואריזה מוכללות גישה אחידה לחישוב קבוצות שולטות וקבוצות בלתי תלויות עבור אינטרוולים על ישר המבנה של פונקציות בוליאניות עם נורמה ספקטרלית קטנה שיטות הפשטה ליצירת בקרים קומפקטיים לתהליכי החלטה מרקוביים על למידת חצאי מרחב באמצעות אורקל המחזיר היפותזה קונסיסטנטית רנדומלית שאול מרקוביץ' גרשון אלבר אלעד חזן מיכאל קמינסקי מרס 2000 וולק בן לי וורנוביצקי קולמן וותד איהאב יוני 2014 פברואר 2012 אמיר שפילקה כרמל דומשלק נאדר בשותי יוני 2006 יוני 2014 וייץ דוד וייצל בוריס פרמטריזציה של בעיות פולינמיות: קירבה לתתי בעיות קלות יצירה מונחית מודל של מערכות עזרה ניר אילון, ספי נאור, הדס שכנאי אליעזר קנטרוביץ', אפריל 2003 אוקטובר 2011 ויטקין אדוארד ויסברוד עומר וקסלר טטיאנה וקסלר עדו וקסמן אמיר ורדי גל שיטה לבניה של רשתות מטבוליות גדולות המבוססת על מידע פונקציונאלי וגנומי אנליזת תאחיזה גנטית בנוכחות פסיפס בתאי נבט ראשוניים אוטומטים ודקדוקי קטגוריה מציאת חזרות עוקבות מקורבות ברצפים גנומיים אינטרפולציה לא ליניארית בין חתכים ניתוח ויצירה של שמות עבריים על-ידי צורני גזירה בדיקה יעילה של תנאי תחרות בזיכרון משותף מבוזר וברב-מעבד סימטרי תורות מחדל פתוחות אלגוריתמים לבעיות פרמטריות בגרפים עם יישומים לשאילתות ברשתות ביולוגיות מיפוי מרקם על-ידי שיטוח בעזרת סילום רב ממדי אלקטרוקינטיקה חישובית ייצוב עצמי עם תקשורת יעילה אלגוריתמים אדפטיביים לחלוטין במודל של זיכרון משותף תומר שלומי דן גייגר נסים פרנסיז דן גייגר גיל ברקת עוזי אורנן נובמבר 2011 נובמבר 2003 ספטמבר 2003 דצמבר 2006 ינואר 2000 זאב בן-מרדכי אורן אוגוסט 2001 זבר יעל מיכאל קמינסקי רון פינטר, הדס שכנאי רון קימל עירד יבנה שי קוטין חגית עטיה אוגוסט 2000 ספטמבר 2015 נובמבר 2000 יוני 2013 יולי 2011 נובמבר 2004 זהבי מירב זיגלמן גיל זיידה רומן זיננקו דמיטרי זך עידן 30

31 מגיסטר שםם זלוטניק אלכסנדר סיום לימודים מאי 2014 נושא העבודה שימוש יעיל במשאבי ענן מרוחקים גאוגרפית נעילה ספקולטיבית עבור מערכות מבוזרות עמידות בפני נפילות "לולה" - שפת תכנות להעשרת שפות תכנות מסגרת לשחזור משטח של אובייקטים דגומים בדלילות מערכת היסקים של 'לוגיקה טבעית' המבוססת על תחשיב לאמבק לימוד עם טעויות בשאילתות השייכות בעיות סכום-ישר בשני שחקנים מבעד לעדשה של סיבוכיות תקשורת מרובת שחקנים ניתוח הלך רוח בקנה מידה גדול באמצעות למידה עצמאית-למחצה זריקת חבילות מאוזנת לשיפור ביצוע TCP ברשתות ATM אלגוריתמים מקביליים לחישוב התמרות פוריה אדיטיביות כיצד לבנות אונטולוגיות תחום רב-לשונית סימנים לשיערוך מיקום בדיוק גבוה זיקוק מונחה-כיסוי של ייצוגים מושגיים סמנטיקה חיובית של היטלים בדיאגרמות ון-אוילר אלגוריתמים להפצת מידע שהינם חסינים לתקלות על מעלת פורייר המינימלית של פונקציות בוליאניות סימטריות אלגוריתמים לבעית המשולש של היילברון ניתוח ושימוש בדרישות השלמה של פעלים לבדיקת תקינות משפטים בשפה העברית פענוח-רשימה עבור קודי מטריקת Lee שיפור ביצועי מערכת זיכרון שיתופי ומבוזר על-ידי מיקסום ניצולת הרשת תנאים לקיום אלגוריתם לניתוח תחבירי לדקדוקי יוניפיקציה פתרון מקבילים של בעיית SAT-ALL עבור בדיקת מודל מנחה דני רז, מיכאל פקטור יוסי גיל גיל ברקת נסים פרנסיז נאדר בשותי איל קושלביץ יעקב קרמר, שי מנור ראובן כהן אלי בן-ששון, מרק זילברשטיין אלון איתי אלפרד ברוקשטיין שאול מרקוביץ יוסי גיל קרן צנזור-הלל אמיר שפילקה גיל ברקת עוזי אורנן רוני רוט נסים פרנסיז, שלום וינטנר אורנה גרימברג, Extracting Code from Programming Tutorial Videos ערן יהב רון פינטר הערכת ביצועים למבנים של מטמון הנתונים בעבור מעבדים מסוג SMT שלמה מורן הערכת פונקציות ציון עבור התאמה מרובה של רצפי חלבונים באמצעות התאמות מבניות רון קימל אנליזה של הבעות פנים בעזרת נירמול של משטחים בחירת מודל התנהגות לזיכרון מבוזר משותף אריאל אורדע, היבטים כלכליים באיכות השרות בשריג חישובי טל מור קריפטולוגיה מודרנית בעולם קוונטי הדס שכנאי סכימות קירוב לבעיות אריזה עם פיצולים רן אל-יניב למידה מדוגמאות של קרבה סמנטית אלפרד ברוקשטיין סוכנים פשוטים בשביל מטלות מורכבות ספי נאור מנגנונים מתואמי-תמריצים לתזמון מבוסס ערך של משימות במחשוב ענן טובי עציון צפנים לתיקון שגיאות דו-ממדיות גיל ברקת Morphing בין צורות גיאומטריות על-ידי אינטרפולציה מבוססת שלד ליניארי רן אל-יניב למידה מקוונת חלקה של עצות מומחים דני רז התאוששות מיודעת מחיר בענן יוסי גיל יחסי אובייקטים ומכניזמים תחביריים בתבניות תיכון מערכת DSM שקופה דני רז שיטות ניתוב העמידות לשינויים בדרישות תעבורת רשת כיול-עצמי של מדידות של שיטות ב- JAVA : לקראת גילויו של אופן יוסי גיל תכנות מקובל ארז פטרנק סיבוכיות זמן סיבובים ואפס מידע אסינכרוני דני רז תיזמון שידורים תלויי-זמן בערוץ הפצה ספטמבר 2008 דצמבר 2014 יוני 2007 ינואר 2004 מאי 2005 יולי 2017 פברואר 2013 ינואר 2002 פברואר 2017 מרס 2016 ספטמבר 2001 מרס 2013 יוני 2002 מרס 2015 פברואר 2012 מאי 2009 יוני 2001 אוגוסט 2003 מאי 2004 פברואר 2003 מרץ 2004 אפריל 2016 אוגוסט 2005 ינואר 2006 יולי 2014 נובמבר 2003 ספטמבר 2008 יולי 2004 פברואר 2007 נובמבר 2011 אפריל 2001 אוקטובר 2011 ינואר 2008 מאי 2004 ינואר 2002 אוקטובר 2013 אפריל 2003 אוגוסט 2002 מרס 2017 ינואר 2002 מרץ 2003 פברואר 2004 זמיר טל זמירי עידו זמנסקי אלכס זמנסקי אנה חורי לורנס חזן איתי חיימוביץ יואב חמו יניב חמיליס מתן חריזמן ניצן חרמש ברק טולידנו חגי טולצ'ינסקי ילנה טוקאן טארק טל אבישי טל אסנת טל דינה טל עדו טלמור יורם יגר אפרת ידגר אברהם ידיד שיר ידידיה חגי יוגב סיון יודין אריק יוסביץ' ודים יושפה בנימין יזמרלי אולג יחזקאלי עומר ינאי דוד ינובסקי ולדימיר יניב יונתן יעקובי איתן יעקרסברג יבגני ירושינסקי רן ישראל אסף כהן אוריאל כהן אמיל כהן גל כהן טל כהן צפריר כהן רמי 31

32 מגיסטר שםם כץ אמיליה כץ יואב כץ שגיא סיום לימודים מרס 2006 אוקטובר 2001 ינואר 2001 נושא העבודה אימות של מפרטי אספקטים המבוססים על תרחישים תזמון משימות לפי משפחות באצווה טכניקות להגברת כיסוי של אימות פורמלי סימולציה ומידול עם מוטיבציה ביולוגית של פעילויות ראייה של בעלי חיים השפעות הפירוש הטיפוסי על הניתוח של ביטויים הדדיים מבני נתונים מרומזים המבוססים על סידורים מקומיים תקשורת קבוצתית שכבתית בזמן אמת רך גדירות ומטריצות הנקל לימוד עבור סידור יעיל של משתני BDD באימות סינתיזה של תבניות מוארה איסוף זבל תוך-כדי-מעוף באמצעות מבטים מחליקים קודי MDS דלילים מעל אלפבתים גדולים לבחירה מקוונת של אלגוריתמים ללמידה פעילה כיצד ללמד מחשב ללמוד באמצעות משל קירובים מבוזרים לבעיית חתך מקסימום פאחיטה- ממשק זורם עבור יצירה אוטומטית של ממשקים זורמים בג'אווה שיטות מבוססות-קורפוס להתרת רב משמעות של מילים חיפוש בר-פסיקה על-ידי שיפור קטעים מבטיחים בפתרון אלגוריתמי קירוב למיון בעזרת חוצצים ייצור מונחה איפיון של מערכות מידע לאינטרנט הפצת תוכן יעילה ברשתות עמית לעמית ניטור זרמי מידע מבוזרים ייצוג סמנטי היררכי מבוסס מושגי ויקיפדיה מיקום עצמי של רובוט בעזרת אובייקטים ממקמים (Fiducials) ומצלמות אומני כווניות (Omnidirectional) לקראת מסחר אלקטרוני אוטומטי: מפרט מערכת ה- Econtracts ומימוש חלקי הקשחת קסנדרה נגד כשלים ביזנטים בעיות אופטימיזציה בתכנון אוליגונוקלאוטידים לשיטות מבוססות היברידיזציה ניווט ראייתי על גבי תמונות מיקרוסקופיות מנחה שמואל כ"ץ הדס שכנאי אורנה גרימברג אהוד ריבלין אלון איתי אלון איתי יוהן מקובסקי שאול מרקוביץ', אורנה גרימברג אלפרד ברוקשטיין ארז פטרנק רוני רוט רן אל-יניב, יורם ברעם שאול מרקוביץ' קרן צנזור-הלל, הדס שכנאי יוסי גיל אלון איתי שאול מרקוביץ' ראובן בר-יהודה אליעזר קנטרוביץ', דני קרן שאול מרקוביץ' אלפרד ברוקשטיין אפריל 2001 ספטמבר 2010 יוני 2002 מרס 2002 יולי 3015 אוגוסט 2001 אוקטובר 2000 יוני 2001 ינואר 2004 נובמבר 2003 יולי 2012 אפריל 2017 אפריל 2017 אוגוסט 2000 מרס 2001 אפריל 2005 מרס 2006 אפריל 2016 ספטמבר 2010 מרס 2010 יולי 2003 ספטמבר 2001 מימוש קודי זיגזג במערכת אחסון מבוזרת אלגוריתמי קירוב קומבינטוריים לבעיית כיסוי-קבוצות שבור חריגות דף עבור התקני קלט/פלט תיקון תנועה ב- FMRI הערכה מאולצת של תנועה ומיקום תורת האינפורמציה ונושאים הקשורים בפרטיות בסיבוכיות תקשורת הערכת ביטחון בחיזוי של תיוג עצמים בעלי מבנה פרוצדורות הכרעה ללוגיקת שיוויונים האצה של פרוטוקול cifs מעל רשתות לוויניות חישוביות מעל הממשיים במודל BSS עם אפרטור בחירה ממשק בשפה טבעית למערכות מידע גאוגרפי מיפוי קונפורמי משמר צורה ויעיל של רשתות גדולות תלות בבסיס של הרחבות ללוגיקות ברירת-מחדל פתוחות ספירת Polyominoes בשניים ושלושה מימדים אלגוריתמים מהירים, מינימליים, ומתעלמים לניתוב על השריג עם חורים חסומים לקראת מנהל מעבדי-צד עבור עיבוד קלט/פלט וירטואלי במערכות וירטואליות למידת מחלקות מורכבות עם מעט טעויות אבסטרקציה רב ערכית ובדיקת מודל מודולרית עודד שמואלי זהר יכיני, אורי סיון אהוד ריבלין איתן יעקובי, גלה ידגר, ספי נאור דן צפריר משה גור, אהוד ריבלין אהוד ריבלין אלי בן-ששון יעקב קרמר עפר שטרייכמן יוהן מקובסקי יועד וינטר משה ישראלי, אלה שפר מיכאל קמינסקי גיל ברקת פברואר 2017 יוני 2006 נובמבר 2004 יולי 2017 פברואר 2005 ינואר 2016 יוני 2006 ספטמבר 2008 פברואר 2017 פברואר 2012 ספטמבר 2005 יוני 2012 מרס 2007 יוני 2007 אפריל 2004 ספטמבר 2001 דצמבר 2003 ספטמבר 2001 עמי ליטמן דן צפריר אפריל 2017 מאי 2007 ינואר 2010 כצמן איגור כרם ניר כתריאל עירית לאור דור לבאי נאדיה לבנה שלמה לבנון גיא לבנוני יוסף לואידור ארז לוז קובי לוי עומר לוי רנה לוי תומר לוינסון דמיטרי לויתן צח לזרסון יונתן ליאקס אלכסנדר ליבוב אלכסנדר ליבנה אבישי ליברמן סוניה ליבשיץ דמיטרי לייבה ליאור ליכר רוני ליפסון דורון ליפשיץ מיכאל לירם מתן לנדה שמעון לסוחין איליה לרנר טל לרנר רונן מאור גל מאיר אביחי מאיר אורלי מגאדלה מוחמד מגיד יונית מדור-חיים סלע מוגילניצקי מקסים מוסין יוליה מופי מיכה מורן שירי מושקוביץ אייל מזאווי חנא מלר יעל מלול אליאור לקראת נכונות במערכות לעיבוד מאורעות נאדר בשותי אורנה גרימברג יוסי גיל, עופר עציון מרס