A Gödel-díj a számítógéptudomány egyik legnagyobb díja, és 2020-ban Tardos Gábor kapta meg Robin Moserrel a Lovász Lokál Lemma konstruktív bizonyításáért.
Az eddigi magyar Gödel-díjasok: Babai László, Szegedy Márió (kétszeres), Tardos Éva (Gábor nővére), Lovász László, és…