חברי סגל

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

תיכון גיאומטרי בעזרת מחשב; מידול גופים; גרפיקה ממוחשבת.

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

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

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

עיבוד שפה טבעית; למידת מכונה להבנה והפקה של שפה; ייצוגים מבוססים רשתות עצביות; פירושיות ועמידות של מודלים בלמידת מכונה.

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

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

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

רכישה ועיבוד של תלת-ממד, ניתוח ומידול צורות גיאומטריות גמישות, ראייה ולמידה חישובית, גיאומטריה נומרית.

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

למידה חישובית.

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

הנדסת תוכנה, תכנות מונחה עצמים; שפות תכנות; מנשק אדם-מכונה; שפות תכנות ויזואליות; תורת ההידור

אימות פורמלי של חומרה ותוכנה; אלגוריתמי SAT/SMT; שיטות אבסטרקציה; אימות תכונות אבטחה; אימות משולב של מערכות חומרה-תוכנה; שימוש בלמידה לצורך אימות אוטומטי.

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

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

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

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

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

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

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

סינתזה של תוכנה; תכנות ברמת-על ותכנות אוטומטי; שפות תכנות פונקציונליות; הוכחה פורמלית בעזרת מחשב.

קריפטוגרפיה, תורת הסיבוכיות.

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

עיבוד תמונות וראייה ממוחשבת בתלת מימד, רשתות עצביות ולמידה עמוקה

עיבוד אינפורמציה קוואנטית (תיאוריה): קריפטולוגיה, חישוב, אינפורמציה, תקשורת. מימוש עיבוד אינפורמציה קוונטית.

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

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

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

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

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

סיבוכיות חישובית, סיבוכיות הוכחות, אנליזה של פונקציות בוליאניות, קומבינטוריקה.

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

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

מערכות מבוזרות; תקשורת קבוצתית; מערכות תווכה .NET-ו CORBA; לות מחשבים; אפליקציות מולטימדיה מבוזרות, חישוב נייד.

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

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

פרוטוקולים קריפטוגרפיים ופרטיות במערכות מבוזרות; תורת הלמידה; אקראיות במערכות מבוזרות; סיבוכיות וסיבוכיות-תקשורת.

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

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

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

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

צפינת ערוץ; תורת האינפורמציה; אלגברה ושימושיה בצפינה ובסיבוכיות.

קריפטוגרפיה וסיבוכיות חישובית.

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

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

תיאוריה ויישום של בעיות הקשורות לניהול רשתות תקשורת מחשבים בעיקר בתחום ה-IP. במיוחד: רשתות אקטיביות (Active Networks); בעיות מיקום שרתים; תיאוריה של ניהול רשתות תקשורת, תקשורת אלחוטית ובעיות אופטימיזציה שונות.

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

חישוב מקבילי ומבוזר.

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

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

ביואינפורמטיקה; אנליזה של רשתות ביולוגיות: מידול מבוסס אילוצים של רשתות מטבוליות; אנליזה של רשתות אינטרקציה בין חלבונים.

הבטחות נכונות ללמידה עמוקה בעזרת אימות וסינתזה

מערכות הפעלה, מאיצים חישוביים (GPU) ומאיצי קלט/פלט (SmartNIC, computational storage), רשתות מחשבים מהירות, אבטחת סייבר, חומרה בטוחה, שיטות חישוב מבוססות רשתות נוירונים.

גרפיקה ממוחשבת וארכיאולוגיה.

Distributed and multi-agent systems, The theory of knowledge in a distributed environment, Theoretical computer science, Algorithms, Formal methods, Computer Networks, Computer Systems.

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

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

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

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

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

מערכות ביולוגיות וביולוגיה חישובית (BIO), מערכות הפעלה ורשתות (OSNT), תיאוריה (THY).

סימולציות וחישובים בדינמיקה של זורמים; אלגוריתמים נומריים מקביליים עבור "מחשבי על", התיאוריה של זרימות דו-פאזיות וסובבות; אנליזה נומרית.

מבני נתונים אלגוריתמים דטרמיניסטים ורנדומיאליים; אלגוריתמים לזיכרון היררכי; שיטות סטטיסטיות לעיבוד שפות טבעיות.

אופטימיזציה קומבינטורית: אלגוריתמי שיבוץ, גיאומטריה חישובית, אלגוריתמים בתורת הגרפים, אלגוריתמים מבוזרים.

עיבוד אותות ותמונות, ראייה ממוחשבת וניתוח תמונות, זיהוי צורות, גיאומטריה שימושית, רובוטיקה, במיוחד רובוטיקה מבוזרת, תורת השערוך, קידוד עצבי.

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

רובוטיקה; בקרה סימבולית; מערכות אירועים בדידים.

אלגוריתמים מבוזרים; רשתות ATM ורשתות אופטיות; אלגוריתמים בתורת הגרפים; קומבינטוריקה ותורת הגרפים; מתמטיקה דיסקרטית.

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

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

אלגוריתמים מקביליים; רשתות קבועות-קשר; רשתות ניתוב; מערכות סיסטוליות; VLSI .

ראיית מכונה ועיבוד תמונות; למידה; כימות וחיזוי ביצועים עבור מערכות לזיהוי עצמים ולקיבוץ (grouping).

הבטים אלגוריתמיים בביולוגיה חישובית (עם דגש על עצים פילוגנטיים), קומבינטוריקה ותורת הגרפים

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

מערכות לומדות; בינה מלאכותית; חיפוש יוריסטי; חיפוש בעצי משחק; למידה בסביבה מרובת סוכנים.

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

תורת הצפינה; סדרות ספרתיות בתקשורת וצפינה; אלגוריתמים ובניות קומבינטוריות.

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

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

ראשי: סמניקה פורמלית של שפות טבעיות, ביחוד Proof-Theoretic Semantics, דקדוקי קטגוריות וטיפוסים, לוגיקה פילוסופית ופילוסופיה של הלוגיקה.

לוגיקה במדעי המחשב; אוטומטים סופיים; סיבוכיות של חישובים אלגבריים.

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

בקרה מבוזרת של מערכות רב-סוכניות.

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

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

בינה מלאכותית למחשוב מדעי ורב ביצועים

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

בינה מלאכותית למחשוב מדעי ורב ביצועים

האינטרנט של הדברים, ארכיטקטורה ופרוטוקולים של רשתות מחשבים, TCP, IP, רשתות אלחוטיות, רשתות סנסורים, Caching.

ייצוגים מבוססים רשתות למידה עצביות, ראייה ולמידה חישובית, למידה עמוקה על גרפים, אלגוריתמים לאימון והסקה של רשתות למידה עצביות על חומרה דלת הספק.

שמעון אבן היה מחלוצי מדעי המחשב בישראל, והשתתף בייסוד המחלקות למדעי המחשב בטכניון ובמכון ויצמן. התמחותו המקצועית היתה תורת האלגוריתמים, והוא ידוע בזכות ספריו בנושא, Algorithmic Combinatorics ו-Graph Algorithms.

...

אנליזה פונקציונלית ובמשוואות דיפרנציאליות חלקיות.

...

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

איפיון ואימות של מערכות-חומרה.

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

...

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

...

...

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

...

...