Gautam Kamath Joins NYU Faculty After Winning Gödel Prize and Presburger Award