László Babai
László Babai ([ˈlaːsloː], [ˈbɒbɒi]), né le à Budapest, est un professeur de mathématiques et d'informatique hongrois, enseignant actuellement à l'université de Chicago. Il est connu pour les systèmes de preuve interactive, l'introduction du terme « algorithme de Las Vegas » et l'utilisation de méthodes de la théorie des groupes pour le problème de l'isomorphisme de graphes. Il est lauréat du prix Gödel 1993.
Pour les articles homonymes, voir Babai (homonymie).
Dans le nom hongrois Babai László, le nom de famille précède le prénom, mais cet article utilise l’ordre habituel en français László Babai, où le prénom précède le nom.
Naissance |
Budapest (Hongrie) |
---|---|
Nationalité | Hongrois |
Domaines | Mathématiques |
---|---|
Institutions | Université de Chicago |
Diplôme | Université Loránd Eötvös |
Directeur de thèse |
Pál Turán Vera Sós |
Étudiants en thèse | Mario Szegedy |
Site | people.cs.uchicago.edu/~laci |
En il propose[1] un algorithme quasi-polynomial pour résoudre le problème de l'isomorphisme de graphes, faisant largement descendre la borne de complexité de ce problème qui joue un rôle fondamental en théorie de la complexité NP. Ce résultat émerveille la communauté scientifique de l'algorithmique[2].
Références
Liens externes
- Ressources relatives à la recherche :
- Page personnelle sur le site de l'université de Chicago
- Portail des mathématiques
- Portail de la Hongrie
- Portail de l'informatique théorique