התכנית לתואר שני במדעי המחשב (.M.Sc)

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

דוא”ל: epstein@mta.ac.il

מערכות לוגיות ושימושיהן בבינה מלאכותית.

דוא”ל: oarieli@mta.ac.il

אנליזה סטטית של תכניות.

דוא”ל:amirben@mta.ac.il

• אלגוריתמי אופטימיזציה קומבינטורים
• אלגוריתמים מקורבים בתורת הגרפים
• אלגוריתמי אופטימיזציה רציפים

דוא”ל: becknili@mta.ac.il

קריפטוגרפיה

נושאים לפרויקט: כל נושא הקשור ל- cyber security

• הפצת הודעות ברשתות תקשורת.
• מספורי קשתות בגרפים בעלי אורך מוגבל.

נושאים לפרויקט: מספורי קשתות בגרפים

דוא”ל: gaber@mta.ac.il

• עיבוד שפה טבעית, ובמיוחד קטגוריזציה של טקסט.
• יישום של טכניקות של למידה (machine learning) לבעיות בתחומים שונים: ביואינפורמטיקה, רפואה, ראייה ממוחשבת ופסיקה.
• תיאוריה של רשתות נוירונים.
• רשתות נוירונים כמודלים לתיאור מערכות נוירונליות במוח.

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

דוא”ל: gideon@mta.ac.il

קומבינטוריקה

דוא”ל: rominazi@mta.ac.il

• סיבוכיות וקושי קירוב
• שריגים
• תורת הקודים

דוא”ל: ishayhav@mta.ac.il

• Architectures of information systems for big data
• Machine learning algorithms in large scale
• Data modeling for no-sql databases

נושאים לפרויקט:

• Large scale computing
• SQL and No-SQL databases
• Software engineering for mobile applications
• Algebraic graph theory

דוא”ל: uzihadad@mta.ac.il

• Object Oriented Analysis and Design
• Software Development
•  Specification and Verification of Reactive Systems
• Formal methods in software engineering

דוא”ל: tyshbe@mta.ac.il

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

דוא”ל: hillel@mta.ac.il

• תורת החבורות
• קומבינטוריקה
• תורת הגרפים
• עיבוד אותות

נושאים לפרויקט:

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

דוא”ל: arieh@mta.ac.il

תחום מחקר ראשי: תורת החבורות (הסופיות).

תחומי עניין נוספים:

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

דוא”ל: danlevy@mta.ac.il

• לוגיקה
• תורת הקבוצות

דוא”ל: carmi@mta.ac.il

• ניתוח והבנת תמונות של מסמכים
• קריאה וזיהוי כתב יד
• ראיה ממוחשבת
• התאמת תבניות

• אלגוריתמים מקורבים והסתברותיים
• אלגוריתמים תת ליניאריים

דוא”ל: michalp@mta.ac.il

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

דוא”ל: alex@coman.org

• אינטרנט
• בסיסי נתונים

דוא”ל: kirsh@mta.ac.il

• תורת חבורות
• קומבינטוריקה
• תורת הגרפים

תחומי עניין נוספים:

• בעיות בקומבינטוריקה ותורת הגרפים
• שימושים אלמנטריים של אלגברה בתורת הגרפים

דוא”ל: gilk@mta.ac.il

• קומבינטוריקה
• תורת הגרפים

תחומי עניין נוספים:

• מודלים לשידור/ריכול
• בעיות מספור (leading)
• בעיות צביעה בגרפים
• בעיות פירוק ואריזה של גרפים

דוא”ל: jr@mta.ac.il

• ביואינפורמטיקה
• גנומיקה

תחומי עניין נוספים:

• Sexual Dimorphism in early development and disease
• Nonsense-mediated mRNA decay (NMD) effect on human gene architecture
• NMD and human cancers

דוא”ל: dorits@mta.ac.il

• פיתוח אלגוריתמים ושיטות לאופטימיזציה של קוד עבור ארכיטקטורות חדישות המאפשרות חישוב מקבילי, כגון VLIW, FPGA, PIPELINE, ופיתוח ארכיטקטורות
• מקביליות עתידיות כגון מימוש מודל ה – Reconfigurable mesh.

• אלגוריתמים קומבינטוריים בתורת הגרפים, בנושא בניית עצי אשכולות ובנושא גרפים אינטרסקשן של תת-עצים על עצים
• שרטוט של גרפים

דוא”ל: stern@mta.ac.il

• למידה ממוחשבת
• עיבוד תמונה ואותות

דוא”ל: alon.schclar@gmail.com

• סיבוכיות (מורכבות) חישובים
• אלגוריתמים
• למידה חישובית

דוא”ל: adish@mta.ac.il