Where to go for ECE/CS/EECS PhD? Mainly systems/networking.

[test1171]

Got into University of Massachusetts - Amherst, University of Wisconsin, University of Washington - Seattle, Princeton, and EPFL for ECE/CS/EECS/whatever (doesn't really matter). Interests in OS/systems/networking, formal verification, information theory, computing/policy and even hardware design (I will obviously not do all of them, but I'd like to be exposed to some).

Interested in connections to startups, even nonprofits maybe, and maybe academia. Sort of have a decision since I have more information than just this, but I'm curious what the Internet will say just from the names and broad brush strokes of interest.