Cornell has a new website called Cloud Computing @ Cornell that highlights cloud computing research throughout the University.

The PRL Project plays a role in cloud research by developing and testing distributed protocols using formal proofs.