I think you want CU-Boulder, not Colorado school of Mines. Both good schools, but CU is better known for astronauts than Mines. A new engineering building has some kind of space capsule built into the building. There is a CS major in the engineering school and in the A&S school.
Buzz Aldrin really does walk around Florida Tech campus talking to students, sitting in on classes. And there are a few others around too. It is fun to be near the launches. I was at the stadium watching my daughter play a game, and I swear just as the music got to ‘And the rocket’s red glare…’ a launched rocket flew right overhead. It was daylight, so not so red, but still very cool.