Mario Szegedy
- Mario Szegedy
-
Márió Szegedy (23 octobre 1960 - ) est un mathématicien et informaticien hongrois. Il est professeur à l'université Rutgers et a obtenu son doctorat de l'université de Chicago.
Liens externes
|
|
| Lauréats |
2010 : Sanjeev Aror (en), László Lovász, Joseph Mitchell (en) • 2009 : Omer Reingold (en), Salil Vadhan (en), Avi Wigderson • 2008 : Shanghua Teng (en), Daniel Spielman • 2007 : Alexander Razborov, Steven Rudich (en) • 2006 : Manindra Agrawal, Neeraj Kayal (en), Nitin Saxena (en) • 2005 : Noga Alon (en), Yossi Matias, Mario Szegedy • 2004 : Maurice Herlihy (en), Michael Saks (en), Nir Shavit (en), Fotios Zaharoglou • 2003 : Yoav Freund (en), Robert Schapire (en) • 2002 : Géraud Sénizergues • 2001 : Sanjeev Arora (en), Uriel Feige (en), Shafi Goldwasser (en), Carsten Lund (en), László Lovász, Rajeev Motwani (en), Shmuel Safra (en), Madhu Sudan, Mario Szegedy • 2000 : Moshe Vardi, Pierre Wolper • 1999 : Peter Shor • 1998 : Seinosuke Toda (en) • 1997 : Joseph Halpern (en), Yoram Moses (en) • 1996 : Mark Jerrum (en), Alistair Sinclair (en) • 1995 : Neil Immerman (en), Róbert Szelepcsényi (en) • 1994 : Johan Håstad •
1993 : László Babai, Shafi Goldwasser (en), Silvio Micali (en), Shlomo Moran (en) et Charles Rackoff (en)
|
Catégories :
- Mathématicien hongrois
- Naissance en 1960
- Lauréat du prix Gödel
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Mario Szegedy de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Mario Szegedy — Residence … Wikipedia
Mario Szegedy — Nacimiento 23 de octubre de 1960, 51 años Hungría Residencia … Wikipedia Español
Mario Szegedy — (* 23. Oktober 1960) ist ein US amerikanischer Informatiker. Szegedy wurde 1989 an der University of Chicago bei Laszlo Babai promoviert (Algebraic Methods in Lower Bounds for Computational Models). Als Post Doc war er an der Hebräischen… … Deutsch Wikipedia
PCP theorem — In computational complexity theory, the PCP theorem states that every decision problem in the NP complexity class has probabilistically checkable proofs (proofs that can be checked by a randomized algorithm) of constant query complexity and… … Wikipedia
Prix Godel — Prix Gödel Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et… … Wikipédia en Français
Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… … Wikipédia en Français
Премия Гёделя — (англ. Gödel Prize) премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… … Википедия
PCP-Theorem — Das PCP Theorem ist ein Satz aus der theoretischen Informatik (Komplexitätstheorie). Es beruht auf dem Konzept des zufällig verifizierbaren Beweises eines mathematischen Satzes (probabilistic checkable proof, PCP), der wiederum auf das Konzept… … Deutsch Wikipedia
Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates … Wikipédia en Français
Johan Hastad — Johan Håstad Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a reçu le Prix Gödel en 1994 et le Doctoral Dissertation Award de l Association for… … Wikipédia en Français
