“For foundational works and numerous breakthrough contributions, including the proof of the geometric language conjecture...”