התקני חישוב אלקטרוניים (מחשבים), שראשיתם בעבודה תיאורטית בשנות השלושים, מהווים כנראה את אחת הפריצות הטכנולוגיות החשובות ביותר במאה העשרים. מקור ההתקדמות הבלתי פוסקת בתחום זה הוא שיפור מתמיד בטכנולוגיות למימוש מחשבים, ובפיתוח דרכים חדשות להשתמש בטכנולוגיה. בימינו, כאשר מערכות מחשב הופכות רכיב מרכזי בעולם המודרני, בעיות שונות ממשיכות לצוץ--בעקבות יכולות חדשות או דרישות חדשות-- ולדרוש פתרון. בקבוצת הנדסת המחשבים מטרתינו היא לנסות לענות על שאלות מעין אלה, וכמו-כן להציב שאלות חדשות. ביתר פרוט, אנו חוקרים שאלות הקשורות לבניית מערכות חדשות, ואלגוריתמים בסביבות שונות. בין היתר אנו חוקרים את הנושאים הבאים:
- אלגוריתמים קלאסיים לבעיות מעשיות שונות עם ביצועים מוכחים במקרה הגרוע ביותר,
- אלגוריתמים מודרנים, כולל אלגוריתמים הסתברותיים ואלגוריתמים מקוונים,
- אךגוריתמים למערכות תקשורת,
- חקר האינטרנט,
- תיכון וניתוח אלגוריתמים מקביליים ומבוזרים,
- אבטחה ופרטיות במערכות מחשב.
חוקר |
מעבדה |
מילות מפתח |
פרופ' גיא אבן
|
אלגוריתמים
|
אלגוריתמי קירוב, אריתמטיקה של מחשבים
|
פרופ' יאיר בארי
|
|
קודים לתיקון שגיאה, קודי טורבו
|
פרופ' אבישי וול
|
נוכחות רשת (בבנייה)
|
אבטחת מחשבים, אבטחת רשתות תקשורת, קריפטוגרפיה, ניהול מפתחות הצפנה, תקשורת אלחוטית מוצפנת, מיפוי של רשתות תקשורת, אלגוריתמים לחישוב מבוזר
|
פרופ' שלמה וייס
|
ארכיטקטורת מחשבים
|
אריכטקטורה של מחשבים, הערכת ביצועים, מיקרוארכיטקטורה, מערכות זיכרון מקביליות רחבות פס, מערכות משובצות מחשב
|
פרופ' סימון ליצין
|
|
צפינה ספרתית של אותות, תקשורת ספרתית, אלגוריתמים לעיבוד אותות, קריפטוגרפיה, אבטחת מערכות מחשב
|
פרופ' גדעון לנגהולץ (אמריטוס)
|
|
אוטומטים לומדים, מערכות מומחה, מערכות fuzzy logic, בעיות ניתוב והקצאות משאבים, טלקומוניקציה, רשתות עצביות, אלגוריתמים גנטיים
|
פרופ' מיכאל מרגליות
|
|
תורת המערכות (systems theory), יציבות של מערכותדינמיות (stability theory), מערכות עם מיתוגים (switched systems) , מידול וניתוח של מערכות ביולוגיות (systems biology) ובקרה אופטימלית. |
פרופ' בועז פת-שמיר
|
אלגוריתמים
|
חישוב מבוזר, רשתות תקשורת מחשבים, אלגוריתמים מקבילים ומבוזרים, פרוטוקולים, מערכות המלצה, סינון משותף
|
פרופ' דנה רון
|
אלגוריתמים
|
תורת הלמידה החישובית, מערכות לומדות, אלגוריתמי קרוב אקראיים, אלגוריתמים לבחינת תכונות
|
דר' בני אפלבאום
|
מעבדת קריפטוגרפיה ואבטחת מידע
|
קריפטוגרפיה, אבטחת מידע, סיבוכיות חישובית, בעיות סיפוק אילוצים אקראיות.
|
|