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

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