כניסה

תחומי מחקר ונושאים לפרויקט לתואר שני

המרצהתחומי מחקרנושאים לפרויקטדוא"ל
פרופ' בוריס אפשטיין

 

אלגוריתמים גנטיים.

בינה עסקית.

פתרון בעיות אופטימיזציה באמצעות שיטות אבולוציוניות.

תכנות מדעי.

 

         

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

 

ד"ר עוזי חדד

(חוג מערכות מידע)

  1. Architectures of information systems for big data

     
  2. Machine learning algorithms in large scale

     
  3. Data modeling for no-sql databases

 

  1. Large scale computing

     
  2. SQL and No-SQL databases

     
  3. Software engineering for mobile applications

     
  4. 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
פרופ' אריה לב

תורת החבורות.

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

תורת הגרפים.

עיבוד אותות.

 

  1. בעיות בקומבינטוריקה ותורת הגרפים.
  2. שימושים אלמנטריים של אלגברה בתורת הגרפים.
  3. נושאים בעיבוד אותות.

     
arieh@mta.ac.il
פרופ ' דן לוי

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

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

 

 

 

 

danlevy@mta.ac.il

 

 

 

ד"ר כרמי מרימוביץ

לוגיקה.

תורת הקבוצות.

 

 carmi@mta.ac.il
ד"ר ראיד סעאבנה

ניתוח והבנת תמונות של מסמכים

קריאה וזיהוי כתב יד.

ראיה ממוחשבת.

התאמת תבניות.

 

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

akavia@ mta.ac.il

 

פרופ' מיכל פרנס

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

אלגוריתמים תת ליניאריים.

 

 

michalp@mta.ac.il

 

 

ד"ר אלכס קומן

 

ניהול פרויקטים.

ניתוח מערכות.

ארכיטקטורה של מוצר.

ממשקי משתמש.

אסטרטגיה.

יצירת ערך.

מתודולוגיה

יזמות

 

 

 

alex@coman.org

 

ד"ר אילן קירש

אינטרנט.

בסיסי נתונים

 kirsh@mta.ac.il
פרופ' גיל קפלן

תורת חבורות.

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

תורת הגרפים.

 

  1. בעיות בקומבינטוריקה ותורת הגרפים.
  2. שימושים אלמנטריים של אלגברה בתורת הגרפים.
gilk@mta.ac.il
פרופ' יהודה רודיטי

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

תורת הגרפים.

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

     
jr@mta.ac.il


 

ד"ר דורית שוויקי

ביואינפורמטיקה;

גנומיקה

 

 

 

 

 

  1. Sexual Dimorphism    in early development and disease
  2. Nonsense-mediated mRNA decay (NMD) effect on human gene architecture
  3. 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