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… … Deutsch Wikipedia
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
Israel
