They have fast internet and an environment conducive to productivity? It's extremely unlikely that the university would come after him for his IP, especially if he is a student and is not spinning off university sanctioned research into a company.

Of course, you're right, he would still be better off staying away from all university resources, depending on his school's tech transfer policy.

He's actually not a student anymore. Using university resources for your startup is a really bad idea!