Mario Szegedy

Mario Szegedy

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 Universität in Jerusalem, an der Universität Chicago und den Bell Laboratories (1992), an denen er danach bis 1999 war. 1999 war er am Institute for Advanced Study. Er ist Professor für Informatik an der Rutgers University, an der er seit 2000 ist.

Szegedy beschäftigt sich mit Komplexitätstheorie, Kombinatorik, kombinatorischer Geometrie und Quanten-Informatik (er gründete QCteam, ein Quantum Computing Labor an der Rutgers University). Er erhielt zweimal den Gödel-Preis, 2001 für seine Beteiligung am Beweis des PCP Theorems und 2005 für die Komplexitätsanalyse von Datenströmen.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Mario Szegedy — Residence …   Wikipedia

  • 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 Page personnelle (en) Publications de Mario …   Wikipédia en Français

  • Mario Szegedy — Nacimiento 23 de octubre de 1960, 51 años  Hungría Residencia …   Wikipedia Español

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”