An internationally renowned theoretical computer scientist, Shanghua Teng twice received prestigious ACM Gödel Prizes, in 2008 and 2015, for his work in smoothed analysis of algorithms and nearly-linear-time Laplacian solvers.