לסלו בבאי
קפיצה לניווט
קפיצה לחיפוש
לסלו "לסי" בבאי (בהונגרית: László "Laci" Babai; נולד ב-20 ביולי 1950 בבודפשט, הונגריה) הוא פרופסור למתמטיקה ולמדעי המחשב באוניברסיטת שיקגו. מחקריו מתמקדים בתורת הסיבוכיות, אלגוריתמים, קומבינטוריקה וקבוצות סופיות, עם דגש על יחסי הגומלין בין תחומים אלה.
הישגים
בשנת 2015 הוכיח שבעיית הכרעה של גרפים איזומורפיים ניתנת לחישוב בזמן קואזי-פולינומי, בהשוואה לפתרון נאיבי שרץ בזמן !n עבור קלט (גודל גרף) n.
אותות
ב-1993 זכה בפרס גדל, לצד שפי גולדווסר, סילביו מיקאלי, שלמה מורן וצ'ארלס ראקוף, על פיתוח המושג של מערכת הוכחה אינטראקטיבית.
בשנת 2015 נבחר לחבר באקדמיה האמריקאית לאמנויות ולמדעים, וזכה בפרס קנות'.
קישורים חיצוניים
