The Gödel Prize is the highest level international award in Computer Science in the area of algorithms and theory
