Gödel Ödülü
Gödel Ödülü European Association for Theoretical Computer Science ve Association for Computing Machinery'nin her yıl birlikte belirlediği ve teorik bilgisayar bilimi alanındaki en seçkin makalelerin yazarlarına verilen bir ödüldür.
Ödül, P-NP problemini ilk kez dile getiren Kurt Gödel'in adıyla anılmaktadır.