חברי סגל

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Computational Cancer Genomics.

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 .

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

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

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

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

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

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

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

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

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

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

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

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

מחשוב מדעי ורב ביצועים.

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

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

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

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

מחשוב מדעי ורב ביצועים.

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

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

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