לסלו בבאי
לאסלו "לצי" בבאי (בהונגרית: Babai László; נולד ב-20 ביולי 1950 בבודפשט, הונגריה) הוא פרופסור למתמטיקה ולמדעי המחשב באוניברסיטת שיקגו. מחקריו מתמקדים בתורת הסיבוכיות, אלגוריתמים, קומבינטוריקה וקבוצות סופיות, עם דגש על יחסי הגומלין בין תחומים אלה.
 | |
| לידה |
20 ביולי 1950 (בן 74) בודפשט, הרפובליקה העממית ההונגרית  |
|---|---|
| ענף מדעי |
קומבינטוריקה, חבורה סופית, תורת הסיבוכיות, מערכת הוכחה אינטראקטיבית |
| מקום לימודים |
|
| מנחה לדוקטורט |
פאל טוראן, Vera T. Sós |
| מוסדות |
אוניברסיטת שיקגו |
| תלמידי דוקטורט |
Mario Szegedy, Thomas Hayes, Péter Hajnal, Carsten Lund, גאבור טרדוש, Péter Pál Pálfy, Lajos Rónyai, בפסקה זו 17 רשומות נוספות שטרם תורגמו |
| פרסים והוקרה |
|
| אתר רשמי | |
  | |
הישגים
עריכהבשנת 2015 הוכיח שבעיית הכרעה של גרפים איזומורפיים (אנ') ניתנת לחישוב בזמן קואזי-פולינומי, בהשוואה לפתרון נאיבי שרץ בזמן !n עבור קלט (גודל גרף) n. בשנת 2017 גילה הראלד הלפגוט טעות בהוכחה זו, ובבאי תיקן את הטעות.[1]
פרסים והוקרה
עריכה- פרס המדינה (1988) - על הישגיו הבולטים ברמה הבינלאומית בתחום האלגברה והתיאוריה החישובית ועל ההוראה המצוינת ופעילויותיו ליצירת בית ספר.
- ב-1993 זכה בפרס גדל, לצד שפי גולדווסר, סילביו מיקאלי, שלמה מורן וצ'ארלס ראקוף, על פיתוח המושג של מערכת הוכחה אינטראקטיבית.
- בשנת 2015 נבחר לחבר באקדמיה האמריקאית לאמנויות ולמדעים, וזכה בפרס קנות'.
קישורים חיצוניים
עריכה
אתר האינטרנט הרשמי של לסלו בבאי- לסלו בבאי, באתר פרויקט הגנאלוגיה במתמטיקה
- לסלו בבאי, באתר dblp
- לסלו בבאי, באתר גוגל סקולר
- לסלו בבאי, באתר IEEE
הערות שוליים
עריכה- ^ Erica Klarreich, Graph Isomorphism Vanquished — Again, Quanta Magazine, January 14, 2017
