פרופ' טלי קאופמן

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

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

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

עיקר מחקרה של טלי עוסק במציאת דרכים לבסס חישוב עמיד לרעש  (לשגיאות) על מבנים מתמטיים אילו. המבנים הללו נקראים מרחיבים רב ממדיים High Dimensional Expanders. מחקרה של טלי העוסק במרחיבים רב ממדיים היה היסוד לפריצות דרך רבות, שהתרחשו לאחרונה והשתמשו במבנים הללו, ביניהם פריצת הדרך שאפשרה מציאת קודים קוונטיים טובים לתיקון שגיאות שהינם לוקאליים. קודים קוונטיים לוקאלים טובים נראו כיעד בלתי ניתן להשגה לפני מחקרה של טלי שהציג את התשתית של מרחיבים רב ממדיים כבסיס להשגתם.

תחומי מחקר מרכזיים:

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

• גרפים מרחיבים רב-ממדיים (High-Dimensional Expanders)

• קודים לתיקון שגיאות (Error-Correcting Codes)

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

 אופי המחקר:

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

אופק תעסוקתי:

בוגרות ובוגרי התחום רוכשים בסיס מתמטי ותיאורטי עמוק ומשתלבים במגוון מסלולים:

• אקדמיה: מחקר במדעי המחשב התיאורטיים, חישוב קוונטי וקומבינטוריקה

• תעשייה: קודים לתיקון שגיאות וחישוב קוונטי

• מחקר יישומי: פיתוח שיטות לחישוב קלאסי וקוונטי עמיד לשגיאות