Mario Szegedy

Mario Szegedy
Mario Szegedy

Residence Flag of the United States.svg U.S.
Fields Computer Science
Institutions Rutgers University
Alma mater University of Chicago
Doctoral advisor László Babai, Janos Simon

Mario Szegedy (born October 23, 1960) is a Hungarian computer scientist, professor of computer science at Rutgers University. He received his Ph.D. in computer science in 1989 from the University of Chicago.[1] He held a Lady Davis Fellowship (Postdoctoral) at the Hebrew University, Jerusalem (1989-90), a postdoc at the University of Chicago, 1991-92, and a postdoc at Bell Laboratories (1992).

Szegedy's research areas include computational complexity theory and quantum computing.

He was awarded the Gödel Prize twice, in 2001 and 2005, for his work on probabilistically checkable proofs and on the space complexity of approximating the frequency moments in streamed data.[2]

References

  1. ^ Mario Szegedy at the Mathematics Genealogy Project.
  2. ^ Gödel Prize website with list of winners

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • 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

  • 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

Share the article and excerpts

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