Uriel Feige

Uriel Feige

Uriel Feige (hebräisch ‏אוריאל פייגה‎) ist ein israelischer Informatiker.

Feige studierte ab 1977 am Technion und ab 1985 am Weizmann Institut Informatik. Daneben war er 1980 bis 1985 Computer-Ingenieur bei der israelischen Armee. 1987 erhielt er sein Diplom (Interactive Proofs) und wurde 1990 am Weizmann Institut bei Adi Shamir promoviert (Alternative Models for Zero Knowledge Interactive Proofs). Als Post-Doc war er an der Princeton University und 1991/92 am IBM Thomas J. Watson Research Center. Ab 1992 war er am Weizmann Institut, von 2003 an mit einer vollen Professur. Seit 2007 ist er dort Leiter der Abteilung Informatik und Angewandte Mathematik. 2004 bis 2007 war er in der Theoriegruppe von Microsoft Research und 1998/99 beim Compaq Systems Research Center in Palo Alto.

Neben Komplexitätstheorie beschäftigt er sich mit Kryptographie und Zufallspfaden (Random Walks). Für seine Arbeit am PCP-Theorem und dessen Anwendung erhielt er mit anderen 2001 den Gödel-Preis. In der Kryptographie wandte er unter anderem Zero-Knowledge-Beweise an (Fiat-Shamir-Feige Identifizierungssystem 1988).

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • Uriel Feige — Residencia  Israel Nacionalidad Israelí Campo Ciencias de la computación Criptogr …   Wikipedia Español

  • Uriel (Vorname) — Uriel ist ein männlicher Vorname. Herkunft und Bedeutung Uriel kommt aus dem Hebräischen hebr. אוּרִיאֵל und bedeutet „Das Licht Gottes“ oder „Mein Licht (uri) ist Gott (el)“. In der christlich jüdischen Tradition wird Uriel als einer der vier… …   Deutsch Wikipedia

  • Feige (Begriffsklärung) — Feige bezeichnet: feige sein, siehe Feigheit die meist einfach Feige genannte Echte Feige (Ficus carica), ein Baum und dessen essbare Frucht die Gattung der Feigen (Ficus), zu der auch die Echte Feige gehört die Feigenhand, ein Handzeichen mit… …   Deutsch Wikipedia

  • Feige-Fiat-Shamir Identification Scheme — In cryptography, the Feige Fiat Shamir Identification Scheme is a type of parallel zero knowledge proof developed by Uriel Feige, Amos Fiat, and Adi Shamir in 1988. Like all zero knowledge proofs, the Feige Fiat Shamir Identification Scheme… …   Wikipedia

  • 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

  • Adi Shamir — Infobox Scientist name = Adi Shamir image width = 200px caption = At the CRYPTO 2003 conference birth date = 1952 birth place = Tel Aviv, Israel death date = death place = residence = Israel citizenship = nationality = ethnicity = field =… …   Wikipedia

  • 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

  • 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

  • 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 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 2011 et le Doctoral Dissertation Award de l Association for Computing… …   Wikipédia en Français

Share the article and excerpts

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