לסלו בבאי
מראה
![]() | |
לידה |
20 ביולי 1950 (בן 74) בודפשט, הרפובליקה העממית ההונגרית ![]() |
---|---|
ענף מדעי |
קומבינטוריקה, חבורה סופית, תורת הסיבוכיות, מערכת הוכחה אינטראקטיבית ![]() |
מקום לימודים |
|
מנחה לדוקטורט |
פאל טוראן, Vera T. Sós ![]() |
מוסדות |
אוניברסיטת שיקגו ![]() |
תלמידי דוקטורט |
Mario Szegedy, Samuel Kutin, Thomas Hayes, Evelin Toumpakari, Daniel Štefankovič, Peter Kimmel, Katalin Friedl, Aytek Erdil, Murali Krishnan Ganapathy, Paolo Codenotti, Sourav Chakraborty, Youming Qiao, Satyanarayana V. Lokam, Albert J. Goodman, Péter Hajnal, Carsten Lund, גאבור טרדוש, Robert M. Beals, Péter Pál Pálfy, José Augusto Ramos Soares, Barry Guiduli, Lajos Rónyai, Tamás Lengyel, John Wilmes ![]() |
פרסים והוקרה |
|
אתר רשמי | |
![]() ![]() |
לאסלו "לצי" בבאי (בהונגרית: Babai László; נולד ב-20 ביולי 1950 בבודפשט, הונגריה) הוא פרופסור למתמטיקה ולמדעי המחשב באוניברסיטת שיקגו. מחקריו מתמקדים בתורת הסיבוכיות, אלגוריתמים, קומבינטוריקה וקבוצות סופיות, עם דגש על יחסי הגומלין בין תחומים אלה.
הישגים
[עריכת קוד מקור | עריכה]בשנת 2015 הוכיח שבעיית הכרעה של גרפים איזומורפיים (אנ') ניתנת לחישוב בזמן קואזי-פולינומי, בהשוואה לפתרון נאיבי שרץ בזמן !n עבור קלט (גודל גרף) n. בשנת 2017 גילה הראלד הלפגוט טעות בהוכחה זו, ובבאי תיקן את הטעות.[1]
פרסים והוקרה
[עריכת קוד מקור | עריכה]- פרס המדינה (1988) - על הישגיו הבולטים ברמה הבינלאומית בתחום האלגברה והתיאוריה החישובית ועל ההוראה המצוינת ופעילויותיו ליצירת בית ספר.
- ב-1993 זכה בפרס גדל, לצד שפי גולדווסר, סילביו מיקאלי, שלמה מורן וצ'ארלס ראקוף, על פיתוח המושג של מערכת הוכחה אינטראקטיבית.
- בשנת 2015 נבחר לחבר באקדמיה האמריקאית לאמנויות ולמדעים, וזכה בפרס קנות'.
קישורים חיצוניים
[עריכת קוד מקור | עריכה]אתר האינטרנט הרשמי של לסלו בבאי
- לסלו בבאי, באתר פרויקט הגנאלוגיה במתמטיקה
- לסלו בבאי, באתר dblp
- לסלו בבאי, באתר גוגל סקולר
- לסלו בבאי, באתר IEEE
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ Erica Klarreich, Graph Isomorphism Vanquished — Again, Quanta Magazine, January 14, 2017