Georgia Tech researchers have developed a mathematical formula to predict the size of lakes that form on melting ice sheets—discovering their depth and span are linked to the topography of the ice sheet itself.