Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science et le Special Interest Group on Algorithms and Computation Theory de l'Association for Computing Machinery pour honorer des travaux remarquables d'informatique théorique. Wikipedia